November 2013 Archives by subject

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

Starting: Sat Nov 2 13:19:46 CET 2013
Ending: Fri Nov 29 18:27:49 CET 2013
Messages: 70

• [ecoop-info] 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada   Runtime Verification
• [ecoop-info] 2nd CFP: RCIS 2014 - Eighth IEEE International Conference on Research Challenges in Information Science   Charlotte Hug
• [ecoop-info] =?WINDOWS-1250?Q?FINAL CfP - Intelligent Autonomous Systems Track at 27th FLAIRS conference, = Florida, USA?=   david.obdrzalek at mff.cuni.cz
• [ecoop-info] [CfP] WCOP @ CompArch 2014 (Lille, France)   Romain Rouvoy
• [ecoop-info] [Extension] 8th International Workshop on Software Clones - Call for Papers   Saman Bazrafshan
• [ecoop-info] [fm-announcements] 1st CFP: 14th International Conference on Runtime Verification, September 22 – 25 2014, Toronto, Canada   Klaus Havelund
• [ecoop-info] [fm-announcements] Formal Methods Positions at NASA Langley   MUNOZ, CESAR (LARC-D320)
• [ecoop-info] [fm-announcements] Last Call for Papers: NASA Formal Methods (NFM) 2014   Kristin Yvonne Rozier
• [ecoop-info] [IEEE/IFIP NTMS'2014]: Final extended deadline on November 30th, 2013   contact at ntms-conf.org
• [ecoop-info] [NTMS'14 - DUBAI]: Extended Paper Submission till Nov 21   contact at ntms-conf.org
• [ecoop-info] ACM SIGPLAN Workshop on Data-Centric Programming (at POPL) - talk proposal deadline extended to 22nd Nov   Jeremy.Gibbons at cs.ox.ac.uk
• [ecoop-info] Ada-Europe 2014 submission deadline approaching   Dirk Craeynest
• [ecoop-info] AlCoB 2014: 2nd call for papers   GRLMC
• [ecoop-info] BPMDS'2014 - Call for Papers   Selmin Nurcan
• [ecoop-info] CAISE'14 Forum - Call for Short Papers and Tool Demonstrations   Selmin Nurcan
• [ecoop-info] Call for Industry Track Papers: Formal Methods 2014 (FM 2014)   Announcements of FME events
• [ecoop-info] Call for Paper - Icemst (International Conference on Education in Mathematics, Science and Technology)   Icemst 2014
• [ecoop-info] Call for Papers for IJSEKE - Special Issue on Mobile Cloud Computing and Service   jerry gao
• [ecoop-info] Call for Papers: International Workshop on Security, Privacy and Trust for Wireless Networks (SPTWN-2014) in co-location with ANT 2014, Belgium   M. Bala Krishna
• [ecoop-info] Call for Papers: LCTES 2014 - Paper submission: Friday, January 31, 2014   Lei Jiang
• [ecoop-info] Call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software   Vasco T. Vasconcelos
• [ecoop-info] Call for Submissions : Special issue of Sustainable Computing: Informatics and Systems (SUSCOM) on Software Engineering Aspects of Green Computing   Somayeh Malakuti
• [ecoop-info] CFP - ANTIFRAGILE 2014 - 1st International Workshop “From Dependable to Resilient, from Resilient to Antifragile Ambients and Systems”   Vincenzo De Florio
• [ecoop-info] CFP 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)   Sébastien Konieczny
• [ecoop-info] CFP POPL Workshop on Data-Centric Programming (Extension)   Judith Bishop
• [ecoop-info] CFP Special Issue on Social impact of Internet of Things   Michele Albano
• [ecoop-info] CfP: 10th European Conference on Modelling Foundations and Applications 2014 (ECMFA 2014)   Abel Gómez
• [ecoop-info] CFP: 1st International Workshop on Cloud for Bio (C4Bio 2014)   Javier Garcia Blas
• [ecoop-info] CfP: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014)   Markus Luckey
• [ecoop-info] CFP: DAIS 2014   Peter Pietzuch
• [ecoop-info] CfP: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2014   James Burton
• [ecoop-info] CFP: International Workshop on Enabling ICT for Smart Buildings   Gérôme Bovet
• [ecoop-info] CFP: PSD 2014 (PRIVACY IN STATISTICAL DATABASES), LNCS proceedings, Eivissa, Balearic Islands, DEADLINE MAY 11, 2014   Joaquin Garcia-Alfaro
• [ecoop-info] CfP: SEAMS 2014 Software Engineering for Adaptive and Self-Managing Systems   Nelly Bencomo
• [ecoop-info] CFP: SNOW'14   Scott Fowler
• [ecoop-info] CFP: SNOW'14   Scott Fowler
• [ecoop-info] CFP: SNOW’14   Scott Fowler
• [ecoop-info] CFP: Special Issue on "New Directions in Programming Languages"   Adam Welc
• [ecoop-info] CFP: The Second International Workshop on Green In Software Engineering, Green By Software Engineering (GIBSE)   Somayeh Malakuti
• [ecoop-info] CFPar: PLPV 2014, Programming Languages meets Program Verification   Bart Jacobs
• [ecoop-info] CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP   S B Cooper
• [ecoop-info] CS Faculty Position at University of Chile   Eric Tanter
• [ecoop-info] Deadline extension, December 12 || ICAS 2014 || April 20 - 24, 2014 - Chamonix, France   Cristina Pascual
• [ecoop-info] Deadline extension, December 12 || ICNS 2014 || April 20 - 24, 2014 - Chamonix, France   Cristina Pascual
• [ecoop-info] DEADLINE EXTENSION: Special issue of the Semantic Web Journal on Web Reasoning and Rule Systems   Domenico Lembo
• [ecoop-info] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 1st call for papers   Jun PANG
• [ecoop-info] Faculty Positions at Imperial College London   Peter Pietzuch
• [ecoop-info] 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
• [ecoop-info] FINAL REMINDER: FOIS 2014: Call for Workshop Proposals, due 1 December   Janna Hastings
• [ecoop-info] First Call for Papers: SEFM 2014   lina.ye at inria.fr
• [ecoop-info] Fwd: NETYS 2014 Call for Papers   yahya benkaouz
• [ecoop-info] ICPE 2014 - Tutorial Proposals   danilo.ansaloni at usi.ch
• [ecoop-info] ICSEng 2014, Las Vegas, USA, August 19-21, 2014: Call for Papers   ICSEng at unlv.edu
• [ecoop-info] IEEE International Workshop on Cloud Analytics (IWCA, 2014) Submission Deadline Extended to Dec 1, 2013   iwca_publicity cloud
• [ecoop-info] IPSN 2014 Joint Call Posters and Demos / PhD Forum   Shaojie Tang
• [ecoop-info] Last Mile, November 20 || eKNOW 2014 || March 23 - 27, 2014 - Barcelona, Spain   Cristina Pascual
• [ecoop-info] Last Mile, November 20 || eLmL 2014 || March 23 - 27, 2014 - Barcelona, Spain   Cristina Pascual
• [ecoop-info] RCIS 2014 : call for Doctoral Consortium papers, Posters & Demos session and Tutorials   Charlotte Hug
• [ecoop-info] Reminder: EAPLS PhD Award 2013 - Call for Nominations   Arend Rensink
• [ecoop-info] REMINDER: FOIS 2014: Call for Workshop Proposals, due 1 December   Janna Hastings
• [ecoop-info] RESA'14 cfp   Pete Sawyer
• [ecoop-info] RESA'14 cfp   Pete Sawyer
• [ecoop-info] SDS 2014: IEEE International Workshop on Software Defined Systems (SDS -2014), March 11-14, 2014, Boston, Massachusetts, USA   SDS - 2014
• [ecoop-info] Second call for papers, BX 2014   Janis Voigtlaender
• [ecoop-info] SLATE 2014 - Symposium on Languages, Applications and Technologies - Call for Papers   Ricardo Rocha
• [ecoop-info] SQUARE 2014 - Vatican - Call for Papers   universal logic
• [ecoop-info] SR 2014 - call for contributions   murano
• [ecoop-info] Tenure-Track Assistant/Associate/Full Professor Position: Computer Science Dept. at Iowa State University: Mining Software Repositories   Samik Basu
• [ecoop-info] Tenure-Track Assistant/Associate/Full Professor Position: Computer Science Dept. at Iowa State University: Mining Software Repositories   Samik Basu
• [ecoop-info] UTP-2014 Unifying Theories of Programming - Call for papers   Announcements of FME events

Last message date: Fri Nov 29 18:27:49 CET 2013
Archived on: Sun Dec 1 10:15:28 CET 2013

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