List of conferences


46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Second Call for Papers
by George Angelos Papadopoulos, May 24, 2019

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science. The first SOFSEM was
organized in 1974. SOFSEM consists of invited talks by prominent
researchers, of contributed talks selected from the submitted papers, and of
the Student Research Forum. The program is organized in plenary talks and
parallel tracks devoted to original research in the selected research areas.

Call for contributions: ACM SIGPLAN Scala Symposium
by Nathaniel Nystrom, May 23, 2019

The ACM SIGPLAN Scala Symposium (https://2019.ecoop.org/home/scala-2019) is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike.

This year’s symposium is co-located with ECOOP 2019 (https://2019.ecoop.org) in London, UK.

The symposium is inviting student talks and open-source talks until May 31.

integrated Formal Methods (iFM) 2019: 2nd Call for Papers
by Lars Michael Kristensen, May 18, 2019

CALL FOR PAPERS iFM 2019, 15th International Conference on integrated Formal Methods, December 4-6, 2019 - Bergen, Norway

PPDP'19 Deadline Extension 10th May
by Ekaterina Komendantskaya, April 28, 2019

DEADLINE EXTENSION TO *10 MAY* - PPDP 2019
21st International Symposium on
Principles and Practice of Declarative Programming

7–9 October 2019, Porto, Portugal

Collocated with FM'19

http://ppdp2019.macs.hw.ac.uk

CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE
by Martin Leucker, April 27, 2019

RV Conference, part of Formal Methods Week in Porto
Deadline for Submission extended till 21st of May 2019

[DisCoTec 2019] Call for Participation
by kikofernandez, April 26, 2019

DisCoTec 2019 is one of the major events sponsored by the International

Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues.

The Programming Journal, Volume 4, Issue 2
by smarr, April 23, 2019

The Art, Science, and Engineering of Programming aims at closing this
gap by focusing primarily on programming: the art itself (programming
styles, pearls, models, languages), the emerging science of understanding
what works and what doesn’t work in general and in specific contexts,
as well as more established engineering and mathematical perspectives.

46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): First Call for Papers
by George Angelos Papadopoulos, April 20, 2019

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science. The first SOFSEM was
organized in 1974. SOFSEM consists of invited talks by prominent
researchers, of contributed talks selected from the submitted papers, and of
the Student Research Forum. The program is organized in plenary talks and
parallel tracks devoted to original research in the selected research areas.

« previous123...1718next »