Explore >> Select a destination
|
You are here 
|
puzzling.org | ||
| | | | |
doomlab.github.io
|
|
| | | | | Hi everyone! I have been super swamped with a bunch of due dates that all hit in April. For a small brag, and I like making lists: 9 revise and resubmits (four we've sent back, two have been accepted!) 4 conference posters and one invited talk 1 submitted grant (fingers crossed!) 2 invited papers 2 theses that I'm chairing, 2 that I'm on the committee for Data camp! It's been nuts, so haven't left the house much or done much of anything else. | |
| | | | |
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. | |
| | | | |
www.ubuntubuzz.com
|
|
| | | | | List of Websites About GNU/Linux News, Reviews and Tutorials 2023 | |
| | | | |
blog.cy.md
|
|
| | | |||
