On October 24-26, join 100 of the world’s top web visionaries, developers, designers, thought leaders, and celebrities for three days of talks at this seminal web event. Ian Forrester is the subject of an upcoming interview on austincast.com
Have you ever just wanted to sit in a small room with a few likeminded professionals and get some tough questions answered? Ever wanted the right ammunition to tackle the tough web application security issues on your plate? Welcome to The Austin Project.
High Definition Video Communications LifeSize® provides the highest quality, next generation video communications systems available on the market. Each system is designed to make video communication a highly productive, simple to use, reliable and stun
A. Balasubramanian, and K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
P. Czerner, and S. Jaax. Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, volume 12650 of Lecture Notes in Computer Science, page 164--183. Springer, (2021)#conference.
A. Balasubramanian, J. Esparza, and M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, volume 12650 of Lecture Notes in Computer Science, page 42--61. Springer, (2021)
N. Bertrand, M. Lazić, and J. Widder. Verification, Model Checking, and Abstract Interpretation, page 219--239. Springer International Publishing, (2021)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213 of Leibniz International Proceedings in Informatics (LIPIcs), page 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)