<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Arbeitsgruppe Theoretische Informatik</title>
	<atom:link href="http://www.ti.informatik.uni-kiel.de/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.ti.informatik.uni-kiel.de</link>
	<description>Institut für Informatik der Christian-Albrechts-Universität zu Kiel</description>
	<lastBuildDate>Mon, 09 Nov 2009 10:39:43 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8.6</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>Vortrag: Computing Strategies for Poker (30.10.09)</title>
		<link>http://www.ti.informatik.uni-kiel.de/aktuelles/2009/vortrag-strategies-for-poker/</link>
		<comments>http://www.ti.informatik.uni-kiel.de/aktuelles/2009/vortrag-strategies-for-poker/#comments</comments>
		<pubDate>Tue, 20 Oct 2009 08:43:08 +0000</pubDate>
		<dc:creator>Klaas Ole Kürtz</dc:creator>
				<category><![CDATA[Archiv]]></category>

		<guid isPermaLink="false">http://www.ti.informatik.uni-kiel.de/?p=571</guid>
		<description><![CDATA[Im Rahmen des Kolloquiums des Instituts für Informatik findet auf Einladung von Prof. Wilke folgender Vortrag statt:
Computing strategies for poker
Troels Bjerre Sørensen, LMU München
am 30.10.2009 um 14:15 Uhr
im Übungsraum Ü3 (Vorbau Ludewig-Meyn-Str. 2)
Zusammenfassung:
 Whenever game theory is applied to real world games, the models tend to  be much larger than the toy examples that are [...]]]></description>
			<content:encoded><![CDATA[<p>Im Rahmen des Kolloquiums des Instituts für Informatik findet auf Einladung von Prof. Wilke folgender Vortrag statt:</p>
<p style="padding-left: 30px;"><strong>Computing strategies for poker<br />
</strong>Troels Bjerre Sørensen, LMU München<br />
am 30.10.2009 um 14:15 Uhr<br />
im Übungsraum Ü3 (Vorbau Ludewig-Meyn-Str. 2)</p>
<p>Zusammenfassung:</p>
<p style="padding-left: 30px;"><em> Whenever game theory is applied to real world games, the models tend to  be much larger than the toy examples that are traditionally studied.  In  this talk, I will present some of the techniques that have been applied  recently to tackle the game of Texas Hold&#8217;em poker.  The talk will  include an introduction to the game theory used as well as an  introduction to poker, so it should be possible to follow for most  computer scientists.</em></p>
]]></content:encoded>
			<wfw:commentRss>http://www.ti.informatik.uni-kiel.de/aktuelles/2009/vortrag-strategies-for-poker/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Zwei-Fächer-AG (2FAG)</title>
		<link>http://www.ti.informatik.uni-kiel.de/aktuelles/2009/zwei-facher-ag/</link>
		<comments>http://www.ti.informatik.uni-kiel.de/aktuelles/2009/zwei-facher-ag/#comments</comments>
		<pubDate>Tue, 20 Oct 2009 08:33:19 +0000</pubDate>
		<dc:creator>Klaas Ole Kürtz</dc:creator>
				<category><![CDATA[Aktuelles]]></category>

		<guid isPermaLink="false">http://www.ti.informatik.uni-kiel.de/?p=565</guid>
		<description><![CDATA[Die von Herrn Wilke angebotene Arbeitsgemeinschaft für Studentinnen und Studenten, die ein Zwei-Fächer-Studium aufgenommen haben, wird
jeweils mittwochs von 8.15 bis 9.45 Uhr
im Raum 1011 im Hochhaus (CAP4)
stattfinden, erstmals am 28. Oktober 2009.
Ziel der Arbeitsgemeinschaft ist es, die besonderen Schwierigkeiten &#8211; seien sie genereller oder individueller Art -, denen sich Zwei-Fächer-Studierende ausgesetzt sehen, auszuräumen. Die Teilnahme [...]]]></description>
			<content:encoded><![CDATA[<p>Die von Herrn Wilke angebotene Arbeitsgemeinschaft für Studentinnen und Studenten, die ein Zwei-Fächer-Studium aufgenommen haben, wird</p>
<p style="padding-left: 30px;">jeweils mittwochs von 8.15 bis 9.45 Uhr<br />
im Raum 1011 im Hochhaus (CAP4)</p>
<p>stattfinden, erstmals am 28. Oktober 2009.</p>
<p>Ziel der Arbeitsgemeinschaft ist es, die besonderen Schwierigkeiten &#8211; seien sie genereller oder individueller Art -, denen sich Zwei-Fächer-Studierende ausgesetzt sehen, auszuräumen. Die Teilnahme ist unverbindlich.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.ti.informatik.uni-kiel.de/aktuelles/2009/zwei-facher-ag/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Disputation Dipl.-Inf. Detlef Kähler</title>
		<link>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/disputation-kahler/</link>
		<comments>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/disputation-kahler/#comments</comments>
		<pubDate>Thu, 03 Jul 2008 19:04:36 +0000</pubDate>
		<dc:creator>Thomas Wilke</dc:creator>
				<category><![CDATA[Archiv]]></category>

		<guid isPermaLink="false">http://www.ti.informatik.uni-kiel.de/?p=60</guid>
		<description><![CDATA[Am 17. Juli um 10.30 Uhr im Seminarraum Ü2 in der Ludewig-Meyn-Str. 2 findet der öffentliche Teil der Disputation zum Dr. rer. nat. von Dipl.-Inf. Detlef Kähler statt. Der Titel der Dissertation ist
„Strategy Properties for Cryptographic Protocols“.
Der Dekan der Technischen Fakultät lädt ein.

]]></description>
			<content:encoded><![CDATA[<p>Am 17. Juli um 10.30 Uhr im Seminarraum Ü2 in der Ludewig-Meyn-Str. 2 findet der öffentliche Teil der Disputation zum Dr. rer. nat. von Dipl.-Inf. Detlef Kähler statt. Der Titel der Dissertation ist</p>
<p style="text-align: center;">„Strategy Properties for Cryptographic Protocols“.</p>
<p style="text-align: left;">Der Dekan der Technischen Fakultät lädt ein.</p>
<p style="text-align: left;">
]]></content:encoded>
			<wfw:commentRss>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/disputation-kahler/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Vorträge: Moshe Y. Vardi</title>
		<link>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/moshevardi/</link>
		<comments>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/moshevardi/#comments</comments>
		<pubDate>Fri, 06 Jun 2008 14:51:31 +0000</pubDate>
		<dc:creator>Klaas Ole Kürtz</dc:creator>
				<category><![CDATA[Archiv]]></category>

		<guid isPermaLink="false">http://www.ti.informatik.uni-kiel.de/?p=58</guid>
		<description><![CDATA[Im Rahmen der Kieler-Woche-Vorträge der CAU Kiel wird Prof. Dr. Dr. h.c. mult. Moshe Y. Vardi von der Rice University (Houston, Texas, USA) zwei Vorträge halten:

Montag, 23. Juni 2008, 10:30 Uhr, Christian-Albrechts-Platz 3, Raum III:
And Logic Begat Computer Science: When Giants Roamed the Earth
Freitag, 27. Juni 2008, 14:15 Uhr, Ludewig-Meyn-Straße 2, Raum Ü2:
Automated Verification = [...]]]></description>
			<content:encoded><![CDATA[<p>Im Rahmen der Kieler-Woche-Vorträge der CAU Kiel wird Prof. Dr. Dr. h.c. mult. <strong>Moshe Y. Vardi</strong> von der Rice University (Houston, Texas, USA) zwei Vorträge halten:</p>
<ul>
<li>Montag, 23. Juni 2008, 10:30 Uhr, Christian-Albrechts-Platz 3, Raum III:<br />
<strong>And Logic Begat Computer Science: When Giants Roamed the Earth</strong></li>
<li>Freitag, 27. Juni 2008, 14:15 Uhr, Ludewig-Meyn-Straße 2, Raum Ü2:<br />
<strong>Automated Verification = Graphs, Automata, and Logic</strong></li>
</ul>
<div style="text-align: center; padding-top: 2em"><a href="http://www.ti.informatik.uni-kiel.de/wp-content/uploads/KielerWocheVortrag-MosheYVardi.pdf"><img style="border: 1px solid #888888" title="Kieler-Woche-Vortrag Moshe Y. Vardi" src="http://www.ti.informatik.uni-kiel.de/wp-content/uploads/kielerwochevortrag-mosheyvardi.jpg" alt="Kieler-Woche-Vortrag Moshe Y. Vardi" width="300" height="424" /></a></div>
]]></content:encoded>
			<wfw:commentRss>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/moshevardi/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Seminar am 19. Juni</title>
		<link>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/seminar/</link>
		<comments>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/seminar/#comments</comments>
		<pubDate>Fri, 06 Jun 2008 11:10:30 +0000</pubDate>
		<dc:creator>Klaas Ole Kürtz</dc:creator>
				<category><![CDATA[Archiv]]></category>

		<guid isPermaLink="false">http://www.ti.informatik.uni-kiel.de/?p=56</guid>
		<description><![CDATA[Am Donnerstag, den 19.06.2008 findet ein Blockseminar zu Themen der theoretischen Informatik statt. Vorgesehen sind Vorträge zu Paritätsspielen, ω-Automaten, Baumautomaten und Kryptographie geben:

9:30 Uhr: Jost Bissel
Komplementierung von ω-Automaten durch schwache Alternierung
11:15 Uhr: Jan Dahlke
Von (Co-)Büchi-Baumautomaten zu schwach alternierenden Baumautomaten
14:00 Uhr: Martin Köper
Wie funktioniert die EC-Karte?
15:30 Uhr: Stefan Bolus
Ein Algorithmus zur Lösung einfacher stochastischer Spiele

Interessierte Zuhörer [...]]]></description>
			<content:encoded><![CDATA[<p>Am Donnerstag, den 19.06.2008 findet ein <strong>Blockseminar </strong>zu Themen der theoretischen Informatik statt. Vorgesehen sind Vorträge zu Paritätsspielen, ω-Automaten, Baumautomaten und Kryptographie geben:</p>
<ul>
<li>9:30 Uhr: Jost Bissel<br />
<em>Komplementierung von ω-Automaten durch schwache Alternierung</em></li>
<li>11:15 Uhr: Jan Dahlke<br />
<em>Von (Co-)Büchi-Baumautomaten zu schwach alternierenden Baumautomaten</em></li>
<li>14:00 Uhr: Martin Köper<br />
<em>Wie funktioniert die EC-Karte?</em></li>
<li>15:30 Uhr: Stefan Bolus<br />
<em>Ein Algorithmus zur Lösung einfacher stochastischer Spiele</em></li>
</ul>
<p>Interessierte <strong>Zuhörer sind herzlich willkommen</strong>, stattfinden wird das Seminar im Raum 1011 im Hochhaus.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.ti.informatik.uni-kiel.de/aktuelles/2008/seminar/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
