Explore >> Select a destination
|
You are here 
|
cstheory-events.org | ||
| | | | |
popl21.sigplan.org
|
|
| | | | | Available now: Proceedings for PADL 2021 About The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same ... | |
| | | | |
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. | |
| | | | |
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,... | |
| | | | |
www.fosspatents.com
|
|
| | | In six weeks from today, the United States Court of Appeals for the Federal Circuit will hear Oracle's Android/Java copyright appeal against... | ||
