2020 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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] AlCoB 2020: call for posters   IRDTA
  • [loginf] AlCoB 2020: call for posters   IRDTA
  • [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] 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] SLSP 2020: 1st call for papers   IRDTA
  • [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] 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] CfP: Workshop on “Explainable Logic-Based Knowledge Representation” (XLoKR 2020) in conjunction with KR 2020   Francesco Kriegel
    • [loginf] *Extended Deadline* 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] Ergebnis der Wahl zur Fachgruppenleitung   Olaf Beyersdorff
• [loginf] BigDat 2020 Autumn: early registration May 9   IRDTA
  • [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] SLSP 2020: call for posters   IRDTA
  • [loginf] SLSP 2020: call for posters   IRDTA
• [loginf] COMMA 2020   Carlo Taticchi
• [loginf] SSA 2020 - ONLINE   Carlo Taticchi
  • [loginf] CANTEMIST shared task: Cancer text mining, named entity recognition and clinical coding (IberLEF2020)   Martin Krallinger
• [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] 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] 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] 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

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...