Februar 2018 Archiv nach Diskussionsfaden
Von: Fr Feb 2 05:39:30 CET 2018
Bis: Mi Feb 28 23:53:13 CET 2018
Nachrichten: 46
- HighPer 2018: early registration February 12
GRLMC
- LOFT final CFP (deadline March 1)
Van Der Hoek, Wiebe
- 2nd Call for Papers: RuleML+RR 2018
Amal TAWAKULI
- Last call: Special issue of IJAR on Defeasible and Ampliative Reasoning
Ivan José Varzinczak
- 25th WoLLIC 2018 (Bogotá, Colombia) - 2nd Call for Papers
Ruy de Queiroz
- ATVA 2018: International Symposium on Automated Technology for Verification and Analysis
Chao Wang
- WST 2018 - 1st Call for Papers (submission: April 15, 2018)
Salvador Lucas
- IfCoLog JLA - Reasoning on Legal Texts
geoff at cs.miami.edu
- FMCAD 2018 - Call for Papers
geoff at cs.miami.edu
- ** 3-MONTH REMINDER ** KR 2018 Call for Papers
Marcello Balduccini
- REMINDER: KR 2018 Doctoral Consortium Call for Papers
Marcello Balduccini
- TSD 2018 - First Call for Papers
TSD 2018
- CFP: ESORICS 2018, 23rd European Symposium on Research in Computer Security
Rodrigo Roman
- AlCoB 2018: extended submission deadline February 18
GRLMC
- corrected CFP for special issue of JoLLI on Logical Aspects of Multi-Agent Systems
Natasha Alechina
- DIMVA 2018: CfP deadline approaching!
Manolis Stamatogiannakis
- ACAI 2018 Summer School on Statistical Relational Artificial Intelligence
Fabrizo Riguzzi
- CfP: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18)
Roussanka Loukanova
- Special Issue of the Journal of Applied Ontology "Meaning in Context: ontologically and linguistically motivated representations of objects and events."
daniele radicioni
- EXTENDED DEADLINE: International Conference on Logic Programming 2018
Enrico Pontelli
- DeepLearn 2018: early registration February 14
GRLMC
- CFP: IfCoLog Journal of Logics and their Applications - Special issue "Reasoning on Legal Texts"
Vanina Martinez
- Research and teaching assistant position (PhD or Postdoc level) in Formal Methods and Theoretical Computer Science
Viorica Sofronie-Stokkermans
- SAT/SMT/AR Summer School 2018
geoff at cs.miami.edu
- [CfP] 10th International Conference on Formal Ontology in Information Systems (FOIS 2018), September 17-21, 2018, Cape Town, South Africa
Karl Hammar
- [CFP] Call for Workshop and Tutorial Proposals, JOWO @ FOIS 2018 Cape Town
Karl Hammar
- 25th AUTOMATED REASONING WORKSHOP 2018
geoff at cs.miami.edu
- DEON 2018 Extended deadline
Gabriella PIGOZZI
- LOPSTR 2018 2nd CFP
Fred Mesnard
- TIME 2018 first call for papers
Natasha Alechina
- RuleML+RR 2018 SECOND CALL FOR PAPERS
geoff at cs.miami.edu
- IT Track, due 15 March: Submitting to IEEE Xplore/Scopus/EI Compendex/ISI 2018/2/20 9:32:29 kfhl1u
Prof Sun
- Special Issue on Commonsense Reasoning - Call for Papers
geoff at cs.miami.edu
- [jobs] Postdoctoral position in intelligent user profiling at IMT Lille Douai, France
Marin Lujak
- [CfP] PLP 2017- IJAR Special issue * deadline approaching *
Riccardo Zese
- VerifyThis 2018: Call for Problems and First Announcement
Andrei Paskevich
- SR18: Call for contributions (6th International Workshop on Strategic Reasoning, 7-8 July 2018, Oxford, UK)
Wojtek Jamroga
- SLSP 2018: 1st call for papers
GRLMC
- MESS 2018 - from Design to Implementation - Last News - Taormina, Italy, 21-25 July 2018
Mario Pavone
- AISC 2018 Call for Papers
geoff at cs.miami.edu
- CFP: PLP 2018 - Probabilistic Logic Programming Workshop 2018
Elena Bellodi
- EKAW 2018 : Call for workshops and tutorials
Cassia TROJAHN
- EKAW 2018 : First call for research, in-use, and position papers
Cassia TROJAHN
- LOFT2018: New deadline 8th of March
Van Der Hoek, Wiebe
Datum der letzten Nachricht:
Mi Feb 28 23:53:13 CET 2018
Archiviert in: Mi Nov 20 14:54:29 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.