ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields. The Theory and Logic Group at the TU Wien hosted the seventh edition of this workshop. Click here for more information.
Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.
Datenschutzerklärung der Technischen Universität Wien /
Crowd Notice Photo and Video Release.
