Explore >> Select a destination
|
You are here 
|
drops.dagstuhl.de | ||
| | | | |
igorpak.wordpress.com
|
|
| | | | | By and large, math journals treat the authors like a pesky annoyance, sort of the way a local electric company treats its customers. As in -- yes, serving you is our business, but if you don't like our customer service where else are you going to go? Not all editors operate that way, absolutely not... | |
| | | | |
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. | |
| | | | |
agtb.wordpress.com
|
|
| | | | | WINE 2021: The 17th Conference on Web and Internet Economics December 14-17, 2021Hasso Plattner Institute, Potsdam, Germany https://hpi.de/wine2021 Over the past two decades, researchers in theoretical computer science, artificial intelligence, operations research, and economics have joined forces to understand the interplay of incentives and computation. These issues are of particular importance in the Web and... | |
| | | | |
channellife.com.au
|
|
| | | Etisalat by e& plans to standardise on Red Hat technologies for its network and IT, aiming for greater efficiency and innovation. | ||
