Logic List Mailing Archive

VvL Afternoon: Logics for interacting agents; 19 Jan 2007, Utrecht

Graag willen we u alvast attenderen op een VvL-middag op vrijdag 19 
januari 2007 over 'Logics for interacting agents'. Aanleiding voor deze 
middag vormt het interdisciplinaire NIAS-project 'Games, Action and Social 
Software' (zie http://www.nias.knaw.nl/en/research_group_2006_07/nucleus/).

Het evenement zal plaatsvinden in het Regardz Meeting Center La Vie 
Utrecht (adres: Lange Viestraat 351, 3511BK Utrecht), op loopafstand van 
het Centraal Station.

Het voorlopige programma luidt als volgt:

13.30-14.10 Algemene Ledenvergadering VvL met koffie en thee

14.15-17.30: 'Logics for interacting agents' met als sprekers:

-Andrzej Szalas en Barbara Dunin-Keplicz over redeneren met
   onzekerheid in multi-agent systemen

-Wiebe van der Hoek over logica's voor coalities

-Hans van Ditmarsch over willekeurige mededelingen in de
   dynamisch-epistemische logica

-Jan Broersen over deontische logica in multi-agent perspectief

-Wouter Teepe over communicatieprotocollen die privacy en
   veiligheid verenigen

Meer informatie en het definitieve programma zullen verschijnen op de 
website van de Vereniging voor Logica: 
http://www.verenigingvoorlogica.nl/activiteiten.shtml

Wij zien ernaar uit u op de bijeenkomst te ontmoeten.

Met vriendelijke groet namens het bestuur van de VvL en het NIAS-project,

Rineke Verbrugge en Barteld Kooi