November 2015 Archives by thread

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

Starting: Mon Nov 2 16:39:36 CET 2015
Ending: Sat Nov 28 20:18:45 CET 2015
Messages: 7

• [fg-arc] 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik   m.huisman at utwente.nl
• [fg-arc] SLSP 2015: call for participation   GRLMC
• [fg-arc] BigDat 2016: early registration deadline 15 November   GRLMC
• [fg-arc] CFP: Winter School on Formal Methods   Sung-Shik Jongmans
• [fg-arc] TPNC 2015: call for participation   GRLMC
• [fg-arc] [fm-announcements] NFM 2016 - first call for papers   Havelund, Klaus (349F)
• [fg-arc] BigDat 2016: early registration deadline 12 December   GRLMC

Last message date: Sat Nov 28 20:18:45 CET 2015
Archived on: Mon Nov 30 15:39:52 CET 2015

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