List of conferences

36th ACM SAC - Web Technologies Track
by Cristian Mateos, Aug. 6, 2020

Web Technologies Track
The 36th ACM/SIGAPP Symposium on Applied Computing
SAC 2021

Compiler Construction (CC) 2021 - Call for Papers
by Delphine Demange, Aug. 6, 2020

ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)

CC 2021 ( will be held on Sat 27 February - Wed 3 March 2021 and co-located with CGO, HPCA and PPoPP.

ETAPS 2021 1st joint call for papers
by Tarmo Uustalu, July 23, 2020



24th European Joint Conferences on Theory and Practice of Software
ETAPS 2021

Luxembourg, Luxembourg, 27 March-1 April 2021


Reachability (RP'2020)
by Igor Potapov, July 16, 2020

The International Conference on Reachability Problems (RP) is
specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in various reachability problems that appear in

* Algebraic structures
* Automata theory and formal languages
* Computational game theory
* Concurrency and distributed computation
* Decision procedures in computational models
* Hybrid dynamical systems
* Logic and model checking
* Verification of finite and infinite-state systems

The International Conference on Reachability Problems (RP)
has two categories of submissions:

* Regular Papers (to appear at LNCS, Springer)

* Presentations only (for recently appeared or going
to appear papers in proceedings of another conference)

[CFP] 15th Workshop on Workflows in Support of Large-Scale Science (WORKS20)
by Hoang Nguyen, July 6, 2020

Workshop on Workflows in Support of Large-Scale Science (WORKS20)

ECSS 2020 - First Call for Participation
by franziska_hauffe, July 6, 2020

*ECSS 2020 - 16th European Computer Science Summit*
*Diversity in Informatics Research and Education*

9th International Conference on Fundamentals of Software Engineering 2021 - Theory and Practice (FSEN'21)
by Maurice ter Beek, June 16, 2020

Tehran, Iran
May 19-21, 2021


ETAPS 2020 afternoon, online, 2 July 2020
by Tarmo Uustalu, June 16, 2020

[There will be no physical ETAPS this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg.]

« previous123...1920next »