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

------------------------------
CALL FOR PAPERS
------------------------------

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

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

https://easychair.org/cfp/TOOLS-50_1

[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

https://www.discotec.org/2019

************************************************************************

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

===================
CONCUR 2019 - Call for Papers
===================

https://event.cwi.nl/concur2019/

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

THE INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS NETYS 2019

June 19-21, 2019, Marrakech, MOROCCO

http://www.netys.net

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

http://formalmethods2019.inesctec.pt/
==================================================================================================

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.