BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2008/newsitem/2088/3-4 -April-2008-Logic-and-the-Simulation-of-Interactio n-and-Reasoning-Symposium-at-AISB-2008-Aberdeen-Sc otland DTSTAMP:20071111T000000 SUMMARY:"Logic and the Simulation of Interaction a nd Reasoning" (Symposium at AISB 2008), Aberdeen, Scotland DTSTART;VALUE=DATE:20080403 DTEND;VALUE=DATE:20080404 LOCATION:Aberdeen, Scotland DESCRIPTION:In the past years, logicians have beco me more and more interested in the phenomenon of i nteraction. The area "logic and games" deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been d ealing with logic in game and decision theory and dynamic logics with announcement and action operat ions. Fruitful technical advances have led to deep insights into the nature of communicative interac tion and behaviour by logicians. While these int eractive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical w ork of computer game designers, researchers in art ificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour reach out to a wide interdisciplinary field including psych ology and cognitive science. So far, there are o nly a few cross-links between these two communitie s. Our symposium will explore the possibilities of joining the theoretical approach to interaction a nd communication with the practical approach to si mulating behaviour. We would like to include purel y logical aspects, cognitive and psychological asp ects (including empirical testing of formal models ), and pragmatic aspects. This symposium is spon sored by the ILLC GLoRiClass project. For more i nformation, see http://www.illc.uva.nl/GLoRiClass/ index.php?page=8_1 or http://www.aisb.org.uk/conve ntion/aisb08/ All researchers from logic, artific ial intelligence, computer science, cognitive scie nce, computer gaming, psychology, empirical game t heory, and many other fields are cordially invited to submit abstracts of one to four papers in PDF format. Submission deadline is January 9, 2008. X-ALT-DESC;FMTTYPE=text/html:
In th e past years, logicians have become more and more\ n interested in the phenomenon of interaction . The area\n "logic and games" deal s with the transition from the\n static logic al paradigm of formal proof and derivation to the\ n dynamic world of intelligent interaction an d its logical\n models. A number of conferenc es and workshops have been dealing\n with log ic in game and decision theory and dynamic logics with\n announcement and action operations. Fr uitful technical advances\n have led to deep insights into the nature of communicative\n i nteraction and behaviour by logicians.\n
\nWhile these interactive aspects are rel atively new to\n logicians, on a rather diffe rent level, modelling intelligent\n interacti on has been an aspect of the practical work of com puter\n game designers, researchers in artifi cial intelligence,\n robotics, and human-mach ine interaction for a long time. The\n practi cal aspects of simulating interaction and behaviou r reach\n out to a wide interdisciplinary fie ld including psychology and\n cognitive scien ce.\n
\nSo far, there are only a few cross-links between these two\n communit ies. Our symposium will explore the possibilities of\n joining the theoretical approach to inte raction and\n communication with the practica l approach to simulating\n behaviour. We woul d like to include purely logical aspects,\n c ognitive and psychological aspects (including empi rical testing\n of formal models), and pragma tic aspects.\n
\nThis symposium is sponsored by the ILLC GLoRiClass project.\n
\n \n \nFor more informatio n, see\n http: //www.illc.uva.nl/GLoRiClass/index.php?page=8_1\n or http://www.aisb.or g.uk/convention/aisb08/\n
All researchers from logic, artificial intelligence, computer science, \n cognitiv e science, computer gaming, psychology, empirical game theory, and many other fields are cordially i nvited to submit abstracts of one to four papers i n PDF format.\n Submission deadline is Janu ary 9, 2008.\n
\n