November 2013 Archives by date

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

Starting: Sat Nov 2 13:19:46 CET 2013
Ending: Tue Nov 26 22:32:58 CET 2013
Messages: 10

• [fg-arc] CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP   S B Cooper
• [fg-arc] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014   Kristin Yvonne Rozier
• [fg-arc] FESCA at ETAPS 2014: CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2014, Grenoble, France   Lucia Happe
• [fg-arc] [fm-announcements] Formal Methods Positions at NASA Langley   MUNOZ, CESAR (LARC-D320)
• [fg-arc] Call for Workshop Proposals: SEFM 2014   lina.ye at inria.fr
• [fg-arc] CFP POPL Workshop on Data-Centric Programming (Extension)   Judith Bishop
• [fg-arc] ACM SIGPLAN Workshop on Data-Centric Programming (at POPL) - talk proposal deadline extended to 22nd Nov   Jeremy.Gibbons at cs.ox.ac.uk
• [fg-arc] [fm-announcements] 1st CFP: 14th International Conference on Runtime Verification, September 22 – 25 2014, Toronto, Canada   Klaus Havelund
• [fg-arc] [fm-announcements] 1st Intl. Competition of Software for Runtime Verification: call for participation   Klaus Havelund
• [fg-arc] (CFP) SmartGridSec '14   Pieter Philippaerts

Last message date: Tue Nov 26 22:32:58 CET 2013
Archived on: Wed Nov 27 08:35:12 CET 2013

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