2018 Archives by date
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
This archive was generated by
Pipermail 0.09 (Mailman edition).