List of conferences


CFP - DisCoTec 2020
by kikofernandez, Nov. 21, 2019

DisCoTec 2020 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.

CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20
by Dario Di Nucci, Nov. 13, 2019

CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20

IEEE/ACM CGO-2020 Call for submissions to Student Research Competition (SRC)
by fabian_gruber, Nov. 4, 2019

The ACM Student Research Competition (SRC) offers a unique forum for undergraduate and graduate students to present their original research before a panel of judges and attendees at CGO. Participants must be undergraduates or graduate students pursuing an academic degree at the time of initial submission. Participants must be current student members of the ACM. The abstracts will be examined by a selection committee and selected abstracts will be invited to present as posters at the conference. SRC poster submissions are, in addition, evaluated by a jury during the poster session at the conference. The best three posters are then invited to give a short presentation (10 minutes + 5 minutes questions) on the next day. Based on the submitted abstract, the poster, and the presentation, the winner of CGO's Student Research Competition will be selected, who will receive an award. In addition, the winner will be invited to participate in the grand 2020 ACM SRC competition. Further information on the ACM SRC is available at: https://src.acm.org

ECOOP '20 Call for Artifact Evaluation Committee Members
by Manuel Rigger, Nov. 3, 2019

ECOOP' 20 solicits self-nominations from junior researchers for the Artifact Evaluation Committee to foster diversity and train the next generation of researchers. Nominations can be submitted at https://2020.ecoop.org/track/ecoop-2020-artifacts#Call-for-reviewers.

CfP TAP (Tests And Proofs), June 2020, Bergen
by Wolfgang Ahrendt, Nov. 1, 2019

1st Call for Papers
14th International Conference on Tests And Proofs
TAP 2020 Bergen (Norway), June 22-26, 2020
https://tap.sosy-lab.org/2020/

2nd call for participation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6)
by Lars Michael Kristensen, Oct. 31, 2019

===========================================================
CALL FOR PARTICIPATION
iFM 2019

15th International Conference on integrated Formal Methods
December 2-6, 2019 - Bergen, Norway

http://ifm2019.hvl.no/
===========================================================

=== Registration ===

https://ifm2019.hvl.no/registration/

Early registration deadline: November 6

ETAPS 2020 final joint call for papers
by Tarmo Uustalu, Oct. 11, 2019

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

JOINT CALL FOR PAPERS

23rd European Joint Conferences on Theory and Practice of Software
ETAPS 2020

Dublin, Ireland, 25-30 April 2020

http://www.etaps.org/2020

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

CfParticipation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6)
by Lars Michael Kristensen, Oct. 3, 2019

15th International Conference on integrated Formal Methods
December 2-6, 2019 - Bergen, Norway

http://ifm2019.hvl.no/

« previous123...1718next »