November 2013 Archives by date

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

Starting: Sat Nov 2 13:19:52 CET 2013
Ending: Sat Nov 30 19:02:57 CET 2013
Messages: 35

• [Om-announce] CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP   S B Cooper
• [Om-announce] CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP   S B Cooper
• [Om-announce] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014   Kristin Yvonne Rozier
• [Om-announce] TPNC 2013: call for participation   GRLMC - URV
• [Om-announce] CFP: ISPEC 2014, 12-14 May 2014, Fuzhou, China   Yu Wang
• [Om-announce] IFIP SEC 2014 - Call for Papers   sara.foresti at unimi.it
• [Om-announce] IEEE NCCA 2014 - Rome 5-7 February - Second Call For Papers   IEEE NCCA 2014 Publicity Chair
• [Om-announce] AlCoB 2014: 2nd call for papers   GRLMC
• [Om-announce] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014)   Serge Autexier
• [Om-announce] [fm-announcements] Formal Methods Positions at NASA Langley   MUNOZ, CESAR (LARC-D320)
• [Om-announce] First Call for Papers: SEFM 2014   lina.ye at inria.fr
• [Om-announce] =?WINDOWS-1250?Q?FINAL CfP - Intelligent Autonomous Systems Track at 27th FLAIRS conference, = Florida, USA?=   david.obdrzalek at mff.cuni.cz
• [Om-announce] Call for Workshop Proposals: SEFM 2014   lina.ye at inria.fr
• [Om-announce] ERSHOV INFORMATICS CONFERENCE (PSI'14) - Call for Papers   Geoff Sutcliffe
• [Om-announce] SAT 2014: First Call for Papers   Carsten Sinz
• [Om-announce] Call for papers: 8th Workshop in Information Security Theory and Practice (WISTP 2014)   sara.foresti at unimi.it
• [Om-announce] Special issue on Networking for Big Data of IEEE Network (Impact factor 2.853), 2 weeks left   Shui Yu
• [Om-announce] SR 2014 - call for contributions   murano
• [Om-announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 1st call for papers   Jun PANG
• [Om-announce] ATC 2013 Call for Participation - 10th IEEE International Conference on Autonomic and Trusted Computing   ATC 2013
• [Om-announce] AiML-2014: Call for Papers   Agi Kurucz
• [Om-announce] CFP BigSecurity workshop with IEEE INFOCOM 2014 (with journal special issues)   Shui Yu
• [Om-announce] [fm-announcements] 1st CFP: 14th International Conference on Runtime Verification, September 22 – 25 2014, Toronto, Canada   Klaus Havelund
• [Om-announce] ISPEC 2014 CFP: 10th Information Security Practice and Experience Conference, 12-14 May 2014, Fuzhou, China   Yu Wang
• [Om-announce] Call for Papers: SETTA 2014, August 14-17, Nanjing, China   Lijun Zhang
• [Om-announce] CFP: 1st International Workshop on Cloud for Bio (C4Bio 2014)   Javier Garcia Blas
• [Om-announce] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)   Serge Autexier
• [Om-announce] SSTiC 2014: 1st announcement   GRLMC
• [Om-announce] [fm-announcements] 1st Intl. Competition of Software for Runtime Verification: call for participation   Klaus Havelund
• [Om-announce] IFIP SEC 2014 - Call for Papers   sara.foresti at unimi.it
• [Om-announce] CFP NFSP Workshop with ICDCS14, Madrid, Spain, June 30-July 3.   Shui Yu
• [Om-announce] SI on Networking for Big Data of IEEE Network (Deadline extended to Dec. 15)   Shui Yu
• [Om-announce] LASER Summer School 2014: Leading-Edge Software Engineering   Nadia Polikarpova
• [Om-announce] SLATE 2014 - Symposium on Languages, Applications and Technologies - Call for Papers   Ricardo Rocha
• [Om-announce] 3rd IEEE NCCA 2014 - SUBMISSION DEADLINE EXTENDED TO DECEMBER 20 2013 (FIRM)   IEEE NCCA 2014 Publicity Chair

Last message date: Sat Nov 30 19:02:57 CET 2013
Archived on: Mon Dec 2 10:20:35 CET 2013

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