May 2014 Archives by subject

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

Starting: Fri May 2 06:27:08 CEST 2014
Ending: Sat May 31 14:48:50 CEST 2014
Messages: 18

• [fg-arc] [DI2014] Paper submission deadline extension for #DI2014 Conference, Nantes, France   Frederic Benhamou & Milad Doueihi - #di2014 Co-Chairs
• [fg-arc] [fm-announcements] Fourth Summer School on Formal Techniques   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [fg-arc] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014   MUNOZ, CESAR (LARC-D320)
• [fg-arc] ARCHITEKTUREN 2014 (7.-8.7.2014 in Ladenburg): Call for Participation   Heiko Koziolek
• [fg-arc] Call for Contributions - MORSE 2014   Uwe Assmann
• [fg-arc] CfP: ESOCC - Deadline for Submissions in 6 days   Prof. Dr. Wolf Zimmermann
• [fg-arc] CFP DMNLP - Workshop on Interactions between Data Mining and Natural Language Processing at ECML/PKDD   Thierry Charnois
• [fg-arc] CFP FCA4AI Workshop at ECAI 2014 ``What can FCA do for Artificial Intelligence?'' (3rd Edition)   Amedeo Napoli
• [fg-arc] First Call for Papers: FSEN 2015   FSEN
• [fg-arc] LOPSTR 2014 - Extended Deadlines   Maurizio Proietti
• [fg-arc] LOPSTR 2014: Deadline Approaching   Maurizio Proietti
• [fg-arc] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open   S B Cooper
• [fg-arc] Post-doc position at Convecs team (Inria/LIG)   Wendelin Serwe
• [fg-arc] Second Call for Papers: Workshops Colocated with SEFM 2014   lina.ye at inria.fr
• [fg-arc] SSTiC 2014: June 7, early registration deadline   GRLMC
• [fg-arc] SSTiC 2014: June 7, early registration deadline   GRLMC
• [fg-arc] WADT 2014 - 1st Call for Papers   2014 wadt
• [fg-arc] Workshop "Human-Oriented Formal Methods" @SEFM 2014   Maria Spichkova

Last message date: Sat May 31 14:48:50 CEST 2014
Archived on: Sun Jun 1 22:50:28 CEST 2014

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