36 Conference found

ISAAC 2019 — 30th International Symposium on Algorithms and Computation
8th December 2019   -   11th December 2019

Shanghai, China

The 30th International Symposium on Algorithms and Computation ISAAC 2019 will take place in Shanghai China on December 8 11 2019 The symposium is intended to provide a forum for researchers work...

http://itcs.shufe.edu.cn/isaac2019/

FST&TCS; — Foundations of Software Technology and Theoretical Computer Science
11th December 2019   -   13th December 2019

Bombay, India

IARCS the Indian Association for Research in Computing Science announces the 39th Foundations of Software Technology and Theoretical Computer Science conference at IIT Bombay The FSTTCS conference ...

https://www.fsttcs.org.in/2019/index.php

SLALM 2019 — 18th Simposio Latinoamericano de Lógica Matemática
16th December 2019   -   20th December 2019

Conception, Chile

The SLALM was conceived in the late 1960s by Abraham Robinson who at the time was President of the ASL It brings together the community of researchers in logic in Latin America and is nourished by t...

http://slalmxviii.udec.cl/

Proof theory and related topics
24th December 2019   -   26th December 2019

Kyoto University, Japan

Organied by Yoshihito Tanaka Faculty of Economics Kyushu Sangyo University

http://www.kurims.kyoto-u.ac.jp/kyoten/en/workshop.html

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

CSL 2020 — Computer Science Logic
13th January 2020   -   16th January 2020

Barcelona, Spain

Computer Science Logic CSL is the annual conference of the European Association for Computer Science Logic EACSL It is an interdisciplinary conference spanning across both basic and application ...

http://www.cs.upc.edu/csl2020/index.html

ASP-DAC — Asia and South Pacific Design Automation Conference
13th January 2020   -   16th January 2020

Beijing, China

ASP DAC 2020 is the 25th annual international conference on VLSI design automation in Asia and South Pacific region one of the most active regions of design and fabrication of silicon chips in the wo...

https://aspdac2020.github.io/aspdac20/

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

Your Conference Book