2019 Archives by thread

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

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] DeepLearn 2019: early registration February 2   IRDTA
• [loginf] Call for Papers: ARES 2019   res.mb.conference
  • [loginf] Call for Papers: ARES 2019   res.mb.conference
  • [loginf] Call for Papers: ARES 2019   res.mb.conference
  • [loginf] Call for Papers: ARES 2019   res.mb.conference
  • [loginf] Call for Papers: ARES 2019   res.mb.conference
  • [loginf] Call for Papers: ARES 2019   res.mb.conference
  • [loginf] Call for Papers: ARES 2019   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
  • [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
  • [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
  • [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
  • [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
  • [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
  • [loginf] Call for Papers: CD-MAKE 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] 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] AlCoB 2019: call for posters   IRDTA
  • [loginf] AlCoB 2019: call for posters   IRDTA
  • [loginf] AlCoB 2019: call for posters   IRDTA
• [loginf] CfP: DL 2019 (32nd International Workshop on Description Logics)   Mantas Simkus
  • [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] Deadline Extension - Call for Papers: CD-MAKE 2019   res.mb.conference
• [loginf] ARES 2019 - Call for Workshop Paper   res.mb.conference
  • [loginf] ARES 2019 - Call for Workshop Paper   res.mb.conference
  • [loginf] ARES 2019 - Call for Workshop Paper   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] 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] 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] SLSP 2019: call for posters   IRDTA
  • [loginf] SLSP 2019: call for posters   IRDTA
  • [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] 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] TPNC 2019: call for posters   IRDTA
  • [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] 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] AlCoB 2020: extended submission deadline December 9   IRDTA
• [loginf] BigDat 2020: early registration December 16   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] 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

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