Explore >> Select a destination
|
You are here 
|
cstheory-events.org | ||
| | | | |
progcity.maynoothuniversity.ie
|
|
| | | | | Call for Papers: Smart City, Neighbourhood Change and Spatial Inequality 35th International Geographical Congress, 24-30 August, Dublin, Ireland Session Organisers: Mary Kazemi and Rob Kitchin Smart cities have gained significant attention over the last decade in the rapidly digitalizing world. Although the concept of the smart city promises a utopian perspective of urban living, where using cutting-edge technologies, geospatial data,... | |
| | | | |
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. | |
| | | | |
icfp23.sigplan.org
|
|
| | | | | NEW: Register for a lightning talk here: https://docs.google.com/document/d/1OQvkBqFf-JHd8XZ8q5Fkk0m8LOG5FlnGCzyzLS2MAqk/edit?usp=sharing The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as formal se... | |
| | | | |
pldi22.sigplan.org
|
|
| | | E-Graph Research, Applications, Practices, and Human-factors Symposium Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, ... | ||
