Explore >> Select a destination


You are here

2020.emnlp.org
| | togelius.blogspot.com
8.7 parsecs away

Travel
| | Computer science differs from most other academic fields in that conference papers are counted as real, citable publications. While journals...
| | ehudreiter.com
11.7 parsecs away

Travel
| | This year I was both a TACL Action Editor and an ACL Senior Area Chair. This experience has reinforced my belief that the journal review process is better!
| | gridworld.wordpress.com
14.1 parsecs away

Travel
| | arXiv has become a main source of information for statistics and machine learning. Daily email digests tell me what papers have been uploaded since yesterday, including authors, abstracts and a link to the paper. For me this is invaluable at the receiving side. However, on the producing/publishing side, not everybody thinks that uploading papers to...
| | popl24.sigplan.org
43.0 parsecs away

Travel
| 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.