October 2013 Archives by subject

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

Starting: Tue Oct 1 08:40:32 CEST 2013
Ending: Mon Oct 28 16:42:21 CET 2013
Messages: 8

• [Om] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'   Christoph LANGE
• [Om] [fm-announcements] Call for papers: AAAI Symposium on formal verification in HMI   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om] [fm-announcements] Call for Papers: NFM 2014   Kristin Yvonne Rozier
• [Om] [Infrastructure] Again: Infrastructure update progress?   James Davenport
• [Om] Again: Infrastructure update progress?   Michael Kohlhase
• [Om] Again: Infrastructure update progress?   Paul Libbrecht
• [Om] First call for Abstracts/Papers, 7th Chaotic Modeling and Simulation International Conference, 7-10 June 2014 Lisbon, Portugal   Conf at cmsim.info
• [Om] MACIS 2013: Final Call for Papers   Chenqi Mou

Last message date: Mon Oct 28 16:42:21 CET 2013
Archived on: Tue Oct 29 14:00:40 CET 2013

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