Explore >> Select a destination
|
You are here 
|
58sound.com | ||
| | | | |
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. | |
| | | | |
togelius.blogspot.com
|
|
| | | | | Computer science differs from most other academic fields in that conference papers are counted as real, citable publications. While journals... | |
| | | | |
helenkara.com
|
|
| | | | | If you're going to write an academic book, you need to be prepared to do some marketing. Otherwise it will sink, without so much as a bubble, deep into the ocean of published academic books. Of course if all you need is the publication on your CV, then don't waste your time on marketing. But... | |
| | | | |
theorydish.blog
|
|
| | | The 5th annual Symposium on Foundations of Responsible Computing (FORC) will be held on June 12-14, 2024, at Harvard University in Cambridge, MA. Call for papers is out. Please send your strong papers for another success successful instalment of FORC. FORC is a forum for mathematical research in computation and society writ large. The Symposium... | ||
