Logic List Mailing Archive

new association: CADILLAC, Copenhagen Association for Dynamics, Interaction, Logic, Language And Computation

* ~~~~~~~~~~~~~~~ *
! C.A.D.I.L.L.A.C !
* ~~~~~~~~~~~~~~~ *

BIGGER THAN A SUBARU...

 	 CADILLAC - Copenhagen Association for Dynamics, Interaction, 
Logic, Language and Computation [http://cadillac-dk.weebly.com/] CADILLAC 
is a loose association of logicians, computer scientists, linguists and 
philosophers based in the greater Copenhagen area. The association aims to 
provide an informal forum for the growing interest in a cluster of related 
topics, such as:

 	* Social and formal epistemology and their links with tools such 
as game theory.
 	* The dynamics of information and how to model it using temporal, 
epistemic and other logics.
 	* The use of AI paradigms such as planning and logic programming 
to capture aspects of cognition and interaction.

 	We are also interested in foundational themes from linguistics 
(particularly pragmatics) and philosophy (for example, the work of Paul 
Grice and David Lewis).

 	The association is new and mostly made up of students and 
researchers from universities in and around Copenhagen. The aim is to hold 
meetings, seminars and reading groups, and to disseminate information 
about meetings on relevant topics via this website and the CADILLAC 
mailing list (for a list of previous and upcoming CADILLAC events see here 
[/cadillac-news.html] ).