January 2020 Archives by thread
Starting: Tue Jan 7 08:49:44 CET 2020
Ending: Thu Jan 30 22:10:45 CET 2020
Messages: 18
- [ecoop-info] Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals
Mueller Peter
- [ecoop-info] FINAL CfC Ada-Europe 2020 Conference - Tue 14 Jan deadline!
Dirk Craeynest
- [ecoop-info] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020
Mihaela Rozman
- [ecoop-info] S.Barry Cooper Prize Call for Nominations
acie at acie.eu
- [ecoop-info] STAF 2020 : Joint Call for Papers and Workshops
Romina Eramo
- [ecoop-info] PLACES 2020: 2nd CfP
Stephanie Balzer
- [ecoop-info] ETAPS Test of Time Award 2020, call for nominations
Tarmo Uustalu
- [ecoop-info] First ETAPS Doctoral Dissertation Award, final call for nominations
Tarmo Uustalu
- [ecoop-info] Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK
Sergiy Bogomolov
- [ecoop-info] ProWeb20 - Deadline extension to January 22nd
Simon Fowler
- [ecoop-info] [CfP] Reminder: 13rd European Lisp Symposium, April 27-28, Zürich
Didier Verna
- [ecoop-info] Call for Papers: Behavioral Science of Software Engineering (IEEE Software Special Issue)
Tom Zimmermann
- [ecoop-info] PLACES 2020: deadline extension
Stephanie Balzer
- [ecoop-info] [CfP] ICLP2020 - The 36th International Conference on Logic Programming
Laura Pandolfo
- [ecoop-info] CFP: EuroSys Doctoral Workshop (EuroDW 2020)
Michalis Polychronakis
- [ecoop-info] Submissions at the ECOOP’20 Doctoral Symposium
Nafise Eskandani
- [ecoop-info] CGO 2020 - Call for Participation
Fabian Gruber
- [ecoop-info] Call for Papers: PACMPL issue ICFP 2020
Sam Tobin-Hochstadt
Last message date:
Thu Jan 30 22:10:45 CET 2020
Archived on: Mon Feb 10 09:42:45 CET 2020
This archive was generated by
Pipermail 0.09 (Mailman edition).