Tomáš Masopust/Seminar

The seminar takes place on Thursdays in Room APB 3027 starting at 13:00.

Future talks

• 06.04.2017:
• 13.04.2017: Michael Guenther -- TBA
• 20.04.2017: Pascal Hitzler in DD (18-20.4.)
• 27.04.2017:
• 04.05.2017:
• 11.05.2017:
• 18.05.2017:
• 25.05.2017: Holiday, no seminar
• 01.06.2017:
• 08.06.2017:
• 15.06.2017:
• 22.06.2017: Pascal Hitzler in DD (19-21.6.)
• 29.06.2017:
• 06.06.2017:
• 13.06.2017:
• 20.06.2017:
• 27.06.2017:

Past talks

• 12 Januar 2015: Rui Zhang -- Relbacoess
• 19 Januar 2015: Michaël Thomazo -- Graph Structure and Monadic Second-Order Logic
• 26 Januar 2015: Jörg Schönfisch -- Querying Probabilistic Ontologies
• 2 February 2015: Rafael Peñaloza Nyssen -- a talk with animations :-)
• 9 February 2015: Lukas Schweizer -- gitlab
• 13.4. Sebastian Rudolph -- Chile – A Trip Report
• 20.4. Javanshir Alammadli -- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics
• 27.4. Lukas Schweizer -- (master thesis defence)
• 4.5. Sarah Alice Gaggl -- ASPARTIX-D Ready for the Competition
• 11.5. Francesca Alessandra Lisi -- Modeling Concept Learning Problems with Second-Order Description Logics
• 18.5. Stefan Borgwardt -- Answering Temporal Conjunctive Queries over DL Ontologies
• 25.5. -- Holiday
• 1.6. Artem Revenko -- Finding p-indecomposable Functions
• 8.6. -- DL Workshow
• 15.6. -- Andreas Pieris could give a talk
• 13.7. -- Alexander Krause -- Framework for the Specification and Execution of parallel Clustering Algorithms
• 20.7. -- Norbert Manthey
• 27.7. -- IJCAI -- no seminar
• 3.8. -- Markus_Krötzsch -- Reasonable Highly Expressive Query Languages
• 10.8. -- Veronika Thost -- Temporal Query Answering in EL
• 17.8. -- Sebastian Rudolph
• 24.8. -- Michaël Thomazo
• 31.8. -- TM, DLT talk + about DLT and CASE...
• 7.9. -- Benjamin Zarrieß -- Verification of Knowledge-Based Programs over Description Logic Actions
• 14.9. ICCL Summer School
• 21.9. ICCL Summer School + KI 2015 -- no talks
• 28.9. Ross D. King -- Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA info
• 5.10. -- Francesco Kriegel -- TBA
• 12.10. -- Sarah Gaggl -- Improved Answer-Set Programming Encodings for Abstract Argumentation
• 12.11. -- Alexander Okhotin
• 19.11. -- Umer Mushtaq -- Intertranslatability of Labeling-based Argumentation Semantics
• 03.12. -- (Raum 3105, von 13:45 Uhr) Pavlos Marantidis -- Quantitative versions of the Chomsky-Schützenberger Theorem
• 10.12. -- Steffen Guhlemann -- TBA
• 17.12. -- Stathis Delivorias -- Introducing Existential Rules and module extraction
• 04.02.2016 -- (in das Ei) -- Satyadharma Tirtarasa -- On Computing Explanations in Argumentation
• 18.02.2016 -- Fariz Darari -- Enabling Fine-grained RDF Data Completeness Assessment
• 25.02.2016 -- Anatoly Zelenin -- On Mono- and Multilingual Word embeddings for NLP
• 03.03.2016 -- Walter Forkel -- Explaining neural network reasoning
• 31.3. 2016 -- defense of Javanshir Alammadli at 14:00 !!!
• 20.4.2016 -- Lukas S.
• 27.4.2016 -- Fariz D.
• 04.5.2016 -- Maximilian Marx
• 11.5.2016 -- Oliver Fernández Gil -- TBA
• 18.5.2016 -- Kein Seminar -- Spring School in Leipzig
• 25.5.2016 -- Claudia Carapelle -- TBA
• 01.6.2016 -- Sebastian -- 30+ min -- find a room! (3027 is not available)
• 08.6.2016 -- Alexander Krause -- TBA
• 15.6.2016 -- Diana
• 22.6.2016 -- Lukas' students -- Angry Birds
• 29.6.2016 -- ausgefallen
• 06.7.2016 -- T. Masopust -- Universality of poNFAs
• 13.7.2016 -- Pascal Hitzler -- Pattern-based ontology modeling and some of its implications for Description Logics research
• 28.9.2016 : Veronika Thost -- TBA
• 05.10.2016 : Anatoly Zelenin -- TBA
• 12.10.2016 : trip-report seminar
• 19.10.2016 : Rektorbesuch, kein Seminar
• 26.10.2016 : Walter Forkel -- On inconsistency-minimizing, paraconsistent reasoning in knowledge bases
• 02.11.2016 : David Carral
• 09.11.2016 : Kein Seminar, Markus nicht in DD
• 16.11.2016 : Buß- und Bettag
• 23.11.2016 : Fariz Darari -- Managing and Consuming Completeness Information for RDF Data Sources
• 30.11.2016 : Markus -- TBA
• 07.12.2016:
• 15.12.2016, 10:00: Stepan Holub -- TBA
• 05.01.2017 : Maria Hedblom -- Image schemas in computational concept invention
• 12.01.2017: No seminar
• 19.01.2017: Achim Rettinger -- Towards Breaking the Language and Modality Barrier: Learning Cross-lingual Cross-modal Semantic Representations, and Michael Färber -- Semantic Search for Novel Information
• 26.01.2017 : Markus and Sebastian not here
• 09.02.2017: Max -- Feder-Vardi conjecture (plus more weeks if needed)
• 16.02.2017:
• 23.02.2017: Angry Birds....
• 02.03.2017: T. Masopust -- Automata, Logic, Algebra... What do they have in common?
• 09.03.2017:
• 16.03.2017: T. Masopust -- Decomposition of Regular Languages
• 23.03.2017:
• 30.03.2017:
• New Semester starts --> new time 13:00-15:00

Older talks can be found here.