Explore >> Select a destination


You are here

www.sigplan.org
| | 2019.ecoop.org
4.3 parsecs away

Travel
| | Welcome to the Tenth ACM SIGPLAN Scala Symposium, 2019! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This...
| | www.ipl.riec.tohoku.ac.jp
2.3 parsecs away

Travel
| | FLOPS Symposium web page and CFP
| | 2019.splashcon.org
6.4 parsecs away

Travel
| | About The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. Meta'19 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue ...
| | popl18.sigplan.org
5.4 parsecs away

Travel
| 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 ...