Explore >> Select a destination
|
You are here 
|
www.languageatinternet.org | ||
| | | | |
iclr-blogposts.github.io
|
|
| | | | | Home to the 2024 ICLR Blogposts track | |
| | | | |
windowsontheory.org
|
|
| | | | | The 66th Annual Symposium on Foundations of Computer Science (FOCS 2025), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Sydney, Australia,December 14-17. Papers presenting new and original research on theory of computation are sought. Typical but not exclusive topics of interest include: algorithmic coding theory, algebraic... | |
| | | | |
www.veletsianos.com
|
|
| | | | | Dr. George Veletsianos is Professor of Learning Technologies at the College of Education and Human Development at the University of Minnesota-Twin Cities. He holds the Bonnie Westby Huebner Chair in Education and Technology. | |
| | | | |
popl18.sigplan.org
|
|
| | | POPL 2018 TutorialFest will be on Monday, 8 January 2018. This year POPL TutorialFest will consist of 8 tutorials (4 in the morning and 4 in the afternoon) of 3 hours each. Morning Session Message-Passing Concurrency and Substructural Logics. Slides - Live-coded examples - as a zip file. Frank Pfenning, Carnegie Mellon University. Code Obfuscation - a Hacking view on program analysis and understanding. Slides. Roberto Giacobazzi, University of Verona and IMDEA SW Institute. Equational reasoning for probabilistic programming. Handout. Chung-chieh Shan, Indiana University. Programming and ... | ||
