March 2019 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Fri Mar 1 08:32:32 CET 2019
Ending: Sun Mar 31 13:23:09 CEST 2019
Messages: 34

• [fg-arc] MODELS 2019 tutorial proposal submission due in two weeks   Andreas Wortmann
• [fg-arc] EICS 2019 joined call for Late-Breaking Results, Tech Notes, Tutorials, and Doctoral Consortium Submissions (Deadline: March 18, 2019)   rui couto
• [fg-arc] JELIA 2019 - Call For Participation   cfp at mat.unical.it
• [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Last Call for Demos and Late Breaking Results   Announce Announcements
• [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Last Call for Theory, Opinion and Reflection Papers   Announce Announcements
• [fg-arc] FOCLASA 2019 - CFP   Alejandro Perez Vereda
• [fg-arc] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)   Emily LeBlanc
• [fg-arc] Second Dali Workshop: First Call for Papers   Renato Neves
• [fg-arc] CfP TEAR 2019, Paris, October 28th   Jürgen Jung
• [fg-arc] AlCoB 2019: call for posters   IRDTA
• [fg-arc] CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems   Tim Willemse
• [fg-arc] School on Automated Functional and Security Testing of Web and Mobile Applications (GaSES 2019) - Genoa (Italy) May 13-16   Maurizio Leotta
• [fg-arc] CONCUR 2019 final call for papers   Fokkink, W.J.
• [fg-arc] [fm-announcements] NFM 2019: Call for Participation (Hotel Block Closing Shortly)   Kristin Yvonne Rozier
• [fg-arc] SEFM 2019 - Call for Papers   Lina Marsso
• [fg-arc] Formal Methods 2019 - Doctoral Symposium   Renato Neves
• [fg-arc] CfP TEAR 2019, Paris, October 28th   Jürgen Jung
• [fg-arc] Call for Papers ICSOC 2019 - The 17th International Conference on Service-Oriented Computing   Ilhem Khlif
• [fg-arc] Formal Methods 2019 - Final Call For Papers   Renato Neves
• [fg-arc] 1st International Workshop on Intelligent Systems for the Internet of Things: Submission Deadline Extension   Announce Announcements
• [fg-arc] iFM 2019: Call for Workshops and Tutorials   Martin Leucker
• [fg-arc] SLSP 2019: 1st call for papers   IRDTA
• [fg-arc] [SEWORLD] EXTENDED DEADLINE: EICS 2019 joined call for Late-Breaking Results, Tech Notes, Tutorials, and Doctoral Consortium Submissions (Deadline: March 25, 2019)   rui couto
• [fg-arc] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands   Marielle Stoelinga
• [fg-arc] ICLP 2019 - Research Challenges in Logic Programming Track   Fioretto, Ferdinando
• [fg-arc] Call for Papers: 10. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2019) - Teil des WSRE 2019   Stefan Sauer
• [fg-arc] ASPOCP 2019 - call for papers   Jorge Fandino
• [fg-arc] DeepLearn 2019: early registration March 30   IRDTA
• [fg-arc] ASPOCP 2019 - call for papers (deadline extended)   Jorge Fandino
• [fg-arc] [1st Call for Papers] ASYDE 2019 @ SEFM 2019   alexander.perucci at univaq.it
• [fg-arc] EXTENDED DEADLINE: EICS 2019 joined call for Tutorials, and Doctoral Consortium Submissions (Deadline: April 7th, 2019)   rui couto
• [fg-arc] AlCoB 2019: call for posters   IRDTA
• [fg-arc] First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence   Luca Pulina
• [fg-arc] Frist verlängert - Einreichungen bis 05.04.: 10. Workshop „Design for Future – Langlebige Softwaresysteme“ (DFF 2019) - Teil des WSRE 2019   Stefan Sauer

Last message date: Sun Mar 31 13:23:09 CEST 2019
Archived on: Sun Mar 31 13:28:35 CEST 2019

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...