October 2013 Archives by subject

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

Starting: Tue Oct 1 02:59:10 CEST 2013
Ending: Thu Oct 31 12:14:06 CET 2013
Messages: 42

• [Om-announce] 2 PhD / postdoc positions in stochastic model checking, U Twente   Marielle Stoelinga
• [Om-announce] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'   Christoph LANGE
• [Om-announce] 2nd CfP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014)   Peter Höfner
• [Om-announce] [Call-For-Papers]IEEE WCNC'2014 Workshop on IoT Communications and Technologies   WCNC'2014 IOT Workshop
• [Om-announce] [ecoop-info] Call for Paper: FM 2014, 14 - 16 May, Singapore   Announcements of FME events
• [Om-announce] [Final Call for Papers] IEEE WCNC'2014 Workshop on Internet of Things   Daqiang Zhang
• [Om-announce] [fm-announcements] Call for papers: AAAI Symposium on formal verification in HMI   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] [fm-announcements] Call for Papers: NFM 2014   Kristin Yvonne Rozier
• [Om-announce] [simu-conf] Mod4Sim *** Extended Deadline ***   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] TMS 2014 - Deadline Extension   vsim-conf at sce.carleton.ca
• [Om-announce] AiML 2014: 1st Call for Papers   Agi Kurucz
• [Om-announce] ATC 2013 Call for Participation - 10th IEEE International Conference on Autonomic and Trusted Computing   ATC 2013
• [Om-announce] Call for Paper: FM 2014, 14 - 16 May, Singapore   jun sun
• [Om-announce] call for papers: Nonlinear Reasoning   Lawrence Paulson
• [Om-announce] Call for participation - Workshop on Privacy in the Electronic Society (WPES 2013)   WPES 2013
• [Om-announce] CFP BigSecurity workshop with IEEE INFOCOM 2014   Shui Yu
• [Om-announce] CMCS 2014: Second call for papers   Alexandra Silva
• [Om-announce] DIFTS'13: Call for Participation   Malay Ganai
• [Om-announce] DUHDe'14 - Cal for Papers   Wenchao Li
• [Om-announce] Essays in Memory of Mark Stickel   Geoff Sutcliffe
• [Om-announce] faculty position opening in "Big Data" at Wright State University   Pascal Hitzler
• [Om-announce] FedCSIS 2014 - Call for Events   FedCSIS 2013
• [Om-announce] IEEE NCCA 2014 - Rome 5-7 February - First Call For Papers   IEEE NCCA 2014 Publicity Chair
• [Om-announce] IFAC TC 5.2 Special Session on Advanced multi-criteria applications in manufacturing and logistics   antonella petrillo
• [Om-announce] IFIP SEC 2014 - Call for Papers   sara.foresti at unimi.it
• [Om-announce] IJCAR 2014 Call for Papers   Geoff Sutcliffe
• [Om-announce] ISPEC 2014 CFP: 10th Information Security Practice and Experience Conference, 12-14 May 2014, Fuzhou, China   Yu Wang
• [Om-announce] Joint 25th RTA & 12th TLCA: CALL FOR PAPERS   Luca Paolini
• [Om-announce] LATA 2014: extended submission deadline 21 October   GRLMC
• [Om-announce] LPAR-19 - Calls for Short Papers and Workshop Papers   Geoff Sutcliffe
• [Om-announce] MACIS 2013: Final Call for Papers   Chenqi Mou
• [Om-announce] Open position for Two Postdocs at Embedded Systems Unit of FBK   Marco Roveri
• [Om-announce] Open position for Two Software Developers at Embedded Systems Unit of FBK   Marco Roveri
• [Om-announce] Postdoc Research Fellow Position and Research Assistant Available on Software Engineering and Formal Methods in Singapore   Liu Yang (Asst Prof)
• [Om-announce] Relational & Algebraic Methods (RAMiCS 2014) Deadlines extended!   Peter Höfner
• [Om-announce] Special issue on Networking for Big Data of IEEE Network (Impact factor 2.853)   Shui Yu
• [Om-announce] SR 2014 - Preliminary call for contributions   aniello murano
• [Om-announce] TAMC 2014: Theory and Applications of Models of Computation (CfP)   TAMC at unknown.domain
• [Om-announce] TAMC2014 in Chennai, India, April 11-13, 2014   S B Cooper
• [Om-announce] TAMC2014 in Chennai, India, April 11-13, 2014   S B Cooper
• [Om-announce] TPNC 2013: 2nd call for posters   GRLMC
• [Om-announce] WoLLIC 2014 - 1st Call for Papers   Ruy de Queiroz

Last message date: Thu Oct 31 12:14:06 CET 2013
Archived on: Fri Nov 1 12:15:30 CET 2013

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