2022 Archives by author
Starting: Tue Jan 4 08:45:10 CET 2022
Ending: Tue May 17 09:14:06 CEST 2022
Messages: 27
- [loginf] Einladung zur Jahrestagung LogInf am 8. April
Olaf Beyersdorff
- [loginf] Jahrestreffen LogInf diesen Freitag, 8. April, online
Olaf Beyersdorff
- [loginf] Fwd: Jahrestreffen LogInf diesen Freitag, 8. April, online
Olaf Beyersdorff
- [loginf] Proof complexity workshop at FLoC - call for presentations
Olaf Beyersdorff
- [loginf] Extended Deadline: Call for Papers: ARES 2022
SBA Research Events
- [loginf] CD-MAKE 2022 - Call for Papers
SBA Research Events
- [loginf] CD-MAKE 2022 - Call for Papers
SBA Research Events
- [loginf] Extended Deadline: Call for Papers: ARES 2022
SBA Research Events
- [loginf] Extended Deadline: Call for Papers: CD-MAKE 2022
SBA Research Events
- [loginf] Extended Deadline: Call for Papers: ARES 2022
SBA Research Events
- [loginf] Extended Deadline: Call for Papers: CD-MAKE 2022
SBA Research Events
- [loginf] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany
Ralf Kuesters
- [loginf] Promotionsstelle
Dietrich Kuske
- [loginf] -- FCR-2022 -- 8th Workshop on Formal and Cognitive Reasoning (call for papers)
Kai Sauerwald
- [loginf] CfP: 8th Workshop on Practical Aspects of Automated Reasoning
Claudia Schon
- [loginf] Joint Logic Workshop: Logic in Computer Science and Deduction Systems
Claudia Schon
- [loginf] Extended Deadline: PAAR-2022: 8th Workshop on Practical Aspects of Automated Reasoning
Claudia Schon
- [loginf] 2nd CfP: Special Issue of J. Appl. Log. on Formal and Cognitive Reasoning, Deadline: 28-Feb-2022
Frieder Stolzenburg
- [loginf] Call for Papers: Special Issue on Argument Strength (Argument & Computation)
Matthias Thimm
- [loginf] CfP: The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'22)
Matthias Thimm
- [loginf] CfP: The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'22)
Matthias Thimm
- [loginf] Call for Papers: Special Issue on Argument Strength (Argument & Computation)
Matthias Thimm
- [loginf] Deadline extension *May 20*: The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'22)
Matthias Thimm
- [loginf] RuleML+RR: preliminary call for papers
Anni-Yasmin Turhan
- [loginf] First cfp: RuleML+RR, Rule Challenge and Doctoral consortium
Anni-Yasmin Turhan
- [loginf] Second cfp: DeclarativeAI --- RuleML+RR conference, Rule Challenge and Doctoral Consortium
Anni-Yasmin Turhan
- [loginf] Deadline extension: iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications
Christoph Wernhard
Last message date:
Tue May 17 09:14:06 CEST 2022
Archived on: Tue May 17 09:19:22 CEST 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).