List of conferences


Reminder: ETAPS Test of Time Award 2019
by Tarmo Uustalu, Jan. 14, 2019

The ETAPS Test of Time Award recognizes outstanding papers published
more than 10 years in the past in one of the constituent conferences
of ETAPS. The Award recognises the impact of excellent research
results that have been published at ETAPS.

See https://etaps.org/about/test-of-time-award .

23rd International Systems and Software Product Line Conference
by cquinton, Jan. 10, 2019

The Systems and Software Product Line Conference (SPLC) is a premier forum where researchers, practitioners, and educators can present and discuss the most recent ideas, trends, experiences, and challenges in the area of software and system product lines engineering. Conference events include opportunities to hear industry leaders’ real-world experiences and researchers’ latest ideas and to learn from both.

The 23rd International Systems and Software Product Line Conference (SPLC 2019) will be held from September 9th to 13th, in the vibrant city of Paris, France and will be co-located with the 13th European Conference on Software Architecture (ECSA, https://ecsa2019.univ-lille.fr/).

Call for Contributions to ECSA 2019 (European Conf. on Software Architecture)
by Chouki Tibermacine, Jan. 10, 2019

Call for Contributions to ECSA 2019: European Conference on Software Architecture
Sept. 9-13, 2019, Paris, France
https://ecsa2019.univ-lille.fr/

[DisCoTec 2019] 3rd Joint Call for Papers
by kikofernandez, Jan. 7, 2019

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

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

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

CFP TOOLS50+1 : Technology of Object-Oriented Languages and Systems 2019
by Sophie Ebersold, Dec. 19, 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

46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Call for Track Proposals
by George Angelos Papadopoulos, Dec. 1, 2018

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science. SOFSEM presents
the latest results and developments in academic and industrial research in
leading areas of Computer Science. The first SOFSEM was organized in 1974,
and it was traditionally located in the Czech and Slovak Republics, before it
starting moving to other European locations. In 2017 it was organised in
Ireland, in 2018 in Austria and in 2019 in Slovakia. The 46th edition will be
organised in the sunny Mediterranean island of Cyprus.

JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.)
by cfp, Nov. 28, 2018

Due to many requests, submission deadlines have been extended.

New Dates:
Abstract submission 02 December 2018 (23:59 UTC-12)
Paper submission 07 December 2018 (23:59 UTC-12)

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.

« previous123...1516next »