List of conferences


ICGT 2020
by Timo Kehrer, Jan. 24, 2020

13th International Conference on Graph Transformation

FORTE 2020 @ DisCoTec, June 15-19, Valletta, Malta - CFP
by Ana Sokolova, Jan. 20, 2020

FORTE 2020 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technology for distributed systems.

CFP: 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP): 2020
by Paddy Krishnan, Jan. 20, 2020

For SOAP 2020 we invite contributions from researchers and practitioners working on or with program analysis. We are particularly interested in exciting analysis framework ideas, innovative designs, and analysis techniques. Preliminary results of novel work in progress are also welcome. We encourage submissions from industrial researchers and practitioners that explore the state of the practice for program analysis-- we want to hear about your experiences and see your tools in action. The workshop agenda will continue its tradition of lively discussions on extensions of existing frameworks, development of new analyses, tools and substrates, and how program analysis is used in real-world scenarios.

Call for Papers - MDEML track at Euromicro SEAA 2020
by Andreas Wortmann, Jan. 18, 2020

MDEML: Model-Driven Engineering and Modeling Languages
August 26-28, 2020 (https://dsd-seaa2020.um.si)

Abstracts: March 2, 2020; Papers: March 16, 2020.

Reversible Computation 2020 2nd CfP
by Ivan Lanese, Jan. 17, 2020

Reversible computation has a growing number of promising application areas such as low power design, coding/decoding, debugging, testing and verification, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented and are seen as promising alternatives to conventional CMOS technology.

The conference will bring together researchers from computer science, mathematics, and physics to discuss new developments and directions for future research in Reversible Computation. This includes applications of reversibility in quantum computation. Research papers, tutorials, tool demonstrations, and work-in-progress reports are within the scope of the conference. Invited talks by leading international experts will complete the program. Contributions on all areas of Reversible Computation are welcome.

===== Important Dates =====

Abstract submission: January 31, 2020
Submission deadline: February 7, 2020
Notification to authors: March 20, 2020
Conference: July 9 - July 10, 2020

More information at:

https://reversible-computation-2020.github.io/

ETAPS Doctoral Dissertation Award - Last Call for Nominations
by Caterina Urban, Jan. 10, 2020

The deadline for nominations is January 19th, 2020.

CfP SPLC 2020 24th International Systems and Software Product Line Conference (Montréal, Canada)
by jmartinez, Jan. 8, 2020

SPLC 2020: 24th International Systems and Software Product Line Conference
October 19 to 23, 2020
Montréal, Canada
https://splc2020.net/

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 24th International Systems and Software Product Line Conference (SPLC 2020) will be held from October 19th to 23rd with a planned collocation with the IEEE / ACM 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS).

COORDINATION 2020: CfP - Malta, June 15-19
by Simon Bliudze, Dec. 23, 2019

******************************************************************
22nd International Conference on Coordination Models and Languages
COORDINATION 2020

15-19th of June, 2020 at the University of Malta, Valletta

http://www.discotec.org/2020/coordination

COORDINATION 2020 is one of the three conferences of DisCoTec 2020
******************************************************************

« previous123...1819next »