36 Conference found

ITCS — Conference on Innovations in Theoretical Computer Science
12th January 2020   -   14th January 2020

Seattle, United States

The 11th Innovations in Theoretical Computer Science ITCS conference will be held at the University of Washington in Seattle Washington from January 12 14 2020 See the local arrangements website ...

http://itcs-conf.org/itcs20/itcs20-cfp.html

POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19th January 2020   -   25th January 2020

New Orleans Louisiana, United States

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems Both theoretical and experimental papers are ...

https://popl20.sigplan.org/

VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation
19th January 2020   -   21st January 2020

New Orleans Louisiana, United States

VMCAI provides a forum for researchers from the communities of Verification Model Checking and Abstract Interpretation facilitating interaction cross fertilization and advancement of hybrid metho...

https://popl20.sigplan.org/home/VMCAI-2020

VMCAI — Verification, Model Checking and Abstract Interpretation
19th January 2020   -   25th January 2020

New Orleans, United States

21th International Conference on Verification Model Checking and Abstract Interpretation VMCAI 2020 January 19 21 2020 New Orleans Louisiana United States VMCAI provides a forum for researc...

https://popl20.sigplan.org/home/VMCAI-2020#Call-for-Papers

CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20th January 2020   -   21st January 2020

New Orleans Louisiana, United States

Certified Programs and Proofs CPP is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work Certification h...

https://popl20.sigplan.org/home/CPP-2020

ICME 2020 — 54th Annual Conference on Information Sciences and Systems
18th March 2020   -   20th March 2020

Princeton University, United States

Information Theory Coding Theory Image Processing Communications Signal Processing Machine Learning Big Data Analytics Reinforcement Learning Optimization Statistical Inference Security and Pr...

https://ee-ciss.princeton.edu/

DLT-2020 — Developments in Language Theory
11th May 2020   -   15th May 2020

Tampa, United States

The series of International Conferences Developments in Language Theory provides a forum for presenting current developments in formal languages and automata Its scope is very general and includes a...

http://knot.math.usf.edu/dlt2020/

ISIT — IEEE International Symposium on Information Theory
21st June 2020   -   26th June 2020

Los Angeles, United States

Researchers working in emerging fields of information theory or on novel applications of information theory are especially encouraged to submit original findings The submitted work and the published ...

https://2020.ieee-isit.org/

STOC — ACM Symposium on Theory of Computing
22nd June 2020   -   26th June 2020

Chicago, United States

The 52nd ACM Symposium on Theory of Computing STOC 2020 is sponsored by the ACM Special Interest Group on Algorithms and Computation Theory and will be held at the Drake Hotel in Chicago IL

http://acm-stoc.org/stoc2020/

FSE — ACM SIGSOFT International Symposium on Foundations of Software Engineering
8th November 2020   -   13th November 2020

Sacramento, United States

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC FSE is an internationally renowned forum for researchers practitioners and educ...

https://www.cs.ucdavis.edu/fse2020/

Your Conference Book