22 Conference found

Syntax Meets Semantics 2019
21st January 2019   -   24th January 2019

Doelenzaal University Library, Netherlands

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen style sequent calculus Traditionally substructural logics have been investiga...

http://events.illc.uva.nl/SYSMICS2019/

CISS 2019 — 53rd Annual Conference on Information Sciences and Systems
20th March 2019   -   22nd March 2019

Baltimore MD, United States

The 53rd Annual Conference on Information Sciences and Systems will be hosted by the Johns Hopkins University Whiting School of Engineering s Department of Electrical and Computer Engineering and a ...

https://ciss.jhu.edu/

ETAPS 2019 — The European Joint Conferences on Theory and Practice of Software
6th April 2019   -   12th April 2019

Prague, Czech Republic

The European Joint Conferences on Theory and Practice of Software ETAPS is the primary European forum for academic and industrial researchers working on topics relating to Software Science ETAPS e...

https://conf.researchr.org/home/etaps-2019

ETAPS 2019 — The European Joint Conferences on Theory and Practice of Software
6th April 2019   -   12th April 2019

Prague, Czech Republic

The European Joint Conferences on Theory and Practice of Software ETAPS is the primary European forum for academic and industrial researchers working on topics relating to Software Science ETAPS e...

https://conf.researchr.org/home/etaps-2019

ETAPS 2019/ESOP 2019
8th April 2019   -   11th April 2019

Prague, Czech Republic

ESOP is an annual conference devoted to fundamental issues in the specification design analysis and implementation of programming languages and systems ESOP seeks contributions on all aspects of p...

https://conf.researchr.org/home/etaps-2019

ETAPS 2019/FASE 2019
8th April 2019   -   11th April 2019

Prague, Czech Republic

FASE is concerned with the foundations on which software engineering is built Submissions should make novel contributions to making software engineering a more mature and soundly based discipline

https://conf.researchr.org/home/etaps-2019

ETAPS 2019/FOSSACS 2019
8th April 2019   -   11th April 2019

Prague, Czech Republic

FoSSaCS seeks original papers on foundational research with a clear significance for software science The conference invites submissions on theories and methods to support the analysis integration ...

https://conf.researchr.org/home/etaps-2019

MiDOS @ SAC — Microservices, DevOps, and Service-Oriented Architecture
8th April 2019   -   12th April 2019

Limassol, Cyprus

Service oriented architectures have changed our vision of the Web bringing a paradigmatic shift in the methodologies when designing and implementing distributed systems Originally the Web was mainl...

https://midos2019.sdu.dk/

MiDOS @ SAC — Microservices, DevOps, and Service-Oriented Architecture
8th April 2019   -   12th April 2019

Limassol, Cyprus

Service oriented architectures have changed our vision of the Web bringing a paradigmatic shift in the methodologies when designing and implementing distributed systems Originally the Web was mainl...

https://midos2019.sdu.dk/

TAMC 2019 — 15th Annual Conference on Theory and Applications of Models of Computation
13th April 2019   -   16th April 2019

Kitakyushu, Japan

TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications The main themes of the conference are computability computer science logic ...

https://drive.google.com/drive/folders/1tYAEUR1pRw9PBLcvVnm7bRgZ0hk1G5EV