Juni 2013 Archiv nach Diskussionsfaden
Von: Sa Jun 1 11:37:38 CEST 2013
Bis: So Jun 30 18:20:14 CEST 2013
Nachrichten: 38
- CFP: PT-AI 2013 - “Philosophy and Theory of Artificial Intelligence”, Oxford, 21-22.09.2013
Vincent C. Müller
- Final CFP: Norms and Normative Multi-Agent Systems at CLIMA XIV
Leon Van Der Torre
- CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013
Serge Autexier
- [Deadline extended: June 15] CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey
peterschueller at sabanciuniv.edu
- Call for demonstrations : SIGDIAL 2013 CONFERENCE : 22-24 August 2013 : Metz, France
Jason Williams (MSR)
- FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014,Vienna, Austria)
Stefan Szeider
- [WoMO13] 3rd CfP: 7th Int'l Workshop on Modular Ontologies (WoMO-13)
Chiara Del Vescovo
- Final CFP: 26th Australasian Joint Conference on Artificial Intelligence, 3-6 December, Dunedin, New Zealand
Brendon Woodford
- BioASQ challenge on biomedical IR, QA, summarization (task 1b) about to start
George Paliouras
- Call for Expression of Interest - WWTF Vienna Research Groups for Young Investigators
Thomas Krennwallner
- Last CFP SOCREAL 2013 [EXTENDED DEADLINE]: 3rd International Workshop on Philosophy and Ethics of Social Reality, Sapporo, Japan
Thomas Ågotnes
- final CfP ASPOCP 2013 (abstract due today): 6th Workshop on Answer Set Programming and Other Computing Paradigms
Yuliya Lierler
- Third CFP: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems
Nils Bulling
- KI 2013: Workshop on Visual and Spatial Cognition - 2nd CfP
Frieder Stolzenburg
- CFP : ONTOBRAS - 6th Brazilian Conference on Ontologies
Renata Wassermann
- CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct)
Christoph LANGE
- Call for Papers: Logic Based Program Synthesis and Transformation (LOPSTR'13) in Madrid (deadline extended)
Gopal Gupta
- CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
Aleksy Schubert
- SSTiC 2013: next registration deadline 26 June
GRLMC
- CFP: 5th International ACM Conference on Management of Emergent Digital EcoSystems (MEDES'13), Luxembourg
Youakim Badr
- [CfP] 2nd Int Workshop on Ordering and Reasoning (OrdRing2013) @ISWC2013
Markus Krötzsch
- 1st Call for Proposals: NASSLLI 2014 / North American Summer School in Logic, Language and Information
Patricia Rich
- BioASQ workshop CfP
Axel Ngonga
- IEEE SASO Workshops: Call for Papers
SASO Publicity Chair
- TPNC 2013: 3rd call for papers
GRLMC
- Third CFP: CA*OS @ SASO 2013: Workshop on Computationally Adapted {laws | policies | norms} for self-Organising Systems (deadline: 11th July)
Tony Savarimuthu
- [JIST2013] Call For Papers
JIST2013
- evoMUSART 2014 - First Call For Papers
Juan Romero
- Deadline Approaching for ACM MEDES'13 :: Luxembourg
Youakim Badr
- Software Verification and Testing Track at ACM SAC 2014: 2nd CfP
Jun PANG
- Research Position in Logics and Formal Methods (TU Clausthal, Germany)
Nils Bulling
- 2nd CfP ARCOE-LogIC 2013: Acquisition, Representation and Reasoning with Contextualized Knowledge
Michael Fink
- Final call for demonstrations : SIGDIAL 2013 CONFERENCE : 22-24 August 2013 : Metz, France
Jason Williams (MSR)
- Deadline Extension: LNMR 2013 - 1st Int. Workshop on Learning and Nonmonotonic Reasoning
Chiaki Sakama
- Final CFP: Workshop on Natural Language Processing and Automated Reasoning @ LPNMR'2013, A Corunna, Spain
peterschueller at sabanciuniv.edu
- SSTiC 2013: last call
GRLMC
- AI 2013 CFP: Due Date July 21, 2013 (Extended
Brendon Woodford
- Final CfP: 7th Int'l Workshop on Modular Ontologies WoMO-13 --- DEADLINE EXTENDED ---
Chiara Del Vescovo
Datum der letzten Nachricht:
So Jun 30 18:20:14 CEST 2013
Archiviert in: Mi Nov 20 14:54:26 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.