BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:ICCL-Veranstaltungen
X-WR-CALDESC:
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20150420T092000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Research Talk by Sibylle Möhle on 'Propositional Model Counting and Enumeration' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_d0b584daad32a745087a7c9a6ec0189a
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_d0b584daad32a745087a7c9a6ec0189a
DTSTART:20150720T092000
DTEND:20150720T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Bachelor Defense by Sebastian Hahn on 'Modulospiel'\, Research Talk by Emmanuelle-Anna Dietz on 'A Computational Logic Approach to Syllogisms in Human Reasoning' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_661dfd96fb2571f53d400cf219e6c0f1
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_661dfd96fb2571f53d400cf219e6c0f1
DTSTART:20150713T092000
DTEND:20150713T105000
LOCATION:APB E2026
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: CANCELD: Talk by Norbert Manthey on "The 'Parallel SAT' Research Project" (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_f3bcea99fde71234c03e336eb036625e
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_f3bcea99fde71234c03e336eb036625e
DTSTART:20150706T092000
DTEND:20150706T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Project Defense by Luis Palacios on 'A Connectionist Model for Skeptical Abduction' and Research Talk by Peter Steinke on 'PBLib - A Library For Encoding Pseudo-Boolean Constraints into CNF' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_5066c392ef3da16b316aec1c3493ad63
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_5066c392ef3da16b316aec1c3493ad63
DTSTART:20150629T092000
DTEND:20150629T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Project Defense by Luis Palacios on 'A Connectionist Model for Skeptical Abduction' and Asmaa Afeefy on 'Planning Problems and Fixpoint Semantics' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_31e18f7d44dba1d23645f2877dea278a
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_31e18f7d44dba1d23645f2877dea278a
DTSTART:20150622T092000
DTEND:20150622T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Project Defense by Adrian Rebola Pardo about " Refutationally Complete Hierarchic Superposition Calculus with\n Definitions "\, Master Thesis Report by Adrián Rebola Pardo about 'Unsatisfiability Proofs in Parity Reasoning' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_f49b8c7bc3ac793b88b8011626842c76
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_f49b8c7bc3ac793b88b8011626842c76
DTSTART:20150615T092000
DTEND:20150615T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Research Talk by Christoph Wernhard about 'Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_1aea1ee768f06a6e0b45854e951c27b7
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_1aea1ee768f06a6e0b45854e951c27b7
DTSTART:20150608T092000
DTEND:20150608T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Report by Sebastian Hahn about 'Modulogame' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_8bb702d2168f2595611ade8eab836df8
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_8bb702d2168f2595611ade8eab836df8
DTSTART:20150601T092000
DTEND:20150601T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Research Talk by Isara Anantavrasilp about 'Toward a Formal Model of Sequence Alignment  Problem' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_a6fdfc353e77c06fe59d084709a4f2c5
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_a6fdfc353e77c06fe59d084709a4f2c5
DTSTART:20150518T092000
DTEND:20150518T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Research Talk by Tobias Philipp about 'Mechanically-Verified SAT Encodings of At-Most-k and PB-Constraints' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_5b9f0fd843fc0f9a7f9cb214a842d36a
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_5b9f0fd843fc0f9a7f9cb214a842d36a
DTSTART:20150504T073000
DTEND:20150504T090000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Research Talk by Isara Anantavrasilp about 'Virus Classification' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_85819eb0e2afd62671e22ecb570ce4b2
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_85819eb0e2afd62671e22ecb570ce4b2
DTSTART:20150427T092000
DTEND:20150427T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
BEGIN:VEVENT
SUMMARY:Knowledge Representation and Reasoning Seminar: Initial Meeting\; Research Talk by Steffen 'On Conditionals' (Seminar)
URL://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_06d756a096502c81c5e49a1f0e2505f1
UID://iccl.inf.tu-dresden.de/web/Knowledge_Representation_and_Reasoning_Seminar_(SS2015)#_06d756a096502c81c5e49a1f0e2505f1
DTSTART:20150420T092000
DTEND:20150420T105000
LOCATION:APB E005
DTSTAMP:20150717T141524
SEQUENCE:16650
END:VEVENT
END:VCALENDAR