2020 Archives by thread
Starting: Wed Jan 1 10:30:27 CET 2020
Ending: Mon Nov 9 15:57:41 CET 2020
Messages: 91
- [loginf] WST 2020 Call for Papers
Samir Genaim
- [loginf] AlCoB 2020: call for posters
IRDTA
- [loginf] ACKERMANN AWARD 2020: CALL FOR NOMINATIONS
Thomas Schwentick
- [loginf] DeepLearn 2020: early registration January 26
IRDTA
- [loginf] CfP: The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'20)
Matthias Thimm
- [loginf] KR 2020: call for workshop and tutorial proposals
Renata Wassermann
- [loginf] Call for Papers: International Joint Conference on Rules and Reasoning (RuleML+RR) 2020
Jean Jung
- [loginf] LATA 2020: call for participation
IRDTA
- [loginf] DeepLearn 2020: early registration February 25
IRDTA
- [loginf] CFP: SAFA2020 Workshop @COMMA2020
Sarah Gaggl
- [loginf] COMMA 2020 - SECOND CALL FOR PAPERS AND DEMONSTRATIONS
Carlo Taticchi
- [loginf] The Future of Online Discussions – #FoOD2020
Christian Meter
- [loginf] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers
Serge Autexier
- [loginf] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning
Claudio Sacerdoti Coen
- [loginf] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California
Natarajan Shankar
- [loginf] SLSP 2020: 1st call for papers
IRDTA
- [loginf] PhD and PostDoc positions at TU Wien (Austria)
Mantas Simkus
- [loginf] PPDP 2020 Call For Papers
Andreas Abel
- [loginf] PPDP 2020 Call For Papers (corrected link)
Andreas Abel
- [loginf] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020
Serge Autexier
- [loginf] WST 2020 - 2nd Call for Papers
Samir Genaim
- [loginf] DeepLearn 2020: early registration March 26
IRDTA
- [loginf] Submission to COMMA 2020 open - statement on coronavirus situation
Carlo Taticchi
- [loginf] SLSP 2020: 2nd call for papers
IRDTA
- [loginf] COMMA 2020 FINAL CFP - extended submission deadline 8 May
Carlo Taticchi
- [loginf] CfP: Workshop on “Explainable Logic-Based Knowledge Representation” (XLoKR 2020) in conjunction with KR 2020
Francesco Kriegel
- [loginf] LFMTP 2020 CFP (UPDATES due to Coronavirus)
Claudio Sacerdoti Coen
- [loginf] Certified Programs and Proofs (CPP) 2021: First Call for Papers
Andrei Popescu
- [loginf] FCR-2020: 6th Workshop on Formal and Cognitive Reasoning - 1st CfP
Frieder Stolzenburg
- [loginf] Ergebnis der Wahl zur Fachgruppenleitung
Martin Lange
- [loginf] BigDat 2020 Autumn: early registration May 9
IRDTA
- [loginf] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)
Claudio Sacerdoti Coen
- [loginf] Call for Papers on Weighted Automata
Manfred Droste
- [loginf] PPDP 2020 Final call for papers
Andreas Abel
- [loginf] PPDP 2020 deadline extension
Andreas Abel
- [loginf] Termination and Complexity Competition 2020: Call for Participation
Juergen Giesl
- [loginf] TPNC 2020: 1st call for papers
IRDTA
- [loginf] BigDat 2020 Autumn: early registration June 2
IRDTA
- [loginf] CfP SAFA2020
Sarah Gaggl
- [loginf] SLSP 2020: extended submission deadline June 8
IRDTA
- [loginf] FCR-2020: 6th Workshop on Formal and Cognitive Reasoning - 2nd CfP
Frieder Stolzenburg
- [loginf] TPNC 2020: 2nd call for papers
IRDTA
- [loginf] Termination and Complexity Competition 2020: Second Call for Participation (Deadline June 19)
Juergen Giesl
- [loginf] SLSP 2020: call for posters
IRDTA
- [loginf] COMMA 2020
Carlo Taticchi
- [loginf] SSA 2020 - ONLINE
Carlo Taticchi
- [loginf] LFMTP2020 Call for Participation
Claudio Sacerdoti Coen
- [loginf] BigDat 2020 Autumn: early registration June 26
IRDTA
- [loginf] TPNC 2020: 3rd call for papers
IRDTA
- [loginf] CfP SAFA2020 deadline extension
Sarah Gaggl
- [loginf] WFLP 2020: Deadline Extension
Claudio Sacerdoti Coen
- [loginf] FCR-2020: 6th Workshop on Formal and Cognitive Reasoning - last CfP; deadline extension; fully virtual event
Frieder Stolzenburg
- [loginf] DeepLearn 2021 Winter: early registration July 28
IRDTA
- [loginf] CICM 2020, July 26-31: Call for Online Participation
Serge Autexier
- [loginf] BigDat 2020 Autumn: early registration July 20
IRDTA
- [loginf] TPNC 2020: extended submission deadline August 1st
IRDTA
- [loginf] LATA 2020 & 2021: 1st call for papers
IRDTA
- [loginf] Call for Participation: Workshop on “Explainable Logic-Based Knowledge Representation” (XLoKR 2020) in conjunction with KR 2020
Francesco Kriegel
- [loginf] DeepLearn 2021 Winter: early registration August 21
IRDTA
- [loginf] Hilbert-Bernays Summer School on Logic and Computation, October 12-16, 2020 (online)
Reinhard Kahle
- [loginf] Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Andrei Popescu
- [loginf] TPNC 2020: call for posters
IRDTA
- [loginf] BOPL / PPDP 2020 call for participation (register until 3 Sep)
Andreas Abel
- [loginf] LFMTP 2020 Post-Proceedings: Call for Papers
Claudio Sacerdoti Coen
- [loginf] DeepLearn 2021 Winter: early registration September 14
IRDTA
- [loginf] LATA 2020 & 2021: 2nd call for papers
IRDTA
- [loginf] BigDat 2021 Spring: early registration October 15
IRDTA
- [loginf] AlCoB 2020 & 2021: 1st call for papers
IRDTA
- [loginf] [CfP] PADL 2021: Practical Aspects of Declarative Languages
Jose F. Morales
- [loginf] LATA 2020 & 2021: 3rd call for papers
IRDTA
- [loginf] DeepLearn 2021 Winter: early registration October 8
IRDTA
- [loginf] LATA 2020 & 2021: extended submission deadline October 26
IRDTA
- [loginf] AlCoB 2020 & 2021: 2nd call for papers
IRDTA
- [loginf] BigDat 2021 Spring: early registration November 14
IRDTA
Last message date:
Mon Nov 9 15:57:41 CET 2020
Archived on: Wed Nov 11 09:23:43 CET 2020
This archive was generated by
Pipermail 0.09 (Mailman edition).