July 2014 Archives by date

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

Starting: Wed Jul 2 23:12:30 CEST 2014
Ending: Tue Jul 29 11:59:54 CEST 2014
Messages: 18

• [fg-arc] IEOM 2015 Sponsored by IEEE and INFORMS and IEOM Chapters   Ahad Ali
• [fg-arc] EDOC 2014: Call for Participation   Selway, Matt Ryan - selmr001
• [fg-arc] Call for Participation: SEFM 2014   lina.ye at inria.fr
• [fg-arc] ACM SAC 2015: Software Verification and Testing Track - Second CfP   lina.ye at inria.fr
• [fg-arc] INFORMATIK 2014   Uwe Reyle
• [fg-arc] CfP: PhD Symposium of the Third European Conference on Service-Oriented and, Cloud Computing (ESOCC 2014   Prof. Dr. Wolf Zimmermann
• [fg-arc] TPNC 2014: extended submission deadline 24 July   GRLMC
• [fg-arc] CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo   Martin Steffen
• [fg-arc] INFORMATIK 2014   Uwe Reyle
• [fg-arc] [fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015   Klaus Havelund
• [fg-arc] BigDat 2015: 23 July registration deadline   GRLMC - URV
• [fg-arc] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review   Kristin Yvonne Rozier
• [fg-arc] LOPSTR 2014: Call for Participation   Maurizio Proietti
• [fg-arc] Software Engineering (SE) 2015 in Dresden - Aufruf für Beiträge   Uwe Assmann
• [fg-arc] LATA 2015: 1st call for papers   GRLMC
• [fg-arc] PhD scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy)   Enrico Franconi
• [fg-arc] [fm-announcements] RV 2014: Call for Participation   Klaus Havelund
• [fg-arc] CfP: DANCE: Distributed Architecture modeling for Novel Component based Embedded systems   Matthias Tichy

Last message date: Tue Jul 29 11:59:54 CEST 2014
Archived on: Wed Jul 30 08:41:08 CEST 2014

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