2021 Archives by author

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

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

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