2021 Archives by author
Starting: Thu Feb 25 15:35:55 CET 2021
Ending: Tue Dec 7 11:53:01 CET 2021
Messages: 33
- [loginf] Jahrestagung der GI Fachgruppe Logik in der Informatik - virtuell am 26. März 2021
Olaf Beyersdorff
- [loginf] Jahrestagung FG LogInf virtuell am 26. März
Olaf Beyersdorff
- [loginf] Workshop und Mitgliederversammlung morgen (Fr. 26. März)
Olaf Beyersdorff
- [loginf] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science
Claudio Sacerdoti Coen
- [loginf] Online Workshop WATA 2020/2021 - Call for Participation
Manfred Droste
- [loginf] RAQM 2021: Call for Participation
Manfred Droste
- [loginf] Termination and Complexity Competition 2021: Call for Participation (Deadline June 30)
Juergen Giesl
- [loginf] Termination and Complexity Competition 2021: Second Call for Participation (Deadline June 30)
Juergen Giesl
- [loginf] Preliminary Call for Papers: FLOPS 2022
Michael Hanus
- [loginf] Call for Papers: FLOPS 2022
Michael Hanus
- [loginf] 2nd Call for Papers: FLOPS 2022
Michael Hanus
- [loginf] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany
Ralf Kuesters
- [loginf] Postdoc Position in Formal Verification, University of Stuttgart, Germany
Ralf Kuesters
- [loginf] Postdoc Position in Formal Verification, University of Stuttgart, Germany
Ralf Kuesters
- [loginf] Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany
Ralf Kuesters
- [loginf] Open PhD and PostDoc positions
Martin Leucker
- [loginf] Open PhD Position in Knowledge Representation and Reasoning at the University of Stuttgart
Nico Potyka
- [loginf] 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021)
Nico Potyka
- [loginf] PhD student position in Knowledge Representation and Reasoning, Stuttgart (Germany), Deadline: June 20, 2021
Nico Potyka
- [loginf] CFP: 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021)
Nico Potyka
- [loginf] 2nd CFP DL 2021: Description Logics, Bratislava (Slovakia), 19-22 Sep 2021
Vladislav Ryzhikov
- [loginf] 3rd CFP: DL 2021 International Workshop on Description Logics, September 19-22, 2021 - Bratislava, Slovakia, Hybrid or virtual event
Vladislav Ryzhikov
- [loginf] Final CFP: DL 2021 International Workshop on Description Logics, September 19-22, 2021 - Bratislava, Slovakia, Hybrid or virtual event
Vladislav Ryzhikov
- [loginf] FCR-2021: 7th Workshop on Formal and Cognitive Reasoning - 1st CfP
Frieder Stolzenburg
- [loginf] FCR-2021: 7th Workshop on Formal and Cognitive Reasoning - 2nd CfP
Frieder Stolzenburg
- [loginf] FCR-2021: 7th Workshop on Formal and Cognitive Reasoning - Last CfP
Frieder Stolzenburg
- [loginf] Journal of Applied Logics - Special Issue on "Formal and Cognitive Reasonig" - Submission Deadline: February 28, 2022
Frieder Stolzenburg
- [loginf] 2 Open PhD Positions in Knowledge Representation and Reasoning at the University of Hagen, Germany
Matthias Thimm
- [loginf] 2 Open PhD/PostDoc Positions in Knowledge Representation and Reasoning at the University of Hagen, Germany
Matthias Thimm
- [loginf] SOQE 2021: The 2nd Workshop on Second-Order Quantifier Elimination and Related Topics - Extended Deadline
Christoph Wernhard
- [loginf] SOQE 2021: The 2nd Workshop on Second-Order Quantifier Elimination and Related Topics - Second Call for Papers
Christoph Wernhard
- [loginf] [CFP] 2nd Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) - Extended Deadline
Christoph Wernhard
- [loginf] 2nd Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) - Call for Participation
Christoph Wernhard
Last message date:
Tue Dec 7 11:53:01 CET 2021
Archived on: Tue Dec 7 11:53:55 CET 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).