Explore >> Select a destination
|
You are here 
|
www.info.kochi-tech.ac.jp | ||
| | | | |
popl24.sigplan.org
|
|
| | | | | Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK. | |
| | | | |
dsyme.home.blog
|
|
| | | | | CALL FOR PAPERS 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)September 1-3, 2010Utrecht UniversityAlphen aan den Rijn, The Netherlandshttp://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome After a first successful visit to the USA, the Symposium on Implementation and Applications of FunctionalLanguages returns to Europe for its 22nd edition. The hosting institution is Utrecht University in the Netherlands, although... | |
| | | | |
www.gisagents.org
|
|
| | | | | This blog is a research site focused around my interests in Geographical Information Science (GIS) and Agent-Based Modeling (ABM). | |
| | | | |
2023.splashcon.org
|
|
| | | The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. We welcome the community to join us in Lisbon to celebrate humanity at the core of the software development process. We encourage everyone to participate in the many differ... | ||
