Arbeitsgruppe Theoretische Informatik

Thlog

Abonnieren unter http://www.theorie.informatik.uni-kiel.de/de/blog/neueste-eintraege/RSS.

"A Van Benthem Theorem for Modal Team Semantics" auf der CSL 2015

15.06.2015

Die Arbeit "A Van Benthem Theorem for Modal Team Semantics" von Juha Kontinen, Julian-Steffen Müller, Henning Schnoor und Heribert Vollmer wurde zur CSL 2015 angenommen.

"Control of Condorcet Voting: Complexity and a Relation-Algebraic Approach" im European Journal of Operational Research

05.06.2015

Die Arbeit "Control of Condorcet Voting: Complexity and a Relation-Algebraic Approach" von Rudolf Berghammer und Henning Schnoor erscheint im European Journal of Operational Research.

"Active Linking Attacks" auf der MFCS 2015

05.06.2015

Die Arbeit "Active Linking Attacks" von Henning Schnoor und Oliver Woizekowski wurde zur MFCS 2015 angenommen.

"Modal Independence Logic" auf der AiML 2014

20.05.2014

Die Arbeit "Modal Independence Logic" von Juha Kontinen, Julian-Steffen Müller, Henning Schnoor and Heribert Vollmer wurde zur AiML 2014 (Advances in Modal Logic) angenommen.

"A Control Dichotomy for Pure Scoring Rules" auf der AAAI 2014

08.04.2014

Die Arbeit "A Control Dichotomy for Pure Scoring Rules" von Edith Hemaspaandra, Lane Hemaspaandra und Henning Schnoor wurde zur AAAI 2014

angenommen.

67. Theorietag am 22./23. Mai

02.04.2014

Am 22./23.5.2014 veranstaltet die AG Theoretische Informatik den 67. Theorietag.

"Relation Algebra and RelView Applied to Approval Voting" auf der RAMiCS 2014

06.01.2014

Die Arbeit "Control of Condorcet Voting: Complexity and a Relation-Algebraic Approach" von Rudolf Berghammer,  Nikita Danilenko und Henning Schnoor wurde zur RAMiCS 2014 angenommen.

"Control of Condorcet Voting: Complexity and a Relation-Algebraic Approach" auf der AAMAS 2014

19.12.2013

Die Arbeit "Control of Condorcet Voting: Complexity and a Relation-Algebraic Approach" von Rudolf Berghammer und Henning Schnoor wurde zur AAMAS 2014

angenommen.

"Defendable Security in Interaction Protocols" auf der Prima 2013

09.12.2013

Die Arbeit "Defendable Security in Interaction Protocols" von Wojciech Jamroga, Matthijs Melissen und Henning Schnoor wurde auf der PRIMA 2013 präsentiert und für den Best-Paper-Award nominiert.

 

Masterprojekt "Secure Cloud Applications"

21.08.2013

Im kommenden Wintersemester bieten wir ein Masterprojekt zum Thema "Secure Cloud Applications" an. Genauere Informationen dazu finden Sie im OLAT.

Lehrveranstaltungen im Wintersemester

21.08.2013

In Kürze wird's hier Informationen zu den Lehrveranstaltungen geben, die die AG im Wintersemester anbieten wird. Also: Bald wieder vorbeischauen ...

Neues Blog!

19.08.2013

Das Blog der AG Theoretische Informatik ist jetzt auf die neue Webseite umgezogen!