Invited – Workshop on Trends, Extensions, Applications and Semantics of Logic Programming https://www.coalg.org/tease-lp TEASE-LP, 28 and 29 May 2020, Virtual Event Tue, 19 May 2020 13:35:58 +0000 en-GB hourly 1 https://wordpress.org/?v=6.1.1 Description Logics and Ontology Languages – an introduction and overview https://www.coalg.org/tease-lp/timetable/event/description-logics-and-ontology-languages/ https://www.coalg.org/tease-lp/timetable/event/description-logics-and-ontology-languages/#respond Tue, 12 May 2020 12:35:39 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=78 https://www.coalg.org/tease-lp/timetable/event/description-logics-and-ontology-languages/feed/ 0 Structural Proof-Theory and Logic Programming https://www.coalg.org/tease-lp/timetable/event/structural-proof-theory-and-logic-programming/ https://www.coalg.org/tease-lp/timetable/event/structural-proof-theory-and-logic-programming/#respond Tue, 12 May 2020 07:35:42 +0000 http://www.coalg.org/tease-lp/?post_type=mp-event&p=65 https://www.coalg.org/tease-lp/timetable/event/structural-proof-theory-and-logic-programming/feed/ 0