List of conferences - page 3

VerifyThis Verification Competition at ETAPS 2019
by Carlo A. Furia, Nov. 22, 2018

We welcome verification problems and challenges to use at the VerifyThis verification competition to be held at ETAPS 2019 in April 2019.

CFP TOOLS50+1 : Technology of Object-Oriented Languages and Systems 2019
by Sophie Ebersold, Nov. 15, 2018


TOOLS 50+1: Technology of Object-Oriented Languages and Systems

Innopolis University, Innopolis (Kazan), Russia, October 14-20, 2019

[DisCoTec 2019] 2nd joint call for papers
by kikofernandez, Nov. 12, 2018


Joint Call for Papers

14th International Federated Conference on

Distributed Computing Techniques

DisCoTec 2019

Kongens Lyngby, Denmark, 18-21 June 2019


CONCUR 2019 Call for Papers
by Wan Fokkink, Nov. 5, 2018

CONCUR 2019 - Call for Papers

The 30th International Conference on Concurrency Theory

Amsterdam, The Netherlands, 27-30 August 2019

NETYS 2019 -- Call for papers
by Mohamed Faouzi Atig, Nov. 4, 2018


June 19-21, 2019, Marrakech, MOROCCO

CfP: SACLA`2019 (including Programming Languages Education)
by Stefan Gruner, Oct. 11, 2018

The 48th South African Computer Lecturers' Association Conference is calling internationally for Original Papers and for Workshop Proposals in the Tertiary Education (Teaching) of Computer Science, Computer Programming, Informatics, and closely related disciplines. Submissions from anywhere in the world must have a clear focus on the 'Pedagogical' or 'Educational Matters' of the computing disciplines. Deadline: 28 February 2019.

First Call for Papers FM 2019 - 3rd World Congress on Formal Methods
by Maurice ter Beek, Oct. 3, 2018

FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods

Porto, Portugal, October 7-11, 2019

The 34th ACM Symposium on Applied Computing (SAC 2019): Combined Call for Papers - Last Mile
by George Angelos Papadopoulos, Sept. 20, 2018

For the past thirty-three years the ACM Symposium on Applied Computing
(SAC) has been a primary and international forum for applied computer
scientists, computer engineers and application developers to gather,
interact and present their work. The ACM Special Interest Group on
Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference
proceedings are published by ACM and are also available online through
ACM's Digital Library.