April 2019 Archives by date

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

Starting: Mon Apr 1 13:40:07 CEST 2019
Ending: Tue Apr 30 18:07:14 CEST 2019
Messages: 44

• [fg-arc] ICLP 2019 - Call For Workshop Proposals   Fioretto, Ferdinando
• [fg-arc] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers   Fioretto, Ferdinando
• [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019)   Fioretto, Ferdinando
• [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019)   Fioretto, Ferdinando
• [fg-arc] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION   Luca Pulina
• [fg-arc] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper)   Tim Willemse
• [fg-arc] ETFA'2019: Call for Papers deadlines April 22 (regular) and May 27 (short)   Cristian Mahulea
• [fg-arc] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track   Fioretto, Ferdinando
• [fg-arc] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence   Luca Pulina
• [fg-arc] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence   Luca Pulina
• [fg-arc] WORDS 2019, last call for papers (Extended Deadline)   Words 2019
• [fg-arc] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019   alexander.perucci at univaq.it
• [fg-arc] CfP - FACS 2019 (Formal Aspects of Component Software)   Sung-Shik Jongmans
• [fg-arc] Call for Papers: Formal Methods Teaching Workshop and Tutorial   Claudio MENGHI
• [fg-arc] LPNMR 2019 -- CALL FOR PARTICIPATION   Gregory Gelfond
• [fg-arc] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link   Emily LeBlanc
• [fg-arc] [ECAI2020] Preliminary CFP 24th European Conference on Artificial Intelligence. 8-12 June 2020. Santiago de Compostela, Spain.   BUGARIN DIZ ALBERTO JOSE
• [fg-arc] CFP: ICLP 2019 - Research Challenges in Logic Programming Track   Fioretto, Ferdinando
• [fg-arc] CFP: ICLP 2019 - Special Session: Women in Logic Programming   Fioretto, Ferdinando
• [fg-arc] SLSP 2019: 2nd call for papers   IRDTA
• [fg-arc] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium   Kristin Yvonne Rozier
• [fg-arc] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium   Kristin Yvonne Rozier
• [fg-arc] 23rd Pan-Hellenic Conference on Informatics (PCI 2019): First Call for Papers   Announce Announcements
• [fg-arc] Second CfP 1st Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2019)   Hacks, Simon
• [fg-arc] Second CfP 1st Workshop on the Value and Quality of Enterprise Modelling, (VEnMo 2019)   Hacks, Simon
• [fg-arc] Architekturen 2019 Jahrestagung der GI-Fachgruppe Architekturen   Heinrich, Robert (IPD)
• [fg-arc] EXTENDED DEADLINE: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)   Emily LeBlanc
• [fg-arc] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands   Marielle Stoelinga
• [fg-arc] WSRE 2(0)1(9) + DFF 2019 - Call for Participation / Aufruf zur Teilnahme - Programm & Anmeldung - 6.-8. Mai 2019 in Bad Honnef   Stefan Sauer
• [fg-arc] DeepLearn 2019: early registration April 27   IRDTA
• [fg-arc] AlCoB 2019: call for posters   IRDTA
• [fg-arc] Extended Deadlines FMICS 2019: Formal Methods for Industrial Critical Systems; 1 May (abstract); 3 May (paper)   Tim Willemse
• [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): First Call for Papers   Announce Announcements
• [fg-arc] EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)   Emily LeBlanc
• [fg-arc] DeepLearn 2019: early registration April 27   IRDTA
• [fg-arc] Ankündigung "Architekturen 2019" (Fachgruppentreffen)   Ralf Reussner
• [fg-arc] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION **   Gregory Gelfond
• [fg-arc] LPNMR 2019 CALL FOR PARTICIPATION   Gregory Gelfond
• [fg-arc] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track   Fioretto, Ferdinando
• [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019)   Fioretto, Ferdinando
• [fg-arc] CFP: ICLP 2019 Special Session: Women in Logic Programming   Fioretto, Ferdinando
• [fg-arc] ICLP - Doctoral Consortium (DC) on Logic Programming   Fioretto, Ferdinando
• [fg-arc] SLSP 2019: 3rd call for papers   IRDTA
• [fg-arc] SEFM 2019 - abstract sub. deadline: May 3, 2019   Lina Marsso

Last message date: Tue Apr 30 18:07:14 CEST 2019
Archived on: Fri May 10 08:19:00 CEST 2019

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