März 2018 Archiv nach Betreff
Von: Do Mär 1 04:21:05 CET 2018
Bis: Sa Mär 31 21:39:43 CEST 2018
Nachrichten: 60
- 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE APPROACHING
Ruy de Queiroz
- 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE EXTENDED
Ruy de Queiroz
- [AAMAS18] - FINAL CALL - Call for Exhibition
Jordi Sabater-Mir
- [CfP] Deadline approaching! PLP 2017- IJAR Special issue
Riccardo Zese
- [CfP] Deadline extended! PLP 2017- IJAR Special issue
Riccardo Zese
- [Meetings] MESS 2018 - from Design to Implementation - Taormina, Italy, 21-25 July 2018
Mario Pavone
- ACAI 2018 Summer School on Statistical Relational Artificial Intelligence
Fabrizo Riguzzi
- AlCoB 2018: call for posters
IRDTA
- Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018
Nicolas Schwind
- Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
Christoph Lüth
- Call for papers: Fun With Formal Methods workshop (affiliated with FLOC-2018)
Shilov Nikolay
- Call for Participation for the Doctoral Consortium at the KI 2018
Johannes Fähndrich
- CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA
Michael Kohlhase
- CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security
Rodrigo Roman
- CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security
Rodrigo Roman
- CFP: Formal Methods for Intelligent Systems @ ISMIS 2018
Marco Roveri
- CFP: Fourth Workshop on Bridging the Gap between Human and Automated Reasoning
Claudia Schon
- CfP: LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm
Roussanka Loukanova
- CFP: Springer IJIS, Special Issue on "IoT Security and Privacy"
Rodrigo Roman
- CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)
Shilov Nikolay
- CFP IJCCI 2018 - 10th Int.l Joint Conf. on Computational Intelligence (Seville/Spain)
ijcci at insticc.info
- CfP Key Enabling Technologies for Virtual Factories (KET4VF)
gcabri at unimore.it
- CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP
Serge Autexier
- DEADLINE APPROACHING - AiML 2018: FINAL CALL FOR PAPERS
Thomas Studer
- Deadline Extension: EnWoT 2018 at ICWE (with Journal Special Issues)
Marina Mongiello
- DeepLearn 2018: early registration March 12
GRLMC
- Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018
Natarajan Shankar
- Final Call for Papers: Controlled Natural Language (CNL2018) 15 April 2018
Wyner, Adam Zachary
- FMICS 2018 -- Call for Papers
Jiří Barnat
- FMLAMAS 2018 call for abstracts
Riccardo De Masellis
- Fwd: Last CFP deadline 9 Apr - 6 Special Issues - Conference IEEE - ICBEA - 9-12 July 2018 Madeira, Portugal
Morgado Dias
- HighPer 2018: early registration March 30
IRDTA
- HighPer 2018: early registration March 7
GRLMC
- I: [CFP] Second International Workshop on Engineering the Web of Things (EnWoT 2018)
Francesco Nocera
- ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA
Michael Kohlhase
- KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED **
Marcello Balduccini
- Last Call For Papers-deadlines in less than a month
Amal TAWAKULI
- LATA 2018: call for participation
IRDTA
- Logic Colloquium 2018 (LC18): 2nd call for contributions
Dario Della Monica
- LOPSTR 2018: Second Final Call for Papers
Fred Mesnard
- LOPSTR 2018 Final CFP
Fred Mesnard
- Microservices: Science and Engineering - Workshop CFP @ STAF 2018
Antonio Bucchiarone
- Multiple Positions at FAU Erlangen/Nürnberg
Michael Kohlhase
- PAAR 2018 - Call for Papers
geoff at cs.miami.edu
- PhD/Post-doc Positions on Program Analysis and Code Optimisation using Machine Learning at Uppsala University
Philipp Rümmer
- QBF 2018: Call for papers
HUBERT MING CHEN
- Reminder: Call for Papers for the 41st edition of the German Conference on Artificial Intelligence (KI2018)
Frank Trollmann
- Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
German Vidal
- Second call for workshop and tutorial proposals at KI 2018
Oezguer Oezcep
- SIAM SDM 2018 - Call for Participation (Early registration April 3rd)
SDM Publicity Chairs
- SLSP 2018: 2nd call for papers
IRDTA
- Text2Story at ECIR'18: Call for Participation - March 26th, Grenoble, France
Vitor Mangaravite
- Thirteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 25th - July 6th, 2018)
asdm at fi.upm.es
- TSD 2018 - Last Call for Papers, Deadline Extension
TSD 2018
- TSD 2018 - Second Call for Papers
TSD 2018
- Universal Logic School 2018 - Poster Session
UNILOG2018
- Universal Logic School 2018 - Poster Session
UNILOG 2018
- Verification and Deduction Mentoring Workshop 2018
geoff at cs.miami.edu
- VerifyThis 2018: Call for Participation and Travel Grants
Andrei Paskevich
- Workshop on Verification and Validation of Autonomous Systems, 18-19 July 2018 CFP
Clare Dixon
Datum der letzten Nachricht:
Sa Mär 31 21:39:43 CEST 2018
Archiviert in: Mi Nov 20 14:54:29 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.