2018 Archives by date

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

Starting: Thu Jan 4 03:30:02 CET 2018
Ending: Mon Dec 24 23:28:49 CET 2018
Messages: 191

• [loginf] BigDat 2018: regular registration January 19   GRLMC
• [loginf] Second call for submissions: PhDs in Logic X, Prague, Czech Republic, 1st - 4th May 2018   PhDs in Logic Graduate Conference
• [loginf] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)   John Patrick Gallagher
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] HighPer 2018: early registration January 20   GRLMC
• [loginf] CICM 2018: Call for Papers, Workshops & Tutorials   Serge Autexier
• [loginf] WADT 2018 – 1st Call for Papers   Ionut Tutu
• [loginf] Ackermann Award 2018   Reinhard Kahle
• [loginf] AlCoB 2018: 3rd call for papers   GRLMC
• [loginf] CONFENIS 2018 - Enterprise Information Systems - Call for Papers   Detter Katrin
• [loginf] CFP: KI2018 -- German AI conference (first call)   Anni-Yasmin Turhan
• [loginf] [Call for Proposal] First call for workshop and tutorial proposals at KI 2018   Oezguer Oezcep
• [loginf] Extended deadline for submissions: PhDs in Logic X, Prague, Czech Republic, 1st - 4th May 2018   PhDs in Logic Graduate Conference
• [loginf] The 2018 Alonzo Church Award: Call for Nominations   Reinhard Kahle
• [loginf] PPDP 2018: First Call for Papers   David Sabel
• [loginf] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation   John Patrick Gallagher
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [loginf] DeepLearn 2018: early registration February 14   GRLMC
• [loginf] HighPer 2018: early registration February 12   GRLMC
• [loginf] WST 2018 - 1st Call for Papers (submission: April 15, 2018)   Salvador Lucas
• [loginf] 1st CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: March 31, 2018   Ludovico Montalcini
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] CONFENIS 2018 - Enterprise Information Systems - Call for Papers   IFIP-WCC
• [loginf] AlCoB 2018: extended submission deadline February 18   GRLMC
• [loginf] Acht Doktorandenstellen   Franz Baader
• [loginf] DeepLearn 2018: early registration February 14   GRLMC
• [loginf] CfP - 2nd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018)   Matthias Thimm
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] DL 2018 - Call for Papers   Thomas Schneider
• [loginf] LOPSTR 2018 2nd CFP   Fred Mesnard
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Wiss. MA-Stelle Wissensbasierte Systeme   Christoph Beierle
• [loginf] SLSP 2018: 1st call for papers   GRLMC
• [loginf] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018   Natarajan Shankar
• [loginf] HighPer 2018: early registration March 7   GRLMC
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] DeepLearn 2018: early registration March 12   GRLMC
• [loginf] LATA 2018: call for participation   IRDTA
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] Call for Papers: ARES 2018   res.mb.conference
• [loginf] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [loginf] Call for Papers CONFENIS 2018 // International Conference on Enterprise Information Systems // September 18-20, 2018 Poznan, POLAND   Detter, Katrin
• [loginf] Call for Papers: ARES 2018, Deadline Extension   res.mb.conference
• [loginf] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP   Serge Autexier
• [loginf] AlCoB 2018: call for posters   IRDTA
• [loginf] LOPSTR 2018 Final CFP   Fred Mesnard
• [loginf] Call for Papers CONFENIS 2018 // International Conference on Enterprise Information Systems // September 18-20, 2018 Poznan, POLAND   Detter, Katrin
• [loginf] Call fo papers: PRUV workshop @ IJCAR / FLoC   Anni-Yasmin Turhan
• [loginf] Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt   Heiko Mantel
• [loginf] Call for Papers: ARES 2018, Deadline Extension   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] WPTE 2018 Call for Papers   Joachim Niehren
• [loginf] WPTE 2018 Call for Papers   Joachim Niehren
• [loginf] WPTE 2018 Call for Papers   Joachim Niehren
• [loginf] SLSP 2018: 2nd call for papers   IRDTA
• [loginf] CFP II: German AI conference   Anni-Yasmin Turhan
• [loginf] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018   Marco Roveri
• [loginf] Call for Papers CONFENIS 2018 // International Conference on Enterprise Information Systems // September 18-20, 2018 Poznan, POLAND   E188.office-asea-uninet
• [loginf] Call for Papers: ARES 2018, Deadline Extension   res.mb.conference
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] CFP: Fourth Workshop on Bridging the Gap between Human and Automated Reasoning   Claudia Schon
• [loginf] HighPer 2018: early registration March 30   IRDTA
• [loginf] LOPSTR 2018: Second Final Call for Papers   Fred Mesnard
• [loginf] WADT 2018 - 2nd Call for Papers   WADT 2018
• [loginf] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018   Nicolas Schwind
• [loginf] DeepLearn 2018: early registration April 7   IRDTA
• [loginf] WST 2018 - 2nd Call for Papers (submission: April 15, 2018)   Salvador Lucas
• [loginf] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)   German Vidal
• [loginf] PPDP 2018: Second Call for Papers   David Sabel
• [loginf] CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming   John Patrick Gallagher
• [loginf] Call for Papers CONFENIS 2018 // International Conference on Enterprise Information Systems // September 18-20, 2018 Poznan, POLAND   IFIP-WCC
• [loginf] CICM 2018, final CfP, Abstract submission deadline April 15, 2018   Serge Autexier
• [loginf] DL 2018 - 2nd Call for Papers   Thomas Schneider
• [loginf] AlCoB 2018: call for posters   IRDTA
• [loginf] Call for Papers: CD-MAKE 2018   res.mb.conference
• [loginf] WST 2018 - Call for Papers (extended deadline: April 30, 2018)   Salvador Lucas
• [loginf] cfp: PRUV workshop @ IJCAR / FLoC -- deadline extension!   Anni-Yasmin Turhan
• [loginf] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [loginf] Internet of Everything (IoE 2018)   ijwa at dline.info
• [loginf] WPTE 2018: Deadline extension to April 29, 2018   Joachim Niehren
• [loginf] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)   Serge Autexier
• [loginf] Call for Participation for the Doctoral Consortium at the KI 2018   Johannes Fähndrich
• [loginf] Call for Papers CONFENIS 2018 // International Conference on Enterprise Information Systems // September 18-20, 2018 Poznan, POLAND   IFIP-WCC
• [loginf] 3rd cfp: KI2018 -- 41st German Conference on Artificial Intelligence   Anni-Yasmin Turhan
• [loginf] WADT 2018 - 3rd Call for Papers & Leverhulme School   WADT 2018
• [loginf] SLSP 2018: 3rd call for papers   IRDTA
• [loginf] CfP: 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018)   Matthias Thimm
• [loginf] PPDP 2018: Deadline Extension!   David Sabel
• [loginf] WST 2018 - Last Call for Papers (deadline: April 30, 2018)   Salvador Lucas
• [loginf] DeepLearn 2018: early registration May 3   IRDTA
• [loginf] Bridging 2018: Deadline Extension   Claudia Schon
• [loginf] WADT 2018 - Extension to abstract submission deadline!   WADT 2018
• [loginf] Deadline extension: 41st edition of the German Conference on Artificial Intelligence (KI2018)   Anni-Yasmin Turhan
• [loginf] CfP - 2nd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018)   Matthias Thimm
• [loginf] TPNC 2018: 1st call for papers   IRDTA
• [loginf] Call for Papers: CD-MAKE 2018, Deadline extended until May 7   res.mb.conference
• [loginf] Second round call for papers: LOPSTR 2018   Peter James Stuckey
• [loginf] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: May 15, 2018   Giuseppe Nicosia
• [loginf] 2 Professor positions at TU Dresden   Manuel Bodirsky
• [loginf] Preliminary call: Special Session on Resource-aware Semantic Technologies (at JIST'18)   Anni-Yasmin Turhan
• [loginf] Termination and Complexity Competition 2018: Call for Participation   Juergen Giesl
• [loginf] DL 2018 - 3rd Call for Papers, extended deadlines   Thomas Schneider
• [loginf] AlCoB 2018: call for posters   IRDTA
• [loginf] WADT 2018 & Leverhulme School - New extension to abstract submission deadline!   WADT 2018
• [loginf] DeepLearn 2018: early registration May 29   IRDTA
• [loginf] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018)   Umair Siddique
• [loginf] LOPSTR 2018: Second Round Call for Papers   Fred Mesnard
• [loginf] SLSP 2018: extended submission deadline June 3   IRDTA
• [loginf] CfP: 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018)   Matthias Thimm
• [loginf] [Second Call for Papers] Formal Verification of Physical Systems (FVPS 2018)   Umair Siddique
• [loginf] TPNC 2018: 1st call for papers   IRDTA
• [loginf] CfP: KI Journal Special Issue on "Intentional Forgetting"   Christoph Beierle
• [loginf] WST 2018 - Call for Participation (July 18-19, 2018)   Salvador Lucas
• [loginf] 100 Years of Model Theory - Summer School   Martin Mundhenk
• [loginf] AlCoB 2018: call for participation   IRDTA
• [loginf] Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis   Heiko Mantel
• [loginf] Call for Participation - ARES & CD-MAKE 2018   res.mb.conference
• [loginf] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018)   Umair Siddique
• [loginf] Deadline Extension: Termination and Complexity Competition 2018   Juergen Giesl
• [loginf] Final CfP: 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018)   Matthias Thimm
• [loginf] LOPSTR 2018: Second Round Final Call for Papers   Fred Mesnard
• [loginf] DeepLearn 2018: early registration June 24   IRDTA
• [loginf] 2nd Call for Papers [deadline July 1st] - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018   Nicolas Schwind
• [loginf] CfP Hybrid Reasoning and Learning @ KR2018   Gabriele Kern-Isberner
• [loginf] Final CfP - 2nd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018)   Matthias Thimm
• [loginf] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18)   Dennis Müller
• [loginf] TPNC 2018: 2nd call for papers   IRDTA
• [loginf] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial   Serge Autexier
• [loginf] DL 2018 - Final Call for Papers   Thomas Schneider
• [loginf] CfP - 2nd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018) - Deadline extension July 6   Matthias Thimm
• [loginf] DeepLearn 2018: regular registration July 20   IRDTA
• [loginf] PPDP 2018: Call for Participation   David Sabel
• [loginf] SLSP 2018: call for posters   IRDTA
• [loginf] BigDat 2019: early registration July 26   IRDTA
• [loginf] DL 2018 - Extended Deadlines (21 and 28 July)   Thomas Schneider
• [loginf] Call for papers: Special Session on Resource-aware Semantic Technologies (at JIST'18)   Anni-Yasmin Turhan
• [loginf] TPNC 2018: extended submission deadline August 5   IRDTA
• [loginf] SLSP 2018: call for posters   IRDTA
• [loginf] BigDat 2019: early registration August 22   IRDTA
• [loginf] Call for Papers: Special Issue on Blockchain Technology PMC   res.mb.conference
• [loginf] [Publicity] Call for Participation: 11th Conference on Intelligent Computer Mathematics   Tanja Gutenbrunner
• [loginf] PPDP | LOPSTR | WFLP 2018 Common Call for Participation   David Sabel
• [loginf] SLSP 2018: call for posters   IRDTA
• [loginf] Call for Papers: ROOTS   res.mb.conference
• [loginf] Call for Papers for special issue on "Weighted Automata: Theory and Automata"   Manfred Droste
• [loginf] Call for Participation: 41st edition of the German Conference on Artificial Intelligence (KI2018)   Frank Trollmann
• [loginf] Möglichkeit der Promotion   Dietrich Kuske
• [loginf] CfP: KI Special Issue "Cognitive Reasoning"   Frieder Stolzenburg
• [loginf] BigDat 2019: early registration August 22   IRDTA
• [loginf] Two phd/post-doc positions: FORMALIZATION AND VERIFICATION OF TRAFFIC RULES FOR AUTOMATED VEHICLES   Tobias Nipkow
• [loginf] BigDat 2019: early registration September 18   IRDTA
• [loginf] SLSP 2018: poster submission deadline September 8   IRDTA
• [loginf] LATA 2019: 1st call for papers   IRDTA
• [loginf] SLSP 2018: call for participation   IRDTA
• [loginf] BigDat 2019: early registration October 15   IRDTA
• [loginf] LATA 2019: 2nd call for papers   IRDTA
• [loginf] BigDat 2019: early registration October 15   IRDTA
• [loginf] Reseach Associate in Ontology Engineering   Renate Schmidt
• [loginf] LATA 2019: 3rd call for papers   IRDTA
• [loginf] TPNC 2018: call for participation   IRDTA
• [loginf] Robotic 2019: early registration November 13   IRDTA
• [loginf] Fw: TPNC 2018: call for participation   Jens-D. Doll
• [loginf] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials   Serge Autexier
• [loginf] LATA 2019: extended submission deadline November 18   IRDTA
• [loginf] CAI 2019 – First Call for Papers   Manfred Droste
• [loginf] AlCoB 2019: 1st call for papers   IRDTA
• [loginf] CfP: KI Special Issue "Cognitive Reasoning" - Deadline Extended to 15-Dec-2018   Frieder Stolzenburg
• [loginf] BigDat 2019: early registration December 8   IRDTA
• [loginf] Call for Papers ECSQARU 2019   Gabriele Kern-Isberner
• [loginf] Robotic 2019: early registration December 7   IRDTA
• [loginf] Call for Papers: ARES 2019   res.mb.conference
• [loginf] AlCoB 2019: 2nd call for papers   IRDTA
• [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
• [loginf] BigDat 2019: regular registration January 4   IRDTA
• [loginf] Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler   Marco Roveri
• [loginf] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler   Marco Roveri
• [loginf] Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler   Marco Roveri
• [loginf] Work opportunities for Students/Graduates at Fondazione Bruno Kessler   Marco Roveri
• [loginf] Stelle als wissenschaftliche/r Mitarbeiter/in -- Wissensbasierte Systeme   Christoph Beierle
• [loginf] Robotic 2019: early registration December 31st   IRDTA
• [loginf] research positions at TU Dresden   Franz Baader
• [loginf] Call for Papers: CD-MAKE 2019   res.mb.conference
• [loginf] Call for Papers: ARES 2019   res.mb.conference
• [loginf] AlCoB 2019: 3rd call for papers   IRDTA

Last message date: Mon Dec 24 23:28:49 CET 2018
Archived on: Wed Dec 26 12:59:22 CET 2018

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