Explore >> Select a destination
|
You are here 
|
2018.ecoop.org | ||
| | | | |
2019.splashcon.org
|
|
| | | | | The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents andmore generallyon high-level programming paradigms which promote decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applicati... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | The 2nd International Conference on Homotopy Type Theory (HoTT 2023)will be held Monday 22nd May - Thursday 25th May 2023at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions page for instructions. Submissions open on 3rd February 2023 and close on 3rd March 2023.... | |
| | | | |
2019.ecoop.org
|
|
| | | | | ECOOP is Europe's longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective "pearls", and forward-thinking "new idea" papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals. | |
| | | | |
quantenquark.com
|
|
| | | |||
