Oktober 2016 Archiv nach Datum
Von: Sa Okt 1 03:18:24 CEST 2016
Bis: Mo Okt 31 21:10:42 CET 2016
Nachrichten: 34
- LATA 2017: 3rd call for papers
GRLMC
- CFP: AAAI Workshop on AI for Smart Grids and Smart Buildings (AISGSB 17)
Enrico Pontelli
- 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Papers
Announce Announcements
- DARS 2016 - Full Program Published (Call for Participation)
Roderich Gross
- 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Papers
Announce Announcements
- Research and teaching assistant position (PhD or Postdoc level) in Formal Methods and Theoretical Computer Science
Viorica Sofronie-Stokkermans
- CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, July 3-5, 2017
Peter Schüller
- DL 2017, Call for Papers
Geoff Sutcliffe
- 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Workshop Proposals
Announce Announcements
- TPNC 2016: call for posters
GRLMC
- [CfP] EvoROBOT 2017 2nd Call for Papers
Evert Haasdijk
- PhD and Postdoc positions available at AASS, Örebro University, Sweden
Martin Magnusson
- AI Communications: Special Issue on Automated Reasoning
Geoff Sutcliffe
- BigDat 2017: early registration October 21
GRLMC
- 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Doctoral Consortium
Announce Announcements
- 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Tutorial Proposals
Announce Announcements
- FSEN 2017: Final Call for Papers
Dastani, M.M. (Mehdi)
- [CfP: Submission open] IEA/AIE 2017: Special Track on Applications of Argumentation
Richard Booth
- SMC-IT'17 FIRST CALL FOR PAPERS
Rodríguez Moreno M. Dolores
- CSL 2017 Call for Workshop Proposals
Dilian Gurov
- FM 2016: 21st International Symposium on Formal Methods -- Call for Participation
Announce Announcements
- VipIMAGE 2017 - ANNOUNCEMENT & CALL FOR CONTRIBUTIONS
VipIMAGE 2017
- TARK 2017 call for papers
Van Der Hoek, Wiebe
- Artificial Intelligence and Theorem Proving - Call for Papers
Geoff Sutcliffe
- [DEADLINE EXTENSION] AAAI Workshop on AI for Smart Grids and Smart Buildings 2017
Enrico Pontelli
- LATA 2017: extended submission deadline October 28
GRLMC
- 24th WoLLIC 2017 - Call for Papers
Ruy de Queiroz
- 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): First Call for Demos and Posters
Announce Announcements
- TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
Ferdinando Fioretto
- TABLEAUX/FroCoS/ITP Call for Papers
Geoff Sutcliffe
- TPNC 2016: 2nd call for posters
GRLMC
- [CfP] EvoROBOT 2017 Deadline Extension
Evert Haasdijk
- Deadline Extension - EvoMusArt 2017
João Correia
- CADE-26 Call for Workshops, Tutorials, System Competition, and Papers
Geoff Sutcliffe
Datum der letzten Nachricht:
Mo Okt 31 21:10:42 CET 2016
Archiviert in: Mi Nov 20 14:54:28 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.