2019 Archives by thread
Starting: Wed Jan 2 03:38:49 CET 2019
Ending: Tue Dec 31 11:16:17 CET 2019
Messages: 132
- [loginf] BigDat 2019: regular registration January 4
IRDTA
- [loginf] AlCoB 2019: submission deadline extended to January 19
IRDTA
- [loginf] CfP, 6th International Synthetic & Systems Biology Summer School - SSBSS 2019, Scuola Normale Superiore di Pisa, Tuscany, Italy July 22-26
Ludovico Montalcini
- [loginf] ACDL 2019, Advanced Course on Data Science & Machine Learning - Early Registration March 31
Ludovico Montalcini
- [loginf] Professorship in Theoretical Computer Science at LMU Munich
Ulrich Schöpp
- [loginf] CAI 2019 - Submission Deadline Extended
Manfred Droste
- [loginf] DeepLearn 2019: early registration February 2
IRDTA
- [loginf] Call for Papers: ARES 2019
res.mb.conference
- [loginf] Call for Papers: CD-MAKE 2019
res.mb.conference
- [loginf] FroCoS 2019 call for papers
Andreas HERZIG
- [loginf] FroCoS/TABLEAUX 2019 (London) joint call for workshops and tutorials -- extended deadline
Andreas HERZIG
- [loginf] Termination and Complexity Competition 2019: Call for Participation
Juergen Giesl
- [loginf] KI 2019 --- Joint Calls (Papers / Tutorials and Workshops / Doctoral Consortium)
Heiner Stuckenschmidt
- [loginf] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019
Natarajan Shankar
- [loginf] LATA 2019: call for participation
IRDTA
- [loginf] DeepLearn 2019: early registration March 2
IRDTA
- [loginf] CICM 2019, July 8-12: 2nd Call for Submissions
Serge Autexier
- [loginf] AlCoB 2019: call for posters
IRDTA
- [loginf] CfP: DL 2019 (32nd International Workshop on Description Logics)
Mantas Simkus
- [loginf] PhD and Postdoc Positions in Applied Cryptography, University of Stuttgart, Germany
Ralf Kuesters
- [loginf] 2nd CfP ECSQARU 2019
Gabriele Kern-Isberner
- [loginf] TABLEAUX 2019 (London) call for papers
Andreas Herzig
- [loginf] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers)
Serge Autexier
- [loginf] TARK 2019 call for papers
Moss, Larry
- [loginf] [CfP] 5th workshop on Bridging the Gap between Human and Automated Reasoning
Claudia Schon
- [loginf] Extended Submission Deadline - Call for Papers: ARES 2019
res.mb.conference
- [loginf] SLSP 2019: 1st call for papers
IRDTA
- [loginf] DeepLearn 2019: early registration March 30
IRDTA
- [loginf] Last Reminder: ARES 2019 - Extended Submission Deadline
res.mb.conference
- [loginf] Deadline Extension - Call for Papers: CD-MAKE 2019
res.mb.conference
- [loginf] ARES 2019 - Call for Workshop Paper
res.mb.conference
- [loginf] FroCoS 2019 (London): second call for papers
Andreas Herzig
- [loginf] TABLEAUX 2019 (London): second call for papers
Andreas Herzig
- [loginf] CfP for DKB/KIK 2019 - Workshop on *Formal and Cognitive Reasoning*
Frieder Stolzenburg
- [loginf] [CfP] 5th Workshop on Bridging the Gap between Human and Automated Reasoning (deadline extension)
Claudia Schon
- [loginf] SLSP 2019: 2nd call for papers
IRDTA
- [loginf] DeepLearn 2019: early registration April 27
IRDTA
- [loginf] 3rd CfP ECSQARU 2019
Gabriele Kern-Isberner
- [loginf] FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers
Andreas Herzig
- [loginf] TABLEAUX 2019 (London): DEADLINE EXTENSION and final call for papers
Andreas Herzig
- [loginf] SLSP 2019: 3rd call for papers
IRDTA
- [loginf] Final CfP ECSQARU 2019 -- extended deadlines: abstract May 6, paper May 13
Gabriele Kern-Isberner
- [loginf] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
Frédéric Blanqui
- [loginf] AlCoB 2019: call for participation
IRDTA
- [loginf] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation
Serge Autexier
- [loginf] TPNC 2019: 1st call for papers
IRDTA
- [loginf] 2nd CfP for DKB/KIK 2019 - Workshop on *Formal and Cognitive Reasoning*
Frieder Stolzenburg
- [loginf] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)
Dennis Müller
- [loginf] SLSP 2019: extended submission deadline June 8
IRDTA
- [loginf] DeepLearn 2019: early registration June 22
IRDTA
- [loginf] PhD/PostDoc Position in Knowledge Representation and Formal Argumentation at University of Koblenz-Landau
Matthias Thimm
- [loginf] TPNC 2019: 2nd call for papers
IRDTA
- [loginf] FoIKS 2020: preliminary CFP
Andreas HERZIG
- [loginf] SLSP 2019: call for posters
IRDTA
- [loginf] LOPSTR 2019: 3rd CFP
Tommaso Liu
- [loginf] DeepLearn 2019: regular registration July 19
IRDTA
- [loginf] Last CfP for DKB/KIK 2019 - Workshop on *Formal and Cognitive Reasoning* - Deadline Extension until July 15
Frieder Stolzenburg
- [loginf] TPNC 2019: 3rd call for papers
IRDTA
- [loginf] BigDat 2020: early registration August 13
IRDTA
- [loginf] TPNC 2019: extended submission deadline August 7
IRDTA
- [loginf] MFCS 2019: Call for Participation
Volk, Matthias
- [loginf] Researcher position at German Research Center for Artificial Intelligence
PD. Dr. Matthias Klusch
- [loginf] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals
Narciso Martí Oliet
- [loginf] TPNC 2019: call for posters
IRDTA
- [loginf] CFP: FoIKS 2020
Kontinen, Juha A
- [loginf] LATA 2020: 1st call for papers
IRDTA
- [loginf] Jahrestagung der GI Fachgruppe "Logik in der Informatik
Olaf Beyersdorff
- [loginf] BigDat 2020: early registration September 7
IRDTA
- [loginf] LATA 2020: 2nd call for papers
IRDTA
- [loginf] FoIKS 2020 deadline extension and final call for papers
Andreas HERZIG
- [loginf] Call for Papers: CONFENIS 2019 / International Conference on Research and Practical Issues of Enterprise Information Systems / Dec 16-17th 2019 / Prague, Czech Republic
E188.office-asea-uninet
- [loginf] Workshop 'Logic in Computer Science' in Jena 21-22 October
Olaf Beyersdorff
- [loginf] BigDat 2020: early registration October 2
IRDTA
- [loginf] CfC: Special Issue on Ontologies and Data Management, German AI Journal (KI)
Thomas Schneider
- [loginf] SLSP 2019: call for participation
IRDTA
- [loginf] LATA 2020: 3rd call for papers
IRDTA
- [loginf] AlCoB 2020: 1st call for papers
IRDTA
- [loginf] Jahrestagung der GI Fachgruppe "Logik in der Informatik" in Jena am 21./22. Oktober
Olaf Beyersdorff
- [loginf] LATA 2020: extended submission deadline October 26
IRDTA
- [loginf] PhD position in formal methods for learning tools at the University of Kassel
Martin Lange
- [loginf] BigDat 2020: early registration October 27
IRDTA
- [loginf] KR2020: preliminary call for workshop and tutorial proposals
Anni-Yasmin Turhan
- [loginf] unsubscribe
Jens-D. Doll
- [loginf] TPNC 2019: call for participation
IRDTA
- [loginf] WATA 2020 @ Marseille, France : First call for participation
Manfred Droste
- [loginf] Aufruf zur Kandidatennennung für die Wahl zur Fachgruppenleitung
Martin Lange
- [loginf] AlCoB 2020: 2nd call for papers
IRDTA
- [loginf] BigDat 2020: early registration November 21
IRDTA
- [loginf] ICALP-LICS 2020 Call for Workshops
Frédéric Blanqui
- [loginf] AlCoB 2020: 3rd call for papers
IRDTA
- [loginf] AlCoB 2020: extended submission deadline December 9
IRDTA
- [loginf] BigDat 2020: early registration December 16
IRDTA
- [loginf] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals
Serge Autexier
- [loginf] DeepLearn 2020: early registration December 27
IRDTA
- [loginf] KR 2020: call for workshop and tutorial proposals
Anni-Yasmin Turhan
- [loginf] AlCoB 2020: call for posters
IRDTA
- [loginf] BigDat 2020: regular registration January 10
IRDTA
Last message date:
Tue Dec 31 11:16:17 CET 2019
Archived on: Tue Dec 31 12:20:15 CET 2019
This archive was generated by
Pipermail 0.09 (Mailman edition).