April 2017 Archiv nach Betreff
Von: So Apr 2 16:07:28 CEST 2017
Bis: Fr Apr 28 21:37:03 CEST 2017
Nachrichten: 58
- (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming
Renato Neves
- *** extended deadline: 1/May *** call for papers on Business Applications of Artificial Intelligence (BAAI) as part of EPIA 2017
Carlos Soares
- 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software
m.huisman at utwente.nl
- 3 Lecturer/Senior Lecturer positions in CS, Liverpool, UK
Van Der Hoek, Wiebe
- 4th Vampire Workshop - Call for Papers
Geoff Sutcliffe
- [FLoC'18/ICLP'18] Call for Workshops
Stefan Woltran
- [LPNMR 2017 Workshops] Extended Deadline
Peter Schüller
- AIAI 2017 call for papers
Oliver Obst
- AlCoB 2017: call for posters
GRLMC
- ARCADE - 2nd Call for Papers
Geoff Sutcliffe
- Call for Applications: The 13th Reasoning Web Summer School (RW 2017)
Domenico Lembo
- Call for Contributions: SASO 2017 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 18-22, Tucson, Arizona
Markus Esch
- Call for Papers: 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017), September 26, 2015, Dortmund, Germany
Frieder Stolzenburg
- Call for Participation: 19th European Agent Systems Summer School (EASSS-2017)
Wojtek Jamroga
- Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
- Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017
Serge Autexier
- CFP: *Deadline Extended* - Evidence & Decision Making in the Law - King's College London - June 16, 2017
Marcello Di Bello
- CfP: 11th Workshop on Reachability Problems 2017, London, UK
Potapov, Igor
- CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017
Roussanka Loukanova
- CfP: MATES 2017 - Extended deadline: May 7, 2017
Berndt, Jan Ole, Dr.-Ing.
- CfP Extended Deadline: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017
Roussanka Loukanova
- CFP IJCCI 2017 - 9th Int.l Joint Conf. on Computational Intelligence (Funchal, Madeira/Portugal)
ijcci at insticc.info
- CiE 2017: call for informal presentations
CIE2017
- CiE 2017: call for participation
CIE2017
- CiE 2017: call for participation
CIE2017
- DeepLearn 2017: early registration April 21
GRLMC
- DL 2017 - Last Call for Papers
Geoff Sutcliffe
- ECCOMAS VipIMAGE 2017 - FINAL Deadline
VipIMAGE 2017
- European MSc in Computational Logic: Scholarships available
Enrico Franconi
- Extended Deadline 1/May, Call for Papers ALEA - Artificial Life and Evolutionary Algorithms
Sara Silva
- Extended Deadline: SASO 2017 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 18-22, Tucson, Arizona
Markus Esch
- First Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
Sven Linker
- Formal Methods in Computer-Aided Design - Call for Papers
Geoff Sutcliffe
- Formal Methods in Computer-Aided Design - Final Call for Papers
Geoff Sutcliffe
- FOSAD Summer School 2017: Foundations of Security Analysis and Design
Aldini, Alessandro
- IEEE CEC-2017, San Sebastian. Call for Participations
Roberto Santana Hermida
- Last call for papers: DARe at LPNMR'17
Ivan José Varzinczak
- Logic Colloquium 2017: 2nd Announcement and Call for Submissions and Participation
Roussanka Loukanova
- Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 **
Roussanka Loukanova
- Logic in Stockholm 2017: Call for Submissions and Participation
Roussanka Loukanova
- LOPSTR 2017: 1st Call for Papers
John Patrick Gallagher
- MFCS 2017: Second Call for Papers
Giorgio Bacci
- NLS 2017: Third Nordic Logic Summer School (NLS) 2017: Call for Participation and Registration
Roussanka Loukanova
- PRIMA 2017 - Second CFP - 20th International Conference on Principles and Practice of Multi-Agent Systems
Joao Leite
- Program Semantics, Specification and Verification PSSV-2017: new dates and venue.
Shilov Nikolay
- RuleML+RR 2017: International Joint Conference on Rules and Reasoning, London 12-15 July 2017
Giovanni De Gasperis
- Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Sam Owre
- SLSP 2017: 1st call for papers
GRLMC
- SLSP 2017: 2nd call for papers
GRLMC
- SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May
Christoph Wintersteiger
- Summer School on Verification Technology
Geoff Sutcliffe
- TABLEAUX 2017 - Deadline Extension
Geoff Sutcliffe
- TABLEAUX 2017 DEADLINE REMINDER
Renate Schmidt
- TIME 2017 - Final Call for Papers
Jef Wijsen
- TIME 2017 Final call for papers
Stéphane DEMRI
- Twelfth Madrid UPM Advanced Statistics and Data Mining Summer School (June 26th - July 7th, 2017) - Early registration reminder
asdm at fi.upm.es
- VSTTE 2017 - Deadline Extension
Andrei Paskevich
- VSTTE 2017 - Second Call for Papers
Andrei Paskevich
Datum der letzten Nachricht:
Fr Apr 28 21:37:03 CEST 2017
Archiviert in: Mi Nov 20 14:54:29 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.