April 2018 Archives by subject

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

Starting: Sun Apr 1 07:47:01 CEST 2018
Ending: Mon Apr 30 15:38:11 CEST 2018
Messages: 49

• [ecoop-info] 23rd Int.Conf. Reliable Software Technologies, Ada-Europe 2018   Dirk Craeynest
• [ecoop-info] 2nd cfp ThEdu'18 at FLOC/ICAR 2018 - Theorem Proving Components for Educational Software   Pedro Quaresma
• [ecoop-info] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam   Summers Alexander John
• [ecoop-info] 2nd CfP: VORTEX 2018, Verification of Objects at RunTime EXecution   Davide Ancona
• [ecoop-info] 5 PhD positions on Software and System Security, and Secure Software Engineering at KTH Royal Institute of Technology   Benoit Baudry
• [ecoop-info] 8th Halmstad Summer School on Testing (June 11-14)   M.R. Mousavi
• [ecoop-info] [cfp] COP 2018   Jens Lincke
• [ecoop-info] [CfP] ICOOOLPS 2018   Tim Felgentreff
• [ecoop-info] [Final CfPart] ELS 2018, April 16-17, Marbella, Spain   Didier Verna
• [ecoop-info] [fm-announcements] RV 2018 Call for Papers   Havelund, Klaus (348B)
• [ecoop-info] [nwpt-info] iFM 2018 Call For Papers   baskas at ktl.mii.lt
• [ecoop-info] ASE 2018 2nd Call for papers   Christelle URTADO
• [ecoop-info] ATVA 2018 Call for Paper   Meng Wu
• [ecoop-info] ATVA 2018 Call for Paper   Meng Wu
• [ecoop-info] Call for papers - VISSOFT 2018   Manuel Rubio Sánchez
• [ecoop-info] Call for Papers MoDRE 2018   Joao Araujo
• [ecoop-info] Call for Posters: ACM SIGPLAN Workshop on Machine Learning and Programming Languages 2018   Alvin Cheung
• [ecoop-info] CDVE2018 Call for Papers   cdve .org
• [ecoop-info] CDVE2018 paper deadline approaching! April 20, 2018   cdve .org
• [ecoop-info] CFP - INTUITESTBEDS 2018 in Amsterdam   Tanja Vos
• [ecoop-info] CFP: ICSME 2018 Tool Demo Track   Eleni CONSTANTINOU
• [ecoop-info] CfP: VORTEX 2018, Verification of Objects at RunTime EXecution   Davide Ancona
• [ecoop-info] ECSA 2018:Deadline extension for Abstract and Full Papers: April 8   Elena Maria Navarro Martinez
• [ecoop-info] Final Call for Papers AVoCS'18 @FLOC 2018   David Pichardie
• [ecoop-info] FLoC 2018 - Call for Participation   Andrzej Murawski
• [ecoop-info] FLoC 2018 - Last Joint Call for Workshop Papers   Andrzej Murawski
• [ecoop-info] FLoC 2018 Volunteer Programme Announcement   Andrzej Murawski
• [ecoop-info] FROM 2018 - 3rd CFP - Deadline Extended to 11 May   Stefan Ciobaca
• [ecoop-info] FROM 2018 - Second Call for Papers (special issue in Fundamenta Informaticae)   Stefan Ciobaca
• [ecoop-info] Future Big Data   conference at icdim.org
• [ecoop-info] ICTAC 2018 2nd call for papers   Tarmo Uustalu
• [ecoop-info] ICTCS 2018 @ Urbino - second call for papers   Marco Bernardo
• [ecoop-info] iFM 2018 Call For Papers   Hao Wu
• [ecoop-info] iFM 2081 Call For Papers   Hao Wu
• [ecoop-info] International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA) at ESORICS   Brahim HAMID
• [ecoop-info] ISSISP'18: International "Summer School" on Information Security and Protection   Tony Hosking
• [ecoop-info] LOGIC COLLOQUIUM 2018 DEADLINE EXTENSION   Giovanna D'Agostino
• [ecoop-info] MEDI'2018: Extended Deadline to May 14   mery
• [ecoop-info] Open postdoc positions at Charles University   Jan Kofron
• [ecoop-info] OPENING: SOFT. ENG. POSITION AT UNIV. QUEBEC @ MONTREAL - DEADLINE: MAY 20TH, 2018   Hafedh Mili
• [ecoop-info] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions   Wijs, A.J.
• [ecoop-info] PhD Position in Software Engineering - University of Lille   Clément Quinton
• [ecoop-info] Postdoc position available at the University of Milano Bicocca   Leonardo Mariani
• [ecoop-info] QUATIC 2018 track on Quality Aspects in DevOps Development: 2nd CFP   Diego Perez
• [ecoop-info] SETTA 2018 deadline approaching   Xinyu Feng
• [ecoop-info] SETTA 2018: deadline extended to May 7   Xinyu Feng
• [ecoop-info] SLSP 2018: 3rd call for papers   IRDTA
• [ecoop-info] SPLASH 2018: Combined Call for Workshop Contributions   SPLASH Publicity
• [ecoop-info] WADT 2018 - 3rd Call for Papers & Leverhulme School   WADT 2018

Last message date: Mon Apr 30 15:38:11 CEST 2018
Archived on: Mon Apr 30 18:25:00 CEST 2018

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