For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

The 19th edition of Workshop Series "Games, Logic, Language and Computation" (GLLC, funded by NWO) will bring together researchers interested in the topic of learning and epistemic change. The workshop will be hosted by the ILLC, on the occasion of the PhD defense of Nina Gierasimczuk.

For more information see: http://staff.science.uva.nl/~ngierasi/gllc-19

This workshop aims to bring together researchers working in modal logic, duality theory, algebra, point-free topology, domain theory and coalgebraic logic; fields which are all connected through logic and Stone duality.

Speakers include: Johan van Benthem (Amsterdam), Dick de Jongh (Amsterdam), Georges Hansoul (Liège), Achim Jung (Birmingham), Alexander Kurz (Leicester), Alessandra Palmigiano (Amsterdam), Steve Vickers (University of Birmingham), Jacob Vosmaer (Amsterdam).

This workshop will coincide with the PhD defense of Jacob Vosmaer at the University of Amsterdam on 14 December 2010.

For more information, see http://www.jacobvosmaer.nl/MLSD/ .

For abstracts and more information, see http://www.illc.uva.nl/dip/.

We study formally discrete bidding strategies for the game induced by the Generalized Second Price (GSP) keyword auction mechanism. Such strategies have seen experimental evaluation in the recent literature within iterative best response procedures, which have been shown not to converge.

We give a detailed definition of iterative best response under these strategies and, under appropriate discretization of the players' strategy spaces we find that the discretized configurations space contains socially optimal pure Nash equilibria. We cast discrete strategies under a new light, by studying their performance for bidders that act based on local information; we prove bounds for the worst-case ratio of the social welfare of locally stable configurations, relative to the socially optimum welfare. Finally we discuss open problems regarding convergence of discrete strategies and the social welfare of stable configurations for Keyword Auctions under the GSP mechanism.

For more information, contact k.r.apt at cwi.nl

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The FLiRT workshop will coincide with the public PhD defenses of Gaëlle Fontaine and Amélie Gheerbrant which will both take place on the 9th of December. The workshop will gather young researchers and world top experts in various areas of theoretical computer science related to fixed-point logics. These areas include automata theory, game theory, web languages and coalgebras.

The event will be hosted by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA) and will take place in the Euclides building (Plantage Muidergracht 24).

For more information, see http://homepages.inf.ed.ac.uk/agheerbr/flirt.html

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/

For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

The workshop will bring together logicians, philosophers, psychologists and cognitive scientists to discuss the interface between cognitive science and psychology, on the one hand, and the philosophy of logic on the other hand. More specifically, we wish to investigate the extent to which (if at all), and in what ways, experimental results from these fields may contribute to the formulation of an empirically-informed philosophy of logic, taking into account how human agents, logicians and non-logicians alike, in fact reason.

For more information, see http://www.illc.uva.nl/peipl/

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/5FA4F78A-1321-B0BE-A49DB8733B377512.

The following speakers will give a lecture:

- Dimitris Achlioptas (University of California at Santa Cruz and
National and Kapodistrian University of Athens)
- Roberto Fernández (Universiteit Utrecht)
- Willem Haemers (Universiteit van Tilburg)
- Raphael Hauser (University of Oxford)
- Leen Stougie (Vrije Universiteit Amsterdam),
- Juan Vera (Universiteit van Tilburg)

There is no conference fee, but registration is required. For more information, see http://homepages.cwi.nl/~mueller/workshop.html

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/dip/.

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe. There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers.

For more information, see http://www.math.helsinki.fi/logic/sellc-2010/ or contact the organizers at sellc-2010 at helsinki.fi.

Henkjan Honing brengt tijdens zijn oratie, bij de aanvaarding van een KNAW-Muller leerstoel, een ode aan 'de ongeletterde luisteraar'.

Muziek speelt op een intrigerende manier met ons geheugen, onze aandacht en onze verwachtingen. Maar als luisteraar zijn we ons vaak niet bewust dat we zelf een actieve rol hebben in wat muziek zo spannend, troostend of opwindend maakt. Luisteren speelt zich niet af in de buitenwereld van de klinkende muziek, maar in de stille binnenwereld van ons hoofd en onze hersenen. Baby's blijken een grote perceptuele gevoeligheid hebben voor zowel de melodische, ritmische als dynamische aspecten van spraak en muziek. Dit zijn aspecten die taalkundigen graag onder de term ~prosodie' scharen, maar die feitelijk de fundamentele bouwstenen van muziek zijn. Pas veel later in de ontwikkeling van een kind wordt gebruikgemaakt van deze ~muzikale prosodie', bijvoorbeeld bij het markeren en vervolgens herkennen van woordgrenzen. Maar deze al zeer vroeg aanwezige muzikale vaardigheden zijn in essentie niet talig, benadrukt Honing. De oratie is een ode aan het ~ongeletterde luisteren', een - voor zover we weten - menselijke aanleg voor het waarnemen, interpreteren en waarderen van muzikale nuances vanaf dag één, nog voordat er een woord gesproken, laat staan bedacht is. Het is het preverbale en preletter-stadium waar het muzikale luisteren vol van is.

For more information, see http://www.uva.nl/actueel/agenda.cfm/BE6F0FB2-E9B4-4C9A-9275663F92D2AA32.

The Peripatetic Seminar on Sheaves and Logic (PSSL) is one of the oldest and longest lasting periodic seminars in mathematics. The scope of the PSSL is not limited to sheaves and logic; but more to category theory and its applications.

Category theory constitutes a research field of considerable interest, not only for its applications to computer science and physics, but also because of its rich mathematical theory which has unraveled deep connections between algebra, topology, logic and computer science.

For more information, see http://staff.science.uva.nl/~ciancia/PSSL91/

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For abstracts and more information, see http://www.illc.uva.nl/dip/.

Do different cultures embody fundamentally different styles of thinking? An emphasis on rigorous explicit logic has often been considered a hallmark of Western culture, dating back to Greek Antiquity. But things are more complex, and cultures sometimes have surprising similarities beyond their standard images.

In fact, logic started independently, roughly around the same time, in Greece, India, and China. What does this tell us about analogies in thinking across human beings and their cultures? How do we or should we perceive it? The aim of this workshop is to get clearer on these issues.

The workshop brings together experts in Chinese logic and Western logic, comparing themes and insights in these two traditions in detail. While focusing on the School of Mohism in the Pre-Qin period, the workshop will also study logical contributions by other schools, for instance, Confucianism. Basic concepts and reasoning patterns will be extensively explored at the workshop, linking up with modern logical notions and theories. We will also discuss how ancient Chinese logic developed, even into the 20th century, and study how this affects current ways of thinking. While the main emphasis of this event is scholarly, it also touches on major scientific and cultural issues today.

For more information, see http://www.sciencehistory.asia/history-logic-china

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/

For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For abstracts and more information, see http://www.illc.uva.nl/dip/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=764

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/dip/.

The games agents play - in markets, conflicts, or most other contexts - often defy strict game-theoretic analysis. Games may be unmanageably large (combinatorial or infinite state or action spaces), and present severely imperfect information, which could be further complicated by partial dynamic revelation. Moreover, the game may be specified procedurally, for instance by a simulator, rather than in an explicit game form.

With colleagues and students over the past few years, I have been developing a body of techniques for strategic analysis, adopting the game-theoretic framework but employing it in domains where direct "model-and-solve" cannot apply. This empirical game-theoretic methodology embraces simulation, approximation, statistics and learning, and search. Through applications to canonical auction games, and rich trading scenarios, we demonstrate the value of empirical methods for extending the scope of game-theoretic analysis. This perspective also sheds insight into behavioral models and bases for predicting joint action in complex multiagent scenarios.

For more information, contact H.van.Hasselt at cwi.nl

The TCSA Day is intended to be an annual event, taking place in the Fall, to alternate with the national NVTI Theory Day that takes place in Spring. Last year's edition took place at the VU: http://www.cs.vu.nl/en/news-agenda/agenda/2009/TCSA_index.asp The event is organized jointly by CWI, UvA, and VU.

The programme consists of six talks by researchers from CWI, UvA, and VU. There is no need to register. Tea and coffee will be provided. Lunch is not organised, but there is a cafetaria in the CWI building and another one at the UvA building across the street.

For more information, see http://event.cwi.nl/qc/tcsa10/

For more information, see http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/

For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=750

This book launches the first comparative history of the humanities from antiquity till today. Rens Bod shows how humanities researchers investigated their material (language, music, art, literature and the past) and the kind of theoretical principles and empirical patterns they found. The book also discusses, from a global perspective (China, India, Arabic world, Europe and Africa), the immense impact the humanities have had on society.

The book presentation will consist of three mini talks by Rens Bod, Joep Leerssen and Floris Cohen, and will be followed by drinks.

For more information, see http://www.uitgeverijprometheus.nl/

This is the second of a biennially organized conference that brings together scholars and historians of humanities disciplines to draw the outlines for a comparative history of the humanities. Although there exist histories of single humanities disciplines, a comparative history would satisfy a long-felt need, and fill a conspicuous gap in intellectual history.

The first highly successful conference, held in 2008, discussed the early modern period. The theme of this year's meeting is From Early Modern to Modern Disciplines, focusing on the period 1600-1900. Topics include all aspects of the history of philology, linguistics, rhetoric, musicology, literary theory, historiography, art history, archeology and other humanities disciplines, with an emphasis on their interrelations.

Registration deadline: 30 september. For more information, see the conference website at http://www.illc.uva.nl/MakingHumanities/2010/.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior ACLC researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.

For more information, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/.

For abstracts and more information, see http://www.illc.uva.nl/dip/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/

For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/dip/ or http://www.illc.uva.nl/agpc/agpc10/Conference_Programme/.

For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venema at uva.nl).

This is the first (of this academic year) of a series of meetings on the topic of music cognition and computation. The meetings will take the form of a reading group or a seminar.

For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html

The Amsterdam Graduate Philosophy Conference 2010 is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The 3rd Amsterdam Graduate Philosophy Conference is devoted to continue the discussions that were raised in the previous two conferences, as well as to lay the ground for new ones. The theme this year is Truth, Meaning, and Normativity.

We invite submissions from graduate researchers conducting novel philosophical research into any of the three conference topics. We also encourage submissions that inform the discussion about truth, meaning, and/or normativity by offering a philosophical interpretation of results from other fields such as logic, cognitive psychology and linguistics (including formal semantics and sociolinguistics).

Since the topics of truth, meaning, and normativity naturally feed into each other, we also welcome contributions whose particular aim is to explore any of the many intricate ways in which these notions relate to one another. Submissions on the role that these notions have played, or play, in the broad (analytic) tradition or, more specifically, within the linguistic turn are also of interest to the conference.

For more information, please visit the conference website at http://www.illc.uva.nl/agpc/agpc10/, or contact agpc at uva.nl.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialogue to both academic and industry researchers. Continuing with a series of successful ten previous meetings, this conference spans the research interest area of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group in discourse and dialogue for both ACL and ISCA. SIGDIAL 2010 will be co-located with Interspeech 2010 as a satellite event.

For more information, see http://www.sigdial.org/workshops/workshop11/

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The relevant paper can be downloaded from http://ifaamas.org/Proceedings/aamas2010/pdf/01%20Full%20Papers/. The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

On Tuesday 21 Sept, 12.00, Yanjing Wang will publicly defend his PhD Thesis on Epistemic Modelling and Protocol Dynamics. After the defence there will be an informal workshop ("The Many Faces of Protocols and Knowledge") on some main themes of the thesis, starting at 14.30. Location, Doelenzaal, University Library, Singel 425.

For further information on the workshop, please consult http://homepages.cwi.nl/~yanjing/files/workshop.html.

Abstract: The standard way of modelling imperfect information in games is in terms of information partitions for players. In this view, each player is associated with an equivalence relation over the set of game positions. For multi-player games of imperfect information defined in this manner it turns out that most of the interesting algorithmic questions like determining the winning strategy and synthesis of an equilibrium profile are undecidable. The crucial element which yields undecidability is the ability of the game model to implicitly encode arbitrary private communication between players. In this light, we propose a model where the players' information partitions are generated explicitly by means of communication. We define a notion of locally consistent equilibrium and suggest that this better captures the intuition of stable behaviour of players. We show that when communication is by means of public announcements, it is decidable to check whether locally consistent equilibrium profile exists.

This work is joint with R. Ramanujam (IMSc., Chennai).

For more information, contact Krzysztof Apt at apt at cwi.nl.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For abstracts and more information, see http://www.illc.uva.nl/dip/.

For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venema at uva.nl).

Positional games are a class in the wide spectrum of combinatorial games. Their main characteristic is a simple basic concept, but at the same time, in contrast to most of the other combinatorial games, a non-trivial theory supporting them. The scientific community working in positional games has witnessed a rapid expansion lately, and there are plenty of new topics in the area.

For more information, contact Tobias Mueller at T.Mueller@cwi.nl.

For abstracts and more information, see http://www.illc.uva.nl/dip/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see http://www.uu.nl/NL/faculteiten/geesteswetenschappen/Onderzoek/. A paper of Belnap's is available for preparatory reading. Please contact Thomas Müller (thomas.mueller at phil.uu.nl) in case you're interested.

Algorithmic game theory is a rather recent research field that lies at the intersection of economics, computer science and mathematics. Its origins in the early 1990's were largely motivated by the wealth of new applications that came into existence with the emergence of the Internet. The field pursues mathematical studies of games with a particular focus on computational and algorithmic issues. These studies are interdisciplinary in flavor and often demand for a combination of methodologies and techniques from the areas of optimization, algorithms and game theory. Algorithmic game theory contributed successfully to the understanding of many fundamental games in recent years and has become a highly active research field.

The two-day workshop will be hosted at the Center for Mathematics and Computer Science (CWI) in Amsterdam and will take place September 2-3, 2010. There will be four keynote talks and about 12 contributed talks.

Please register before August 16, 2010. For more information, see http://www.cwi.nl/~schaefer/agt10/

Dependence and independence are common phenomena, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is their role in logic and - turning the tables - what is the logic of these concepts?

The possibility of nesting quantifiers, thus expressing patterns of dependence and independence between variables, accounts for much of the expressive power of first order logic. However, first order logic is not capable of expressing all such patterns, and as a consequence various generalizations - such as branching quantifiers, or the various variants of independence-friendly logic - have been introduced during the last fifty years. Dependence logic is a recent formalism, which brings to the forefront the very concept of dependence, isolating it from the notion of quantifier and making it one of the primitive elements of the language. It can also be added to other logics, such as modal logic. This has opened up an opportunity to develop logical tools for the study of complex forms of dependence, with applications to computer science, philosophy, linguistics, game theory and mathematics. Recently there has been an increasing interest in this topic, especially among young researchers.

The goal of this workshop is to provide an opportunity for researchers to further explore the very notions of dependence and independence and their role in formal logic, inparticular with regard to logics of imperfect information.

For more information, see http://www.illc.uva.nl/dependence/. This workshop is organized as part of the European Summer School on Logic, Language and Information 2010 in cooperation with the European Science Foundation EUROCORES program LogICCC project LINT (Logic for interaction).

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the full Call for Proposals at here or the website (forthcoming) at http://www.hum.ku.dk/esslli2010/.

The Student Session of the 22nd European Summer School in Logic, Language and Information will take place in Copenhagen, Denmark from August 9 to August 20. We invite submissions of papers describing original, unpublished research conducted in the interdisciplinary areas of LOgic and COmputation, LOgic and LAnguage, and LAnguage and COmputation. All (co-)authors must be students (i.e., before the completion of the Ph.D.).

Deadline for submissions (extended): 3 March 2010. For more information, see http://marija.gforge.uni.lu/esslli2010.html or the ESSLLI 2010 website at http://esslli2010cph.info/.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

We survey some recent results concerning the design and analysis of algorithms that ensure the schedulability of real-time tasks. We consider the problem of analyzing and certifying the feasibility of a system of periodically or sporadically recurring real-time tasks with hard deadlines, that have to be scheduled on a platform composed of one or more identical processors. We provide lower and upper bounds on the complexity of exact feasibility testing, as well as approximate feasibility tests for both the periodic and the sporadic variant.

For more information, see k.r.apt at uva.nl

We provide an axiomatic framework for the the well studied lexicographical improvement property and derive new results on the existence of strong Nash equilibria for a very general class of congestion games with bottleneck objectives. This includes extensions of classical load-based models, routing games with splittable demands, scheduling games with malleable jobs, and more. Furthermore, we discuss the computational complexity of computing pure Nash and strong equilibria in these games.

For more information, see k.r.apt at cwi.nl

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.

PALMYR is a yearly meeting taking place alternatively in Amsterdam and Paris. At each PALMYR workshop, visitors give talks about their current reserch interests, each presentation being commented by a fellow researcher from the host town. PALMYR IX will be held at the Institute for Logic, Language and Computation (ILLC).

For more information, see: http://www.illc.uva.nl/PALMYR/PALMYR-9/.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

This is a small workshop on June 22, 2010, in connection with the PhD defense of Jarmo Kontinen on the topic of the thesis: Coherence and Complexity in Fragments of Dependence Logic.

Speakers are: Davide Grossi (Amsterdam), Peter Lohmann (Hannover), Lauri Hella (Tampere), Pietro Galliani (Amsterdam), Theo Janssen (Amsterdam), Juha Kontinen (Helsinki). Organizer: Jouko Väänänen

For more information, see http://www.math.helsinki.fi/logic/jarmo/

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

We discuss the one-way flow model of dynamic network formation games. Here the nodes in the network correspond to agents, while the directed arcs indicate the flow of profits to these agents. At discrete moments in time agents can choose from any of the local actions: (1) passing (i.e. not changing anything), (2) adding a link, (3) removing a link, or (4) replacing a link, where each agent can only choose from the links pointing at him. In any given network a payoff for each agent is calculated as the total of profits flowing to his node minus the costs for the links directed at his node. We prove the existence of Nash networks for the case of owner-homogeneous costs and we discuss a procedure of local improvements that leads to a Nash network in finitely many steps. Finally, we discuss an example to illustrate that Nash networks fail to exist if costs are heterogeneous, even if they are ε close to owner-homogeneity.

For more information, contact k.r.apt at cwi.nl

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The SemDial Workshops aim at bringing together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, artificial intelligence, computational linguistics, psychology, and neural science. SemDial 2010 will be the 14th workshop in the SemDial series. It will take place in the historic city of Poznan (Poland), organized by the Institute of Psychology at Adam Mickeiwicz University. Invited talks will be given by Dale Barr, Jonathan Ginzburg, Jeroen Groenendijk, and Henry Prakken.

The (extended) submission deadline for full papers (8 pages) is the 29th of March, 2010. For more information, see http://www.semdial2010.amu.edu.pl/ and http://www.illc.uva.nl/semdial/

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

In this short talk, I will briefly present the main highlights of my past and current research. The thread that unifies most of my work is the use of logical formalisms inspired from Dynamic Logic (a type of modal logics), to represent and reason about information flow in multi-agent systems.

Time permitting, I will focus in more depth on two of my research topics: (1) my work on dynamic logics for reasoning about Quantum Information Flow, and its applications to quantum protocols for Secure Communication; (2) my work on logical models for interactive belief revision, and its applications to dynamic rationality and equilibrium concepts in Game Theory.

Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 10th time. The event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.

For more information, see http://www.nwo.nl/bessensap

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information, see: http://www.illc.uva.nl/lgc/seminar/?p=652

Computational Humanities is a new, largely unexplored, field which is situated at the interface between the humanities and the (exact) sciences, in particular information science. The humanities differ from the sciences in their concern with expressions of the human mind, such as language, literature, music, art and history. While computational approaches to the humanities exist since the 1960s, it is only during the last decade or so that digitized data have become available in such quantities that we can observe the emergence of a new overarching field. One of the major aims of this field is to automatically detect novel patterns and concepts in historical, musical, textual and artistic data that are (practically) impossible to find by hand. While initial work in computational humanities focused on local and low-level patterns, there is a shift towards unraveling more complex, higher-level patterns such as the notion of theme in literature, style in painting and music, and long-term relations in history. The goal of this workshop is (1) to give an introduction to this upcoming field, and (2) to investigate to what extent computational humanities share models and techniques with other areas of computational science.

For more information, see http://staff.science.uva.nl/~rens/CompHum2010.htm

On Tuesday 1 June 2010 at 11:00am, Daisuke Ikegami will publicly defend his PhD thesis entitled "Games in Set Theory and Logic" in the Oude Lutherse Kerk in Amsterdam. Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

Speakers: Jouko Väänänen, Katie Thompson, Christoph Weiss, Jörg Brendle, Joan Bagaria, Yurii Khomskii, Stefan Geschke, Marcin Sabok, Brian Semmes, Philipp Schlicht, Sean Cox, Dominik Adolf, Ralf Schindler

For more information, see http://staff.science.uva.nl/~ykhomski/workshop_ikegami/

The International Conference on Computational Science 2010 (ICCS 2010) aims to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques.

The theme for ICCS 2010 in Amsterdam is "Advancing Computational Thinking", to mark several decades of progress in computational science theory and practice, leading to greatly improved applications in science. This conference will be a unique event focusing on recent developments in methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others.

For more information, see http://www.iccs-meeting.org/

For abstracts and more information, see http://www.illc.uva.nl/dip/.

Quantales are very simple ordered algebras which can be thought of as pointfree noncommutative topologies. In recent years, their connections have been studied with fundamental notions in noncommutative geometry such as groupoids and C*-algebras. In particular, the class of quantales corresponding to certain very well behaved groupoids (the etale groupoids) has been identified by means of a non-functorial duality. However, there are very interesting examples of groupoids that do not belong to this class. For instance, groupoids that arise from group actions on topological spaces. In a joint work with Riccardo Re, the non-functorial duality has been extended to these latter groupoids as well. In the talk, I will introduce this line of research, sketch the main ideas of the duality, and discuss some examples.

http://www.science.uva.nl/research/math/Calendar/colloq/

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

(Dutch only)
Muziek is emotie. Maar kun je dat ook meten?
Muziek kan ons ontroeren, laten dansen en helpen bij de studie. Wat klanken en ritme met onze hersenen doen weten we nog niet precies, maar volgens muziekwetenschapper Henkjan Honing is iedereen muzikaal. U ook? Kom het zelf testen tijdens deze interactieve lezing.

Voor meer informatie, zie http://www.e-nemo.nl/?id=1&s=40&d=1279

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

The annual KNAW Cognition Lecture will be presented on May 21, 2010 by the well known French philosopher of mind, professor Pierre Jacob, of the Institute Jean Nicod, CNRS/ENS, Paris.

For more information, see http://www.knaw.nl/cfdata/events/events_detail.cfm?agenda__id=1429

Researchers and students of the institutes and companies located at the Science Park Amsterdam can submit innovative, original and feasible ideas for the Science Park. 5 nominations are made from all submissions. These will compete for a 3000 EUR prize in an event taking place on May 20th, where the nominees will present their ideas to a jury who will judge them based on commercial and/or societal value. The jury for the New Ideas Competition 2010 is chaired by Prof. Robbert Dijkgraaf (President of the Royal Netherlands Academy of Arts and Sciences [KNAW]).

For more information, see http://www.scienceparkamsterdam.nl/en/recent/newsitem/back_to/nieuwsbericht-1/ and http://www.english.uva.nl/knowledgetransfer/new-ideas-competition.cfm

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

Jouko Väänänen will give an intensive course "Lindström's Theorem - An invitation to abstract model theory" May 12-18 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen at helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/

For more information (dutch only), see http://www.congo.eu/.

Note: Professor Friedman will also speak at the meeting "Set Theory, Classical and Constructive", ILLC, May 6-7.

For more information, contact Jouko Väänänen (ILLC) at jouko.vaananen at helsinki.fi.

For abstracts and more information, see http://www.illc.uva.nl/dip/.

The aim of the meeting is to inform set theorists from whatever denomination about frontier research in the other field, and also to probe possible areas of common interest. Classical and constructive set theory have obvious points of contact: topos models are analogous to forcing, and classical set theory is often instrumental in the construction of models for intuitionistic set theory (e.g. in the work of Friedman and Scedrov). The organizers hope that this meeting brings these points to life.

The following invited speakers have confirmed to come: Peter Aczel, Andreas Blass, Juliet Floyd, Harvey Friedman, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Michael Rathjen, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin.

For more information, see http://www.math.uu.nl/people/jvoosten/setth0510.

While running an election sounds simple, it is in fact extremely challenging. Not only are there millions of voters to be authenticated and millions of votes to be carefully collected, counted, and stored, there are now millions of "voting machines" containing millions of lines of code to be evaluated for security vulnerabilities. Moreover, voting systems have a unique requirement: the voter must not be given a "receipt" that would allow them to prove how they voted to someone else - otherwise the voter could be coerced or bribed into voting a certain way. This lack of receipts makes the design of secure voting system much more challenging than, say, the security of banking systems (where receipts are the norm).

For more information, see http://projects.cwi.nl/crypto/risc.html

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/dip/.

What I call the dynamics of reason is an essentially historical response to the challenge to the rationality and objectivity of science arising in the wake of Kuhn's theory of scientific revolutions. I concentrate on developments in the mathematical exact sciences from Newton to Einstein together with parallel developments in scientific philosophy from Kant to logical empiricism, and I aim to show that Kant's original conception of scientific objectivity and rationality can be relativized and historicized in such a way that a trans-historical version of such objectivity and rationality is nonetheless preserved. I now want to look in more detail at historical developments leading up to the Kantian synthesis so as to bring both theological issues (culminating in Newton's metaphysics of space and Kant's reaction to it) and cultural and institutional events (involving the Church's very complex relationship to the new astronomy) into my historical narrative. Far from compromising the 'purely intellectual' integrity of the scientific and philosophical developments taking place in this wider context, my expanded narrative rather underscores their central importance.

For more information, please contact d.grossi at uva.nl

(Dutch only)
Vrijdag 23 april is het weer zo ver: Leve de Wiskunde! 2010. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. De onderwerpen zijn zeer uiteenlopend: van logica tot algebra en van vermoedens over priemgetallen tot de filosofie van de wiskunde.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/levedewiskunde

The Vereniging voor Logica (VvL) invites you cordially to the PhiMSAMP Book Launch (PhiMSAMP-6), held on 22 and 23 April 2010 in Amsterdam and Utrecht.

PhiMSAMP ("Philosophy of Mathematics: Sociological Aspects and Mathematical Practice") is an international research network funded by the Deutsche Forschungsgemeinschaft and coordinated from Amsterdam and Utrecht aiming to combine tools from sociology, psychology, educational studies, history and other subjects to provide a philosophy of mathematics that has a closer affinity to actual mathematical research practice than the traditional foundationalist philosophies. The network worked on this from 2006 to 2010 during a number of workshops and conferences; the result of this work is a volume published in the series "Texts in Philosophy". This volume will be presented to the public at the event.

The event also includes the annual General Membership Meeting of the VvL during the lunch break (12:15-13:45) on the 23rd (in Hoog Catharijne, Utrecht).

For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/6/. For the minutes of the previous VvL general membership meeting see http://www.verenigingvoorlogica.nl/verslagen/Notulen-ALV-19-jan-2007.pdf

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For abstracts and more information, see http://www.illc.uva.nl/dip/.

The "Music meets Science" festival is being held in Zutphen 16, 17 and 18 april. There will be lectures by HenkJan Honing and Xavier Serra, as well as concerts by (amongst others) Uva-emiritus prof. dr. Maarten Boasson.

For more information, see http://www.iplevents.org/mms/

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=613

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The WiF network will hold the third Annual Meeting, with lectures of prof.dr. Jos Engelen (Chairman NWO), Deniz van Heijnsbergen (FNWI Director of operations), Carolijn van Ditzhuijzen (winner of the WiF Best Publication Prize 2009) and Luusi Hendriks.

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/261ECBBF-1321-B0BE-A4C3A5F31EC726D0 or http://www.science.uva.nl/wif, or contact Kathleen Hair at k.h.hair at uva.nl.

We are having an informal set theory seminar. Anyone who is interested in set theory is welcome to attend.

For more information, see here.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

For abstracts and more information, see http://www.illc.uva.nl/dip/.

The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.

Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.

For more information, see http://www.illc.uva.nl/lint/midisova.php

Dr. Peter van Emde Boas (UvA, ILLC) has reached the age that he officially has to retire. On this occasion he will give a farewell lecture in the aula of the UvA (at 15:00).

On the day of his farewell speech, there will be a colloquium in which some of the subjects are represented in which Peter was active. The colloquium, in the same location, starts at 10:00.

For more information and a program, see here or contact t.m.v.janssen at uva.nl

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=608

The Computational Linguistics Seminar (CLS) of the Institute for Logic, Language and Computation (ILLC) is hosting a one-day workshop on "Parsing in the face of diversity", discussing the intersection of theoretical, typological, and technological concerns, on the occasion of the public defence of Reut Tsarfaty’s PhD dissertation, entitled "Relational-Realizational Parsing".

Confirmed Speakers:
* James P. Blevins (University of Cambridge, UK)
* Mark Johnson (Macquarie University, Sydney, Australia)
* Joakim Nivre (Uppsala University, Sweden)
* Owen Rambow (Columbia University, USA)
* Gregory Stump (University of Kentucky, USA)
* Yoad Winter (Utrecht University, The Netherlands)
* Reut Tsarfaty (University of Amsterdam, The Netherlands)

Attendance is free and open for all. For planning purposes, please let us know by March 15 if you would like to attend the workshop. Any further inquiries can be sent to r.tsarfaty at uva.nl. For more information, see http://www.illc.uva.nl/LaCo/CLS/ttt-workshop.pdf.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), Umberto Grandi (u.grandi at uva.nl) or Yurii Khomskii (Y.D.Khomskii at uva.nl)

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For abstracts and more information, see http://www.illc.uva.nl/dip/.

NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science.

Speakers:
Jan Friso Groote (TU/e)
Monika Henzinger (University of Vienna, Austria)
Georges Gonthier (Microsoft Research)
Monique Laurent (CWI, Tilburg University)

It is possible to participate in the organized lunch, for which registration is required. Please register with Ms Caroline Waij (cpwaij at few.vu.nl or 020-5983563) no later than one week before the meeting (March 5, 2010). The costs of 15 Euro can be paid at the location.

For more information, see here or http://www.nvti.nl/Theorydays.html

The core of a marriage problem consists of its stable matchings. When men and women are objectively ranked in a marriage problem, say by beauty, then the core is a singleton: pairing individuals of equal rank is the only stable matching. We generalize this observation using natural metrics on rankings and on matchings, as well as a measure of the gap in rank between mates in a matching. We provide bounds on the diameter of the core, and on the rank gap of stable matchings in terms of the diameters of the sets of rankings, and conclude that when the set of rankings is small, so are the core and the rank gap in stable matchings. We also show that when the rank gap in stable matchings is small, then the core is also small.

For more information, see http://homepages.cwi.nl/~monique/acoseminar/.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

This workshop takes the pulse of current interfaces between logic and games. It is held at the occasion of two thesis defenses, by Jonathan A. Zvesper and Cédric Dégremont, on the topic of dynamic logics of belief and belief change (broadly construed) and their applications to games. In addition, a number of prominent researchers will talk about their current work, ranging from game theory to computer science and philosophy. Talks will be short, and the workshop aims for exchange of ideas and interaction.

For more information, see http://staff.science.uva.nl/~cdegremo/GLLC17/GLLC17.html

For abstracts and more information, see http://www.illc.uva.nl/dip/.

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

The Algebra & Coalgebra group at The Institute for Logic, language and Computation is organizing a sequel to the successful Dutch Coalgebra Days that took place in previous years (the last one was in the CWI, Amsterdam on the 2nd March 2009).

The Coalgebra Day is an informal one-day meeting on topics related to the theory of coalgebras. We will have talks from the two invited speakers, Jiri Adámek and Stefan Milius (Technical University of Braunschweig, Germany), and from people attending the event. Participation is free for everyone, and there is no registration fee. Lunch and drinks will be offered to the participants.

For practical reasons, please let us know in advance if you plan to attend, and whether you would like to give a talk (+/- 30 min.), by sending an e-mail to R.A.LealRodriguez at uva.nl and vincenzoml at gmail.com before the 19th of February. For more information, see http://staff.science.uva.nl/~ciancia/coalgebra_day/.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see http://www.win.tue.nl/prose/

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/dip/.

[In Dutch only]

Op donderdag 11 februari 2010 organiseren het Instituut voor Informatica (IvI) en het Institute for Logic, Laguage and Computation (ILLC) van de Universiteit van Amsterdam het congres Viva Informatica! voor docenten, scholieren en andere belangstellenden die geïnteresseerd zijn in de actuele ontwikkelingen in het informatica onderzoek.

Voor meer informatie, zie http://www.science.uva.nl/vivainformatica.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/

For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl)

For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemey at hotmail.com) or Yurii Khomskii (Y.D.Khomskii at uva.nl).

For abstracts and more information, see http://www.illc.uva.nl/dip/.

The Dutch Organization for Logic and Philosophy of Science (VvL) would like to invite you to attend a symposium in the honor of Per Lindström, the Swedish logician who has sadly passed away on August 21. Per Lindström's work has had a profound influence on logic, and continues to be of importance in various branches of logic. During the symposium, three distinguished speakers will discuss various aspects of his intellectual legacy.

Everybody is welcome and the program is free. The program of the symposium and the abstracts of the talks may be found at here.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

The symposium tackles dynamic aspects involved in normative systems change, by pursuing an interdisciplinary approach at the interface of (deontic) logic, artificial intelligence, and socio-economical disciplines. More specifically, topics of interest will be: norms and games, norms for the dynamics of interaction (procedures), the dynamics of normative systems, norm change and the dynamics of different cognitive attitudes (e.g. knowledge and preference).

Registration deadline: Monday January 4th. For more information, see http://www.cs.uu.nl/events/normchange2/index.html

After four years of research, the Marie Curie Research Training Site GLoRiClass is coming to the end of his four-year lifetime. Eight fellows have been funded by the project and wrote (or are still in the process of writing) their thesis. Their research touched many areas connecting games to other parts of logic. In our Farewell Event, we shall be celebrating the success of their work by inviting leading figures of their respective research areas.

On 14-15 January 2010, we shall meet again in the historical Doelenzaal of the university library (where also the Halftime Event was held). All eight fellows will present their research: Cédric Dégrémont, Amélie Gheerbrant, Daisuke Ikegami, Marc Staudacher, Jakub Szymanik, Joel D. Uckelman, Andreas Witzel, Jonathan Zvesper. In addition to that, we are inviting keynote speakers who are leaders of the research areas touched by the work of our fellows.

For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=12

For more information, see http://www.science.uva.nl/news/agenda.cfm/5FA4F78A-1321-B0BE-A49DB8733B377512.

The conference has six different sections, as follows:
1. Logic and Applications
2. Philosophy of Mathematical and Physical Sciences
3. Philosophy of Life Sciences and of Cognitive Sciences
4. Methodology and Philosophy of Science
5. Philosophy and Methodology of the Social Sciences
6. Epistemology and History of Sciences

For details of the Association (SILFS) and the Conference (SILFS2010) see the SILFS website at http://www.unibg.it/silfs or the conference website at http://dinamico2.unibg.it/silfs/convegno2010.htm

The Association for the Philosophy of Mathematical Practice (APMP) aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics which engages with mathematics in practice ? including issues in history of mathematics, the applications of mathematics, cognitive science, etc. The Association was launched in 2009. The First International Meeting of the APMP will be held next December 9-11 in Brussels.

For more information, see http://www.vub.ac.be/CLWF/APMP2010/ or here.

2010 is the hundredth anniversary of Russell-and-Whitehead's Principia, and a symposium to comemmorate it is to be held at the University where the authors were working. Speakers: Robert Constable, Michael Potter, Mohan Ganesingalam, John Harrison, Randall Holmes, Ivor Grattan-Guinness and Fairouz Kamareddine.

As can probably be discerned from the list of speakers, this meeting is intended to address a broad range of interests: history, foundational mathematics, philosophy, type theory and mechanical theorem-proving. The symposium will be valuable to people interested in the intersection of these areas, or in relevant sub-branches of each area. Practitioners and students alike would benefit from attending this meeting.

The URL of the conference is http://www.srcf.ucam.org/principia/ and there is a link thence to a mailing list.

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI 2010, sponsored by JSAI.

For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

This is the second in an annual series of workshops on the philosophy of mathematics organized by a team of scholars from Paris, Nancy and elsewhere in France. The three-day meeting will feature both invited and contributed talks.

For more information, see here. or contact marco.panza at univ-paris1.fr.

Many tasks in computer science, such as design, synthesis, verification, etc. can be formulated in game-theoretic terms. Game playing is thus a powerful paradigm that fits many situations in which interaction between autonomous agents plays a central role. Abstracting security problems as games reveals the underlying theoretical and algorithmic questions, and helps to clarify the relationships between different domains. As an organizational principle, the concept of game offers a fresh and intuitive way of thinking through complex issues. There is now ample evidence that the diverse applications mentioned above can benefit from common analytical techniques and insights offered by algorithmic game theory, automata theory and logic.

The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.

The registration is free but mandatory. Deadline for registration: 4th November 2010.

All important details are available at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html

Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology (University of St Andrews), and CSMN, Centre for the Study of Mind in Nature (University of Oslo), are pleased to announce the fourth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy.

For more information, please visit the conference website: http://www.st-andrews.ac.uk/~arche/acgc/ or contact the conference organizers at archecsmngc4 at googlemail.com.

The Nijmegen Centre for Language Studies (CLS, Radboud University Nijmegen) presents the Eighth Semantics in the Netherlands Day (SiN VIII). SiN provides a possibility for graduate students (PhD, MA, MSc, MPhil) working in various theoretical frameworks to present their ongoing research on semantics. The keynote speaker this year will be Henk Zeevat (Department of Computational Linguistics/ ILLC University of Amsterdam).

For more information, see here or contact Erwin Komen at sin8nijmegen at gmail.com

This Workshop seeks to examine and explore issues concerning the logical and philosophical aspects of knowledge, communication and action in an integrated view. Perspectives are sought from those engaged in the fields of logic, history and philosophy of logic, logic applied to artificial intelligence and cognitive systems, general epistemology, social epistemology, belief theory, communication theory, discourse theory, formal semantics, pragmatics, philosophy of action, and history of philosophy connected with those topics. These disciplines are indicative only, as papers are welcomed from any area in which logic and philosophy of KCA play a part.

For more information, see http://www.ilcli.ehu.es/p287-content/en/contenidos/evento/ or contact Dr. María Ponte (e-mail: maria.deponte at ehu.es) or Dr. Xabier Arrazola (e-mail: josebaxabier.arrazola at ehu.es).

BNAIC is an international scientific conference for research in Artificial Intelligence. The BNAIC conferences series was initiated in 1988 by the Netherlands Association for Artificial Intelligence (later incorporating Belgium and Luxembourg to become the Benelux Association for AI) in order to promote research in AI among Benelux AI researchers, scientists and engineers in related disciplines. This year we are delighted to bring BNAIC for the first time to the Grand Duchy of Luxembourg. According to the success of previous years, BNAIC 2010 will include invited speakers, research and industry presentations and project demonstrations.

For more information, see http://bnaic2010.uni.lu/

The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic.

This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications. A special issue of the Journal of Artificial Intelligence Research will provide a venue for technical presentations.

For more information, see http://sites.google.com/site/nonmonat30/

The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

For more information, see http://sagt2010.cti.gr/

The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. It was created in 2008 in response to the fast-paced progress in the area.

Traditionally, computational linguistics was limited to the scientists specialized in the processing of a natural language by computers. Scientific approaches and practical techniques come from linguistics, computer science, psychology, and mathematics. Nowadays, there is a number of practical applications available. These applications are sometimes developed by smart yet NLP-untrained developers who solve the problems using sophisticated heuristics. CLA'10 Workshop is a place where the parties meet to exchange views and ideas with a benefit to all involved. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://cla2010.imcsit.org/

Studia Logica is the second oldest journal in logic, publishing continuously for 60 years. One of the distinctive features of Studia Logica is its focus on thematically organized issues, hence the large number of special issues in the journal's history. One of the next special issues will be entitled "Recent Developments related to Residuated Lattices and Substructural Logics", and devoted to recent developments in the field, as the title suggests. We have been asked to serve as guest editors. We invite submissions of papers presenting new results in the area.

For more information, see http://www.studialogica.org/ or http://www.ifispan.waw.pl/studialogica/si-Residuated-Lattices.html.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 17th LPAR will be held in Yogyakarta, Indonesia.

For more information, see http://www.computational-logic.org/lpar-17/

Every other year, a distinguished philosopher visits Tilburg University for one week to deliver the René Descartes Lectures. The inaugural lectures were given by Professor Huw Price from the University of Sydney in May 2008. The Descartes Lectures 2010 will be delivered by Professor Ian Hacking from the University of Toronto and the Collège de France. The title of the series of three lectures is "Proof: Calculation, Intuition, and A Priori Knowledge". Each lecture is followed by two commentaries.

The Descartes lectures are accompanied by a workshop that brings together scholars debating issues related to Professor Hacking's lectures.

For more information, see http://www.uvt.nl/tilps/descarteslectures2010/

The respective parts of the Philosophy Departments at Bochum (Germany), Lausanne (Switzerland) and Tilburg (The Netherlands) coordinate their graduate education in philosophy of language, mind and science. In this context, week-long meetings are organized which bring together students from all three locations as well as interested graduate students from other universities. Each meeting focuses on one main topic, which is covered in extended tutorials by invited speakers. Additionally, students are invited to present and discuss their own work. The graduate school is kindly sponsored by the DAAD within the Bi-national Graduate Program.

This year's Tilburg week is focused on "Calculation, Intuition, and A Priori Knowledge", and is embedded in the series of biannual René Descartes Lectures, which will this year be delivered by Professor Ian Hacking (Toronto/Paris). There will also be two mini-tutorials, held by James Conant (Chicago) and Martin Kusch (Vienna), on aspects of Professor Hacking's work.

This year's Lausanne week focuses on reductionism in philosophy of mind and neuroscience. The main lecturer is John Bickle. Further invited speakers are Mauro Dorato, Michael Heidelberger, Max Kistler, Albert Newen, Michael Pauen, and Joëlle Proust.

For more information, see http://www.uvt.nl/tilps/blt2010/ and http://www.unil.ch/philo/page64150.html.

The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London. Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is meant primarily as a showcase for young philosophers to present and discuss their best work, but will host keynote speakers as well. For this first edition, the topic for the invited contributions is 'Fiction and Fictionalism'.

For any other enquiries or further information please contact f.berto at abdn.ac.uk or see the conference website at http://www.abdn.ac.uk/philosophy/nip/ll2010/.

Biannual meeting of the DVMLG (Deutsche Vereinigung für Mathematische Logik).

For more information, see http://wwwmath.uni-muenster.de/logik/Veranstaltungen/cl2010/

The Young Researchers' Roundtable on Spoken Dialogue Systems (YRRSDS) is an annual workshop designed for post-graduate students, post-docs and junior researchers working in research related to spoken dialogue systems in both academia and industry. The roundtable provides an open forum where participants can discuss their research interests, current work and future plans. The workshop is meant to provide an interdisciplinary forum for creative thinking about current issues in spoken dialogue systems research, and help create a stronger international network of young researchers working in the field.

Participants will be asked to submit a 2-page position paper. Submissions will be accepted on a rolling basis until the maximum number of participants for the workshop (50) is reached, or until the submission deadline 23 July 2010.

For more information, see http://www.yrrsds.org/ or contact Raquel Fernandez.

The aim of the workshop is to draw together new research, conducted in various countries, under the broad heading of lattices with additional operations. A particular focus will be on lattices of binary relations expanded with relational operations. Examples of such lattice expansions include various fragments/variants of relation algebra, Kleene algebra, domain algebra, residuated algebras, etc. Particular research topics include
- (finite) axiomatisability of classes of algebras
- computational aspects e.g. decidability and complexity of the equational theory, representation problem for abstract algebras, finite representation property
- duality theory, completions and canonical extensions
- applications to substructural logics and program semantics.

The workshop is aimed at postgraduate research students with a background in mathematics and advanced researchers in the field.

For more information, see http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html

This workshop will be held at the 33th Annual Conference on Artificial Intelligence (KI-2010). It's goal is to bring together researchers from the fields of recommender systems, pervasive computing, mobile computing, urban sensing, social networking, context- aware systems and human computer interaction in order to foster the development of mobile services in context.

The main matters are:
- What is the nature of services provided to users on the move?
- How do needs and interests depend on contextual parameters?
- What levels of uncertainty have to be handled? / How is uncertainty handled?
- How can users configure and adapt systems? recommendations? / How are preferences handled?

For more information, see http://www8.cs.fau.de/inf8/events/CAIA2010

The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. Findings from history and philosophy of science and from cognitive psychology have revealed that the traditional logician's tool, Classical Logic, is not fit for explicating human reasoning either in the sciences or in everyday life. Times have changed, however. Today, a multiplicity of formal frameworks (ranging from non-classical logics over probability theory to Bayesian networks) is available in addition to Classical Logic. Also, historians and philosophers of science as well as psychologists have described a rich variety of patterns in both scientific and common sense reasoning.

The aim of LRR10 is to stimulate the use of formal frameworks to explicate concrete examples of human reasoning and, conversely, to challenge scholars in formal studies by presenting them with interesting new examples of actual reasoning. Therefore, we welcome papers in all areas related to non-classical logics and non-classical formal frameworks. We also welcome case studies from history and philosophy of science, as well as from psychology, that enhance our apprehension of concrete reasoning patterns that occur in the sciences and in everyday life. Finally, we welcome contributions that deal with the philosophical implications of the present-day insights for our understanding of rationality.

For more information, see http://www.lrr10.ugent.be/.

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. GAMES is the annual workshop of the Network.

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

As part of the interdisciplinary research project on "Knowing how and knowing that" sponsored by the Volkswagen Foundation we organize a three-day international workshop on the Foundations of Social Cognition.

This interdisciplinary meeting starts with philosophical investigations of different levels of processing realized in cognitive and social abilities. These methodological considerations will then be used to develop and discuss a new research framework of investigating social cognition. The workshop will be organized in four Symposia on (1) Levels of Processing, (2) Understanding Other Minds, (3) Social Cognition, and (4) Cultural Cognition/Neuroscience. In addition there will be a Session with Graduate Student presentations and a Poster Session. The conference language will be English.

For more information, see http://www.wuk.uni-bonn.de/workshop2010/topic2010_e.htm

Nonclassical logics form one of the most important branches of modern logic. In last decades a great variety of formal systems was developed especially in the context of computer science, artificial intelligence, formal linguistics, cognitive studies, as well as for the deeper analysis of traditional philosophical problems.

The diversification of systems and solutions calls for stricter cooperation between researchers from different fields of investigation. The main aim of conference is to provide a forum for better transfer of results.

This is the third edition of "Non-Classical Logic. Theory and Applications". Two times the conference was organized by Departament of Logic and Methodology at Lodz University. This year's edition is organized in Torun by Department of Logic at Nicolaus Copernicus University (http://www.logika.umk.pl/index_en.html)

Deadline for registration and payment: August 31, 2010. For more information, see http://www.logika.umk.pl/LNK10/index_en.html

We are pleased to announce that the annual meeting of the Swiss Graduate Society in Logic will take place in collaboration with the ESF Scientific Network Infty between 15-17 September 2010 in Lausanne. The topic of this year is The Infinite in Mathematical Logic and the invited tutorials will be given by Matteo Viale (Torino) on Infinite Combinatorics, Gerhard Jaeger (Bern) on Operational Set Theory and Large Cardinals, and Jean-Louis Krivine (Paris) on Realizability in Classical Logic. We organize the meeting to bring together graduate, postgraduates and postdocs in order to learn from senior researchers in the field but also from each other by discussing research issues during presentation sessions.

For more information, see http://www2.unil.ch/logique/VCS/VCS_Next_Events.html.

The Institute of Philosophy of the Academy of Sciences of the Czech Republic in cooperation with the Technical University of Vienna is organizing a colloquium broadly dedicated to the role of uncertainty calculi in epistemology.

Tentatively invited speakers and participants include Colin Howson, Peter Milne and Nick Smith.

For more information, see http://www.flu.cas.cz/colloquium or contact the organizers at colloquium at flu.cas.cz.

ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. The conference seeks to provide a forum for presentation and discussion of original research papers on all aspects of grammatical inference,

For more information, see http://users.dsic.upv.es/workshops/icgi2010/

The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature.

For more information, see http://jelia2010.tkk.fi/.

Computational social choice is a new discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

The meeting, which alternately takes place in Italy and in Spain, aims to promote the cooperation between Italian and Spanish topologists. The participation of researchers from other countries is warmly encouraged. Traditionally, it is emphasized on the relation between the general or set-theoretic topology, and other areas of mathematics or sciences. Thus, topics like, for example, topological methods in functional analysis or in dynamical systems, hyperspaces, applied topology for computer sciences or economy, algebraic methods in spaces of continuous functions, etc, are usually considered.

Deadline for registrations: August 12, 2010. For more information, see http://ites2010.unex.es or email ites2010 at unex.es.

For more information, see http://www.bslps.be/YRD2.html

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases.

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Keynote speakers: John Carroll (University of Sussex, UK) and Christiane Fellbaum (Princeton University, USA).

For more information, see http://www.tsdconference.org/ or contact Dana Hlavackova at tsd2010 at tsdconference.org.

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium.

For further details see the webpage http://events.cs.bham.ac.uk/BLC2010.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2010 is the eighth conference in the series.

For more information, see http://aiml10.mi.ras.ru/ or contact the chair of the organizing committee at lbekl at yandex.ru or the PC co-chairs at aimolog2010 at gmail.com.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants, and is accompanied by satellite workshops on more specialized topics. The Ackermann Award for 2010 will be presented to the recipients at CSL'10.

For more information, see http://www.mat.uc.pt/~csl/ or contact the organisers at mfcsl2010 at fi.muni.cz.

Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, databases. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.

FICS-2010 is a satellite workshop to MFCS & CSL 2010. For more information, see http://www.lif.univ-mrs.fr/fics2010/

We tend to think of liberal democracy as providing the most ethically defensible way to set up a modern society. A separate yet highly relevant issue is whether liberal democracies also are preferable from an epistemological perspective, i.e., from the point of view of promoting true over false belief, knowledge over ignorance, and so on. The purpose of this conference-and of the research project that it is part of-is to investigate the norms, practices, and institutions that determine how belief and knowledge is acquired and transmitted in liberal democracies.

For more information, see http://epistemology.ku.dk/

Artificial Intelligence (AI) is a central topic in contemporary computer science and informatics. The fruits of fifty years of AI research have benefited application domains as disparate as industrial systems control and medicine. The milestone events in AI research are increasingly regarded as milestones in human scientific and technological development: from the first chess playing program to defeat a reigning world champion under standard chess tournament rules, to the first robot to autonomously traverse 150 miles of rough terrain. Techniques, results, and concepts developed under the banner of AI research have proved to be of fundamental importance in areas such as economics, philosophy, linguistics, psychology, and logical analysis. And of course, AI remains a topic of perennial fascination in popular culture.

Initiated in 1974, the biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI-2010 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), and an extensive programme of workshops, tutorials, and invited speakers.

For more information, see http://ecai2010.appia.pt/

In recent years there has been a good deal of interest in developing two perspectives in tandem: logics that analyze agent interaction, and introducing interactive viewpoints into logic itself. While this has generated much new research, many broad questions remain. This ESSLLI 2010 workshop will systematically cover a number of major issues that arise here.

For more information, see ai.stanford.edu/~epacuit/lograt/wkshp-esslli2010.html

Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely.

This ESSLLI-2010 workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics).

For more information about the workshop, see http://www.irit.fr/~Laure.Vieu/Esslli10.

Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely.

This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The focus of the workshop will be on recent developments, especially those that combine several approaches to deal with complex dialogue and communication phenomena.

For more information, see http://www.irit.fr/~Laure.Vieu/Esslli10 This workshop is organized as part of the European Summer School on Logic, Language and Information 2010.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 11th CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010.

In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions:
* Norms and Normative Multi-Agent Systems
* Logics for Games and Strategic Reasoning

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXI/, or send enquiries to clima2010 at easychair.org.

STAIRS is an international meeting intended to support AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year. STAIRS offers doctoral students and young post-doctoral AI fellows a first experience on submitting and presenting a paper in an international forum with a broad scope and a peer review process, as well as an opportunity to gather knowledge and exchange ideas related to their research problems and approaches together with information on European research careers and mobility.

STAIRS 2010 will be co-located with ECAI 2010, the European Conference on AI. Co-location with both ECAI and PAIS aims at creating a unique and valuable opportunity for young researchers to gain experience at presenting their work in a supportive scientific environment, and obtain constructive feedback on the technical content of the work as well as how to present the work and other related topics.

For more information, see http://ecai2010.appia.pt/stairs

In the successful tradition of logic satellite meetings at recent ICMs, we shall hold a satellite conference on mathematical logic and set theory in India to provide a specialized venue for logicians and set theorists connected with ICM 2010 in Hyderabad. The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others) with a special emphasis on set theory.

For more information, see http://www.illc.uva.nl/Chennai/ or contact the organizeres, Benedikt Löwe (Amsterdam) and R. Ramanujam (Chennai), at jam at imsc.res.in.

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

Recent advances in technology have enabled the use of diagrams, sketches and other visualizations to become an integral part of our lives. For effective communication with these novel and sophisticated visual representations, we need insight into how diagrams are used, how they are represented, which types are available and when it is appropriate to use them. These concerns have triggered a surge of interest in the study of diagrammatic notations for communication, cognition, creative thought, computation and problem-solving.

For more information, see http://www.diagrams-conference.org/2010/ or contact the organisers at diagrams2010 at diagrams-conference.org.

2nd Brazilian Workshop of the Game Theory Society, in honor of John Nash, on the occasion of the 60th anniversary of Nash equilibrium.

The workshop will offer the participants the opportunity to interact with some of the most productive researchers in Game Theory. The week-long event will consist of conferences, contributed papers sessions and mini-courses which will start at the introductory level and will reach the frontiers of current research.

Early registration; 03/15/2010. For more information, see http://www.gametheorysociety.org/conferences/#29July2010 and http://aplicativos.fipe.org.br/bwgt2010/index.htm

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

For more information, see http://www.floc-conference.org/IJCAR-home.html.

TMFCS is an important event in the theoretical, mathematical and logical areas of computer science. The conference will be held at the same time and location where several other major international conferences will be taking place.

Please see http://www.promoteresearch.org/2010/tmfcs/ for more details.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.

For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.

Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. Hybrid logic is now a mature field with significant impact on a range of other fields.

The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power.

See the workshop home page at http://hylocore.ruc.dk/HyLo2010.html for further information.

The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability Testing (SAT).

For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law.

In addition to these general themes, DEON2010 will encourage a special focus on the topics: Deontic Logic and Legal Systems.

For more information, see here.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.

Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" (http://zalafilms.com/films/halmos.html).

For more information, see http://wollic.org/wollic2010/

This is the ninth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

For more information, see http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html

CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

For more information, see http://www.cie2010.uac.pt/

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

For more information, see http://www.cie2010.uac.pt/

MOVEP is a 5 day summer school about modelling and verifying parallel processes. The first five occurrences of the School took place in Nantes (France) every two years from 1994 to 2002. The next editions were held in Brussels (Belgium) in December 2004, in Bordeaux (France) in June 2006, and in Orleans (France) in June 2008.

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc.

In addition to the tutorials and talks, there will be special sessions where Ph.D. students have the possibility to present their on-going research.

FURTHER INFORMATION
Web site: http://automata.rwth-aachen.de/movep2010/
Email: movep2010 at automata.rwth-aachen.de

The Centre for Philosophy of Natural and Social Science announces its Third Graduate Conference in Philosophy of Probability to be held at the London School of Economics.

We are very pleased to have Professor Dorothy Edgington (Birkbeck), Professor Mauricio Suárez (Compultense University) and Dr. Antony Eagle (Oxford) as our keynote speakers.

For more information, see http://www2.lse.ac.uk/CPNSS/events/GraduateConferences/gradconf10.aspx or contact Seamus Bradley at :s.c.bradley at lse.ac.uk.

This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France. It is aimed at discussing and exploring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematicians and logicians may influence the results of their enquiries and, more broadly, the notion of what counts as proof. Through this conference, the PratiScienS group also aims at promoting a methodological reflection on the difficulties that a critical analysis of such practices in logic and mathematics implies and on issues related to the development of the appropriate exploratory conceptual tools.

For more information, see http://poincare.univ-nancy2.fr/encours/Activites?contentId=6803

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

The square of opposition is a very famous theme related to Aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. This will be the second world congress organized about the square of opposition after a very succesful first edition organized in Montreux , Switzerland in 2007.

The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented. There will be a music show and a movie illustrating the square. Invited speakers include Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.

For more information, see http://www.square-of-opposition.org/.

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization.

For more information, see http://gandalf.dia.unisa.it/

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. These year;s workshop will take place at the ENS in Paris and will feature three tutorials in Decisions, Games & Logic, and a panel discussion on the theme 'The future of the Decision Sciences'.

For more information, see the website at http://meansandends.com/workshop10/ or contact the organizers at dgl2010 at rationalite.org.

Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic, organized by Hiroakira Ono (Research Center of Integrated Science, Japan Advanced Institute of Science and Technology JAIST) and Constantine Tsinakis (Vanderbilt University and Consortium for Order in Algebra and Logic, OAL) at the Research Center for Integrated Science at JAIST.

Please direct all inquiries to asubl4 at jaist.ac.jp and visit the workshopÿÿs webpage at http://www.jaist.ac.jp/rcis/asubl4.

This is a conference on Model Theory from a philosophical perspective. The conference is supported by the Institute of Philosophical Research (EA 373) and the “Knowledge, Language and Modelling” Graduate School (ED 139) of the University Paris Ouest Nanterre, and by the Institute of History and Philosophy of Science and Technology (IHPST). It will be held in Paris from June 2 to June 5, 2010 at the University Paris Ouest and at the Ecole Normale Supérieure. Conference organizers are Denis Bonnay, Brice Halimi and Jean-Michel Salanskis.

Please also note the conference website: http://www.u-paris10.fr/91815809/0/fiche___pagelibre/

BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the third in a series that will rotate among universities of the region.

There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

The conference will consist of two parts:
1. A workshop on non-classical algebraic structures (June 2-3, 2010);
2. A workshop within the series of AAA conferences (June 4-6, 2010);
each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

This conference aims to explore the state of the art of game-theoretic models in the study of communication and language. The importance of the interplay between participants in modeling the dynamics of communication has long been appreciated. Only recently, however, have the specific models of game theory been applied to this problem. Recent developments in fields as diverse as evolutionary biology and multi-agent systems have shed new light on both the sophistication of game-theoretic models and the breadth of phenomena they can address. The goal of this conference is to consolidate perspectives and encourage communication on this topic across disciplinary lines. As such, both "communication" and "game-theoretic model" should be construed as broadly as possible; researchers in any field actively pursuing this endeavor are encouraged to apply.

Invited speakers include Robert Stalnaker, Rohit Parikh, Prashant Parikh.

Send submission or any inquiries to Alistair Isaac at aisaac at stanford.edu

The purpose of the SPE colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the related areas of philosophy (philosophy of language, metaphysics, philosophy of mathematics, philosophy of mind, epistemology) . The colloquium takes place annually in different European cities, such as Paris (SPE1, 2008), London (SPE2, 2009), and Bochum (SPE4, 2011).

Invited speakers: Thomas Hofweber (University of North Carolina, Chapel Hill), Peter Pagin (University of Stockholm), Paul Portner (University of Maryland), Graham Priest (University of Melbourne and CUNY Graduate Center)

For more information, see http://semantics.univ-paris1.fr/index.php/visiteur/activite/afficher/activite/89

MLNL'10 is the second issue of a series of yearly meetings on Mathematical Logic and related areas in the Netherlands. Rather than a specialized conference, where advanced research results are reported, the aim is to get to know each other better and strengthen our community.

We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. Master students in logic are most welcome to attend the meeting too.

For further information, please visit the website at http://www.phil.uu.nl/~iemhoff/MLNL/mlnl10.html

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.

Additional informations is available at: http://pm100.mcmaster.ca/

The symposium comprises a two-day graduate conference and a two-day research workshop with Scott Soames. It is organized by the Emmy Noether Research Group "Understanding and the A Priori" at the University of Cologne. The graduate conference will feature eight talks by graduated students on issues related to meaning, modal truths, a priori knowledge and their interrelations, each followed by a short comment by a graduate student. The keynote lecturer is Scott Soames. The workshop is aimed at researchers interested in the work of Scott Soames. In addition to a discussion of selected papers of Soames' the workshop will feature four critical comments on aspects of his work.

For further information on the symposium and general registration details see: http://mmasymposium.fromthearmchair.net/ or contact mmasymposium at gmail.com.

Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems.

Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts.

For more information, see http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html.

Logic is an independent research area, however its significance in science depends on its possible applications. Cognitive Science is an area where applications of logic are especially needed and welcomed.

The Conference is organized by Department of Logic at Nicolaus Copernicus University, Torun, Poland. At the same time two other related conferences concerning philosophy of mind and artificial intelligence will take place in Torun. All three events are parts of the project called Argumentation as a Cognitive Process. We hope to gather broader audience consisting of logicians, philosophers and computer scientists among others.

For more information, see http://www.logika.umk.pl/lcs/

Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

This is the third of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year;s festivities coincide with the 30th anniversary of Ray Reiter's "A Logic for D efault Reasoning" and the 15th anniversary of John Pollock's "Cognitive Carpentry". The event is dedicated to the memory of John Pollock. Confirmed participants include Thony Gillies, John Horty, Mohan Matthen, Jim Pryor, Susanna Siegel, and Scott Sturgeon.

The conference website is http://www.utm.utoronto.ca/~weisber3/3FEF/.

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

This event, sponsored by the National Science Foundation funded Mid- Atlantic Mathematical Logic Seminar (MAMLS) and the City University of New York, provides an opportunity for graduate students in logic to present their research, meet students from other institutions, and interact with senior logicians.

For further information, visit the website below. http://nylogic.org/GradStudentConference

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

Rationality, Markets and Morals (RMM) offers a forum to all scholars interested in problems at the intersection of philosophy and economics, whether they are looking at economic problems from a philosophical point of view, are applying economic methods in investigating philosophical problems, or are engaging issues concerning the common foundations of both disciplines as, for instance, in the theory of rational decision making.

RMM is an international online journal based in Europe, published by Frankfurt School Verlag. Articles are generally published in English. Authors using formal methods are welcomed yet requested to take pains to make their arguments accessible to a broad audience. Technical details should be placed in appendices. In addition to original research articles, RMM features a discussion section with short articles and comments and a book review section.

For more information, see http://www.rmm-journal.de/index.html

On April 15th and 16th of 2010, the Synthese Conference will take place at Columbia University. The 2010 edition of the Synthese Conference will focus on the theme of epistemology and economics. Recent years have seen an increasing amount of interaction between epistemology and economics: traditional topics in epistemology, such as the analysis of knowledge, have found a significant role in the study of interactive decision making, while traditional topics in economics, such as the analysis of rationality, now figure prominently into certain areas of epistemology.

The conference will feature the announcement of the first Synthese Distinguished Paper Award, for the best paper published in the journal of every other year.

For more information, see here or http://www.springer.com/philosophy/philosophy+of+sciences/journal/11229, or contact synthese.conference.2010 at gmail.com.

Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.

For more information, see http://www.uvt.nl/tilps/FPS2010

Various philosophers of the past - and many philosophers of today - believe that there can be real progress in philosophy and that such progress is facilitated crucially by a close interaction between philosophy and the sciences. "Scientific Philosophy" maintains that philosophical theses and arguments should be just as clear and precise as scientific ones; philosophers ought to build theories and models much as scientists do; and the application of mathematical methods as well as input from empirical studies are often necessary in order to gain new insights into old philosophical questions and to progress to new and deeper ones. This workshop will address what Scientific Philosophy is all about, what it has in common with science and where it might diverge from it, what we can learn from its historical successes and failures, and, most importantly, how we should assess its future prospects.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/sppf2010/

This special issue of Studia Logica is devoted to recent developments in the field of the structures that incorporate algebraic methods to the study of logic, as the title suggests. We invite submissions of papers presenting new results in the area, that can be of interest to both logicians and algebraists.

The deadline for paper submissions is September 30, 2010, but we ask to inform us as soon as possible of your intention to submit by sending a message to the Guest Editors at imabad at criba.edu.ar.

For more information, see http://www.studialogica.org/.

A Special Session on Universal Algebra and Order is to be held at the AMS Sectional Meeting in St. Paul, Minnesota on April 10 and 11.

For more information, see http://ams.org/amsmtgs/2166_deadlines.html or contact Jeffrey Olson at jolson at norwich.edu.

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayesh at dmu.ac.uk.

The Harvard-MIT Gradute Philosophy Conference is an annual philosophy conference for graduate students organized by graduate students at Harvard and MIT.

2010 Keynote Speaker: Derek Parfit, All Souls College, Oxford

For more information, see here or contact the organizers at harvardmit2010 at gmail.com.

Formal models of norm change have been drawing attention since the seminal work of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. Research trends in Artificial Intelligence have recently revived this attention emphasizing the importance of a formal analysis of the type(s) of dynamics involved in systems of norms, and norm change has become the topic of a dedicated international workshop.

This special issue aims at providing an up to date account of the formal analysis of norm change, an area at the interface of logic, philosophy, computer science and legal theory.

Deadline for submissions (extended): 30 June 2010. For more information, see the CfP at http://staff.science.uva.nl/~grossi/SpecialIssue/NormChangeJANCL.

The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

The age of information explosion gives us a whole new spectrum of possibilities for creating an intelligent machine. Many marvelous ideas of the dawn of Artificial Intelligence research faced problems of exceptions and the impossibility of manual input of all needed knowledge, but today we have vast amounts of data from sensors and text so that we can rethink classical AI methods and approaches. The increased use of WWW, RFID, Bluetooth, etc. could allow us to determine standard human behaviors, emotions or even moral reasoning according to the Wisdom of Crowds hypothesis. Collective input data could also help to retrieve knowledge about the physical world we live in. By combining Natural Language Processing methods with cognitive approaches, we can discover a new range of intelligent systems that understand us, our environment and our feelings.

In this context, we see a role for NLP and cognitive approaches to play in developing a new generation of user-friendly, safe systems that, through interaction with the user and the world, can learn how to reason, behave or speak naturally. We are interested in original papers on systems and ideas for systems that use common sense knowledge and reasoning, affective computing, cognitive methods, learning from broad sets of data and acquiring knowledge, or language and user preferences. The symposium intends to spark an interdisciplinary discussion on joining forces to return AI to its original, broader and deeper goals which are currently represented by AGI - Artificial General Intelligence.

For more information, see http://sig.media.eng.hokudai.ac.jp/AISB10/LaCATODA2010/

A normative multi-agent system is a multi-agent system to which norms (e.g., obligations, permissions) are added, which specify the desired agents' behavior within the system. Agents, on the other hand, can autonomously decide whether to follow or to violate such norms and, possibly, whether to change them.

The workshop brings together researchers at the interface of several disciplines such as multi-agent systems, deontic logic, sociology, legal theory.

For more information, see http://staff.science.uva.nl/~grossi/NorMAS10Site/home.html

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.

In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).

For more information, see http://ethics.let.hokudai.ac.jp/en/events.html or contact Shunzo Majima (caep at let.hokudai.ac.jp).

The 19-th annual meeting of BEST will be hosted at Boise State University during the weekend of March 27 (Saturday) - March 29 (Monday), 2010

Contributed and invited talks will be held on Saturday, Sunday and Monday at the Department of Mathematics, Boise State University. The invited speakers curently include: Justin Moore (Cornell University), Frank Tall (University of Toronto) and Toshimichi Usuba (University of Bonn).

The conference webpage is available at http://math.boisestate.edu/~best/best19.

The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc.

CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact cmcs10 at cwi.nl.

People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

Conference Homepage: http://szklarska2010.hlotze.com/

The workshop offers lectures by keynote speakers Prof. David Papineau (King's College London), and Michael Esfeld (University of Lausanne, CH), as well as presentations of selected Graduate Papers.

General Registration deadline: February 25th. For more information, see http://www.rub.de/philosophy/carnap2010

Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

For more information, see http://agi-conf.org/2010/

The aim of PhD's in Logic II is to bring together young researchers in the field of logic. During these two days there will be 4 tutorials in to tal, 2 about mathematical and 2 about philosophical logic. In addition, PhD students and recent postdocs in mathematical or philosophical logic are in vited to present their work. Of course, everyone is kindly invited to attend the tutorials and contribut ed talks!

For more information, see http://www.tilburguniversity.nl/phdsinlogic or contact phdsinlogic at uvt.nl

Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.

In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.

Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.

For more information, see http://www.cs.swan.ac.uk/greifswald2010/

Studia Logica invites contributions to a special issue on "Logic and Natural Language", edited by Nissim Francez (Technion, Haifa) and Ian Pratt-Hartmann (University of Manchester). It is envisaged that the issue will comprise papers in two broad areas: (i) the use of logical techniques in the presentation and analysis of grammar formalisms; (ii) investigation of the logical characteristics (expressiveness, complexity, proof-theory) of natural language.

Deadline for submission of manuscripts to the issue editors: 3.9.2010.

For more information, see http://www.studialogica.org/ or http://www.ifispan.waw.pl/studialogica/si-Logic-and-Natural-Language.html, or the PDF of the full CFP at http://www.studialogica.org/CfP-Pratt-Hatmann.pdf

ICAART brings together top researchers and practitioners in several areas of Artificial Intelligence, from multiple areas of knowledge, such as Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

For more information, see http://www.icaart.org

The Dutch-Flemish Association for Analytic Philosophy organizes its Fourth Conference from wendesday January 20 (1.30 p.m) till Friday January 22 (4 p.m) 2010 at the Institute of Philosophy (University of Leuven, Belgium). This year's topic will be Epistemology and Philosophy of Mind at The Crossroads.

For more information, see http://drcwww.uvt.nl/~buekens/vaf/vaf2010.htm or contact Filip Buekens at f.a.i.buekens at uvt.nl

The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, this year and the proceedings published as LNAI 5378.

The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

The deadline for receiving applications is November 13, 2009. For more information, see http://ali.cmi.ac.in/isla2010 or contact the organizers at icla at imsc.res.in.

On the occasion of the PhD defense of Alexandra Silva, we are organizing a workshop around the theme "Kleene Coalgebra", which is the subject of Alexandra's thesis.

The programme will consist of talks by Dexter Kozen (Cornell), Luis Barbosa (Minho) and Alexandra Silva (CWI).

For more details, on the programme and location, check the workshop's webpage at http://homepages.cwi.nl/~ams/kc/ or contact ams at cwi.nl.

In the week December 13-20, 1919, Ludwig Wittgenstein and Bertrand Russell met at The Hague in order to discuss - line by line - the manuscript of the Tractatus so that Russell could write his preface. Now 91 years later, the Philosophical Institute at Leiden, with support from the Nederlandse Vereniging voor Logica en de Grondslagen van de Exacte Wetenschappen, devotes a day to the careful study of Wittgenstein’s classical book.

The speakers at this Tagung will be Harm Boukema (Nijmegen), Jaap van der Does (Amsterdam), Martin Stokhof (Amsterdam), Göran Sundholm (Leiden), and Albert Visser (Utrecht).

Please find programme and abstracts at http://sites.google.com/site/tractatusday/

On December 9-10, 2010, SERG will be organizing a two-day workshop on rational trust. The workshop will feature talks by Paul Faulkner (Sheffield), Gloria Origgi (Jean Nicod), David Owens (Sheffield), Erik Olsson (Lund), Klemens Kappel (SERG), Nikolaj Jang Lee Linding Pedersen (SERG), and Kristoffer Ahlstrom (SERG).

For more information, see http://epistemology.ku.dk/calendar/dec9-10-2010/

A fundamental challenge in software model-checking is to deal with rich data, residing in variables or on the heap. The aim of this workshop is to bring together researchers from both practical and theoretical sides, and to investigate how the recently developed tools in automata theory and logic, such as register and higher-order pushdown automata and logics on data words, can be used to model and verify programs with both rich data structures and operating on unbounded data values.

For details, a preliminary programme and list of invited speakers see http://www.liafa.jussieu.fr/~serre/Data/. Registration deadline: December 1st 2010 There will be no registration fee for the workshop. We will cover lunches for all participants and may be able to cover travel and accommodation costs for a limited number of students.

The Nijmegen Lectures committee is pleased to announce that the Nijmegen Lectures 2010 will take place on December 6th, 7th and 8th.
This year's lectures will be given by Aniruddh D. Patel (Esther J. Burnham Senior Fellow, The Neurosciences Institute). The title of the lecture series is: Music, language, and the brain.

For more information, see http://www.mpi.nl/events/nijmegen-lectures-2010/

As computers become more powerful, their ability to perform complicated reasoning tasks increases. In order to harness their power, we need to understand the reasoning they can do, and how they may do it more efficiently. This understanding begins with logic.

The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the Australian National University.

For more information, see http://lss.cecs.anu.edu.au/

.

Traditional conceptions of logic model correct inference quite abstractly by Tarski style semantics or by reference to formal proof systems without much concern about empirical findings about human reasoning. The fact that logical inference has to be embedded in language use and thus implies communicative interaction between human agents, that is to be addressed also by empirical methods, is often neglected. The three EurocoresLogICCC
projects organising this workshop DiFoS, LcpR, and LoMoReVI address this challenge in various ways. The workshop aims at corresponding cross fertilization, stimulated by invited talks by external experts.

For more information, see http://www.logic.at/lomorevi/dipleap/

The conference "Highlights of AutoMathA" is the culmination of the activities of the Research Network "Automata: From Mathematics to Applications", joining top research teams from 14 countries and funded by the European Science Foundation (ESF).

In 18 survey lectures by leading experts, the current state-of-the-art of automata theory will be presented, with a focus on progress obtained during the past decade, both in foundations and applications, and addressing also the challenges that will guide future research. The conference is an ideal and unique venue for all who are interested in an up-to-date overview of this rich and fastly developing area.

For younger researchers the conference will serve as an "Advanced Winter School of Automata Theory". Limited travel support for young researchers (up to 30 year old) is available (up to 300 Euro per person). Applications should be sent to Werner Kuich, the head of the organizing committee (kuich at pop.tuwien.ac.at).

For more information, registration (free but mandatory) and a program, see the conference website at http://dmg.tuwien.ac.at/automata

An ambitious project like the philosophy of information cannot operate in isolation. Not only does it have to rely on input from the sciences of information and computation, it also needs to convince those who are sympathetic to the project (including those who had been philosophers of information without realising it) to contribute actively, and encourage the sceptics to challenge the basic assumptions of the philosophy of information. The series of workshops in the philosophy of information provide a platform for this kind of interaction.

For the third workshop on the philosophy of information, we bring together researchers who have been working in the philosophy of information, with researchers working in related areas.

Admission is free, but registration is required. Please send an email to patrick.allo at vub.ac.be with your name and affiliation. For more information, see http://www.vub.ac.be/CLWF/3WPI/

Optimization problems arising from applications such as medical imaging, radiation therapy, machine learning, shape design of mechanical structures and more, pose severe challenges due to the large dimensionality of the design space and the uncertainty affecting the problems' parameters. The four talks in this symposium present some current methodologies and computational schemes addressing the above challenges.

For more information, see http://homepages.cwi.nl/~monique/Optimization-Symposium-Day/

The Leonardo-Kolleg Workshop 2010 "Intelligence, Reflection and the Good Life" is organized by a multi-disciplinary committee of former scholars of the Leonardo-Kolleg of the University of Erlangen-Nuremberg, supported by the Leonardo-Kolleg, the Zentralinstitut für Angewandte Ethik und Wissenschaftskommunikation (ZIEW), and the University of Erlangen-Nuremberg.

Advanced students and young researchers from all academic areas are invited to submit contributions addressing the workshop's topic "Intelligence, Reflection and the Good Life". Both, submissions addressing one of the aforementioned subtopics, as well as submissions addressing the entire complex, are equally welcome.

For more information (as e.g. the complete Call for Papers and Participation), see here or email leonardo.kolleg.workshop at gmail.com.

The problem of modelling rational decisions is as central to our understanding of human behaviour as ever. The past few decades, however, witnessed a dramatic change in the way the problem has been approached. The mathematical core of the field is now steadily coupled with empirical and computational methods and techniques. As a result, current models move towards increasingly more accurate predictive capabilities.

Unfortunately, however, the problem can hardly said to be solved, as we all witnessed in recent years. Yet there is a tangible feeling that the present situation is favourable to the development of new, groundbreaking ideas, which will perhaps give the discipline its most significant turn in decades. The purpose of this workshop is to bring leading scholars and practitioners to share their view and vision on the current trends in rational decision theory, with a particular emphasis on its application to economics and finan>e.

For more information, see http://homepage.sns.it/hosni/lori/events/rhm/.

This is an interdisciplinary conference on the philosophy of arithmetic, featuring speakers who represent a variety of historically, empirically, and logically informed perspectives on this central topic in the philosophy of mathematics. The keynote speaker is Charles Parsons (Department of Philosophy, Harvard University).

Information about the other speakers and the other particulars of the conference can be found at http://poincare.univ-nancy2.fr/Activites/?contentId=7073 and http://www.univ-nancy2.fr/poincare/idealsofproof/events.html. For more information, please contact the organizers at Walsh.108 at nd.edu.

This colloquium will be held on the occasion of Ernst Specker's 90th Birthday. It will cover recent developments topics of E. Specker's work. In particular:
* Recursive analysis
* Combinatorics
* Model theory
* Set theory
* Complexity theory
* Quantum theory and quantum computing

For more information and registration, see the official website at http://www.fim.math.ethz.ch/activities/colloquium_specker/. More background information about E. Specker may be found at http://www.cs.technion.ac.il/~janos/specker-90/.

The CPH-NIP Formal Epistemology Workshop is held October 15-16, 2010, followed by FEW20101018 on October 18. Registration deadlines: October 8 and October 11, respectively.

For more information, see http://www.nikolajpedersen.com/few2010101516.html and http://www.nikolajpedersen.com/few20101018.html

Speakers include James Joyce, David Etlin, Richard Bradley, Jason Alexander, Christian List and Franz Dietrich.

For more information, see http://www2.lse.ac.uk/CPNSS/projects/CoreResearchProjects/ChoiceGroup/

The Arché "Logic or Logics?" Mini-course and Workshop are organised by the members of the AHRCé funded Foundations of Logical Consequence project. The Mini-Course is intended for graduate students and younger researchers (postdocs and junior faculty) working on related topics. The aim is to provide intensive graduate-level instruction on the latest thinking about pluralism and revision in logic. Topics will include the revision of logic debate, logical pluralism vs. absolutism (or monism), and combining logics. The week will conclude with a Workshop dedicated to contemporary research on the same theme.

For more information see the event website here: http://www.st-andrews.ac.uk/~arche/events/event?id=398 Any further inquiries should be directed to arche at st-andrews.ac.uk

This meeting, organized by the Helsinki Logic Group, is in honour of professor Jouko Väänänen's sixtieth birthday. Topics include model theory, set theory, foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, and abstract logic.

There will be two tutorials 13-15th September by Andres Villaveces (Model Theory of Sheaves) and by Boban Velickovic (Transfinite Games).

For more information, see http://www.helsinki.fi/~kulikov/jouko/

Research in the area of cognition is very well represented within several faculties of the University of Amsterdam (FMG, FNWI, FGW, AMC, FEB) in research teams that include psychologists, neurobiologists, neurologists, psychiatrists, behavioral economists, logicians, and linguists. They study cognition at the level of the neurons and neural systems involved, as well as at the level of the regulation of behavior, the theoretical modeling of behavior, and cognitive disorders. The Executive Board of the UvA has decided to designate Brain & Cognition as the university’s first research priority program, a decision motivated by the fact that, on the one hand, several UvA faculties house excellent cognitive scientists and, on the other hand, by the consideration that a strengthening of the mutual interdisciplinary collaboration would not only mean a significant step ahead, but would also increase the international visibility of the cognitive research at the UvA.

For more information, see http://www.csca.nl/csca/symposia/kickoff-brain-amp-cognition-sep-14/

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has proved its mettle by shedding new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions.

Due to the volcanic eruption in Iceland last April, the Formal Ethics Week has been rescheduled. The event will be hosted by the Faculty of Philosophy of the University of Groningen (the Netherlands) on *September 7-10, 2010*. A joint venture of the Faculty of Philosophy of the University of Groningen and the Department of Philosophy of Uppsala University, the workshop aims to bring together researchers at the crossroads of ethical theory and formal methods. The event will feature four tutorials by leading scholars, and eight working sessions, where researchers from Groningen and from Uppsala will present and discuss each other's work.

Attendance to the Formal Ethics Week is open to everyone, but registration is required. For more information, and to register, please visit the website of the workshop: http://www.philos.rug.nl/FEW.

Workshop on concrete incompleteness.
Talks by Harvey Friedman (main speaker), Michael Rathjen, Alan Woods and Konrad Zdanowski. Organised by Andrey Bovykin, Lorenzo Carlucci, Michiel De Smet, Florian Pelupessy, Sam Sanders and Andreas Weiermann.

Venue: Conference centre "Het Pand", Onderbergen 1, 9000 Gent (Belgium). Conference centre "Het Pand" is located in the beautiful city centre of Ghent and is easy to reach by public transport.

For more information, registration, or enquiries regarding student grants, please send an e-mail to pelupessy at cage.ugent.be.

The workshop consists of main lecture courses and contributed talks across a range of logic as well as informal discussion groups in the evenings. It is intended particularly for PhD students and postdoctoral researchers working in or around mathematical logic and applications. It is primarily aimed at members of the involved research centres of the MALOA network, but participants from external sites are welcome as well.

The workshop is being held at the Hotel Aurachhof in Fischbachau, a picturesque small village outside of Munich. Full board accommodation is available from € 50 to € 80 per person and day, depending on the room type and includes the workshop costs.

For more information, including a full timetable of lecture courses and talks, please see the website at http://www.mathematik.uni-muenchen.de/~jberger/fisch.html. If interested in participating, please email Emma Jones at e.j.jones at leeds.ac.uk as soon as possible, and by Monday May 3 at absolute latest, as we need to make the accommodation booking in Fischbachau.

For more information on MALOA, see http://www.logique.jussieu.fr/MALOA/.

This meeting, the fourth in a series, will focus on descriptive set theory and model theory and their connections to other parts of mathematics.

Application deadline for student and postdoc travel support: July 4, 2010. For more information, see the meeting web page at http://www.math.uiuc.edu/Logic2010/.

Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong assumptions about reasoners. For example, traditional epistemic logic says that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded.

The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness.

The workshop will be held as part of Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW 2010) (see http://mallow2010.emse.fr/).

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba10

The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views.

If you want to attend the summer school, we'd prefer that you register by April 1, 2010. For more information, see http://www.computational-logic.org/iccl-ss-2010/

EASSS is the annual European summer school on multiagent systems for PhD and Master's students. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course has 4 hours in total and they are broad enough to provide a general introduction to the chosen topic, whilst also covering the most important contributions in depth.

The summer school will be followed by the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010) held in Lyon.

Deadline for early registration and grant requests: 30 June 2010. For more information, see http://easss2010.emse.fr/.

The Fifth Cologne Summer School in Philosophy on "New Perspectives in Epistemology" will take place in Cologne, August 23 - 27, 2010. This year's visiting professor will be Ernest Sosa (Rutgers University, USA). The main focus is the intersection of epistemology, theory of action and philosophy of language. We will discuss foundational issues in epistemology (the analysis of knowledge and justification, the controversy between internalism and externalism), as well as more specific issues in the current debate: virtue epistemology, knowledge as a norm of assertion, is there a normative link between knowledge and action?, intuitions and armchair philosophy, the philosophy of disagreement, and epistemic agency. The Summer School mainly aims at professional philosophers and advanced graduate students.

The attendance is free, but limited to 50 participants - on the basis of motivation and qualification. Online application is possible through April 30. For more information visit the website at http://www.summerschoolphilosophy.uni-koeln.de/ or contact the organizers at summerschoolphilosophy at uni-koeln.de

Preferences are a central concept of decision making. As preferences are fundamental for the analysis of human choice behavior, they are becoming of increasing importance for computational fields such as artificial intelligence, databases, and human-computer interaction.

M-PREF provides a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields. The workshop builds on the large number of AI researchers working on preference-related issues, but also seeks to attract researchers from databases, multi- criteria decision making, economics, etc.

For more information, see http://preferencehandling.lip6.fr/

The purpose of the ADFOCS summer school is to introduce young researchers to topics which are in the focus of current research in the field of theoretical computer science. In order to achieve this, ADFOCS brings together leading researchers from this field with international participants of graduate level and above.

Lecturers are Christos Papadimitriou, Vijay Vazirani, and Guido Schäfer.

For more information, see http://www.mpi-inf.mpg.de/conference/adfocs/.

The Northern Institute of Philosophy (Aberdeen) and The Institute of Philosophy (London) are pleased to announce the first joint NIP/IP Summer School. The Summer School will be dedicated to contemporary issues in one of the Northern Institute's main research areas: Epistemology.

The school will cover three areas of interest in Epistemology: Modal Epistemology, Entitlement, and Fallibilism versus Infallibilism. It will be led by Crispin Wright, Carrie Jenkins, Jonathan Ichikawa, Sonia Roca Royes, Elia Zardini, Dylan Dodd, Aidan McGlynn and Bjorn Brodowski.

For more information go to the summer school webpage http://www.abdn.ac.uk/philosophy/nip/page?id=23. The Summer School will be followed by the IP/NIP graduate conference (16-18 July). Summer School participants are most welcome to stay on to attend the Graduate Conference.

Cognitive Informatics (CI) is a cutting-edge and transdisciplinary research area that tackles the fundamental problems shared by modern informatics, computing, AI, cybernetics, computational intelligence, cognitive science, neuropsychology, medical science, systems science, software engineering, telecommunications, knowledge engineering, philosophy, linguistics, economics, management science, and life sciences. CI is a transdisciplinary enquiry on the internal information processing mechanisms and processes of the natural intelligence ~ human brains and minds ~ and their engineering applications in cognitive computing, computational intelligence, as well as the information/communication technology and software industries.

The development and the cross fertilization between the aforementioned science and engineering disciplines have led to a whole range of extremely interesting new research areas known as CI. Following the first eight successful conferences on Cognitive Informatics (ICCI'02 through ICCI'09), the 9th IEEE Int'l Conference on Cognitive Informatics (ICCI'10) focuses on the theme of Cognitive Computing and Cognitive Communications. ICCI'10 welcomes researchers, practitioners, and graduate students to join the international cognitive informatics and cognitive computing initiative toward the investigation of cognitive mechanisms and processes of human information processing, and the development of next generation computers that learn and think.

For more information, see http://www.icci2010.edu.cn

SING 6 is the sixth in the series of Spain-Italy-Netherlands Meetings on Game Theory. Presentations will focus on new research directions in different disciplines. The meeting provides an avenue where new research collaborations can be forged.

For more information, see http://www.unipa.it/sing6/

The New Bulgarian University is announcing the 17th Summer School in Cognitive Science. The summer school features advanced courses for graduate students and young researchers in a variety of areas, including embodied cognition, brain functions and development, computational cognitive neuroscience, collective behavior, creativity, analogy-making, cognitive modeling and neural networks, individual differences, animal cognition, etc.

The summer school this year will be extraordinary good and the lecturers include famous researchers like Shimon Ullman, Arthur Markman, Jesse Bering, Rick Altman. This is a unique chance to learn about the latest developments and big challenges first hand.

Applications will be processed on first-come-first-served basis as long as there are available positions. For more information, see http://nbu.bg/cogs/events/ss2010.html or contact the organizers at school at cogs.nbu.bg.

The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.

The Graduate Summer School bridges the gap between a general graduate education in mathematical logic and the specific preparation necessary to do research on problems of current interest in the subject. In general, students who attend the AII Summer School should have completed their first year, and in some cases, may already be working on a thesis. While a majority of the participants will be graduate students, some postdoctoral scholars and researchers may also be interested in attending. Having completed at least one course in Mathematical Logic is required, and completion of an additional graduate course in either set theory or recursion theory is strongly recommended. Students should be familiar with the Gödel Completeness and Incompleteness Theorems and with the Gö del and Cohen Independence Theorems in Set Theory.

The main activity of the AII Graduate Summer School will be a set of three intensive short courses offered by leaders in the field, designed to introduce students to exciting, current research topics. These lectures will not duplicate standard courses available elsewhere. Each course will consist of lectures with problem sessions. On average, the participants of the AII Graduate Summer School meet twice each day for lectures and then again for a problem session.

Applications are invited from interested students. Each student selected for participation will be provided with a stipend of at least US$2000. Additional funding will be available to cover accommodation. Applications will be considered from 7 April 2010 and decisions made on a rolling basis, for as along as funds remain available. For further details, visit http://www2.ims.nus.edu.sg/Programs/010aiiss/

Confirmed speakers include:
Johan van Benthem, Amsterdam and Stanford
Paul Egre, Jean-Nicod Institute
Branden Fitelson, Rutgers
Stephan Hartmann, Tilburg
James Joyce, Michigan
Hans Kamp, Stuttgart
Hannes Leitgeb, Bristol
Rohit Parikh, CUNY
Wilfried Sieg, Carnegie Mellon
Brian Skyrms, UC Irvine
Wolfgang Spohn, Konstanz
James Woodward, Cal Tech

For details regarding the Center for formal epistemology, the opening celebration conference, and local arrangements, please follow the relevant links at: http://www.formalepistemology.org/.

Solution concepts for extensive form games is a classical topic of game theory. In recent years, the topic has also been attracting attention from various subcommunities of the theoretical computer science community. This workshop brings together researchers from game theory, economics, cryptography, algorithms and formal methods.

Topics to be discussed include
* Game theoretic analysis and solution concepts for cryptographic protocols,
* Computational properties of solution concepts (e.g., algorithms and computational hardness of equilibrium refinements),
* Bounded and computational rationality in extensive games,
* Solution concepts for extensive form games from the perspective of epistemic game theory,
* Solution concepts for infinite duration games (stochastic games, recursive games, reachability games etc.).

The workshop will be open to a limited number of participants. There will be no registration fee. If you wish to participate please send an email to cagt at cs.au.dk with subject header [SCEG] by May 15th.

Detailed information about the workshop will be added later at the workshop webpage: http://www.cs.au.dk/cagt/sol.html A detailed program can be expected around June 1st.

The subject of the conference is general algebra, lattice theory and their applications. The program will consist of inivited lectures, shorter plenary talks and contributed talks in parallel sections. The list of shorter plenary lectures includes Jaroslav Jezek (Prague) and Vera Trnkova (Prague).

The registration deadline is June 1 (unless you request dormitories, see bellow). For more information, see http://www.karlin.mff.cuni.cz/~ical/

This summer there will be a Math Research Community in the Model Theory of Fields. The program is run by the American Mathematical Society, funded largely by the NSF, and it will take place at Snowbird, Utah June 19-25, 2010. Those of us organizing the program believe it will be a great and intense opportunity for 40 Ph-D-young researchers to learn about and work on problems related to the model theory of valued fields, including topics in motivic integration, Witt-Frobenius, and Berkovich spaces. There will also be a follow-up with a special session in New Orleans in January 2011, and some support for travel there as well.

See http://www.ams.org/amsmtgs/mrc-10.html for details. Application deadline: March 1,2010.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://pcc2010.unibe.ch/

The conference subject is the relationship between logic and knowledge, considered as a topic of current debate, or as an historical case study, or when appropriate as both. Each paper has been assigned a discussant. The Conference is open to public. No registration fee.

For more information, see http://w3.uniroma1.it/logic or contact emiliano.ippoliti at uniroma1.it.

The goal of our school is to bring people up to speed on certain areas of formal epistemology. We hope to bring those attending up to the point where they have a sense of the cutting edge of the subjects being covered, and understand outstanding issues and problems that researchers hope to address in the future. Our target audience will be philosophers who have a background in logic, but not necessarily in formal epistemology. We particularly welcome the attendance of graduate students.

We ask that you submit a letter of interest to us by April 30. For more information, see here or contact the two organizers, Dylan Dodd (dylan.dodd at gmail.com) and Luca Moretti (l.moretti at abdn.ac.uk).

For more information, see http://www.dif.unige.it/woc3/ ,

The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). This year the main conferences, taking place on 07-09 June, are:

• COORDINATION - 12th International Conference on Coordination Models and Languages
• DAIS - 10th IFIP International Conference on Distributed Applications and Interoperable Systems
• FMOODS / FORTE - 12th Formal Methods for Open Object-Based Distributed Systems & 30th Formal Techniques for Networked and Distributed Systems

For more information, see http://discotec.project.cwi.nl/

In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

The Indian traditions of logic and epistemology do not fit into the deductive paradigm of mathematical logic which forms the foundations of a large part of current philosophical logic. Instead, intersubjectivity and interaction play an important role. In this respect, they are siumilar to large parts of the Western medieval and early modern logic traditions (e.g., the obligationes or the Logique du Port Royal).

In the past decades, logicians focused on the interactive paradigm and investigated logics of knowledge, belief and communication. These logics have been successfully used in the formalization of Western medieval texts. We expect that similar successes are possible in the field of Indian logic and epistemology. Our workshop will be an encounter between the two relevant research communities.

For more information, see http://www.math.uni-hamburg.de/home/loewe/MoFPILE/

This one-day workshop will bring together members of the philosophy and artificial intelligence communities, to discuss analogies and points of contact between different bodies of research that offer formal models of various aspects of rationality.

The event is timed to coincide with a local meeting of the Rationality and Decisions network. This network connects approximately 25 researchers, both senior and junior, from a group of institutions that includes KU Leuven, the London School of Economics, the University of Amsterdam, the University of Groningen, the University of Lund, the University of Kent and the University of Tilburg. Needless to say that we anticipate a productive and insightful Q&A session!

For further information, please contact Jake Chandler (jacob.chandler@hiw.kuleuven.be) or see http://www.formalphilosophy.org/cmr

This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml.

This is the second of a series of workshops looking at issues located in the area of overlap between formal and traditional epistemology. The general thought behind this workshop is to bring together both formal and 'traditional' epistemologists for an event dedicated to a topic lying within the area of overlap between the two. The topic for the workshop is the relationship between beliefs and degrees of belief. The notion of belief is often used by 'traditional' epistemologists, while the idea of degrees of belief is at the heart of formal methods in epistemology and the philosophy of science.

For more information, see http://web.me.com/philipebert/FTE/Events.html

The aim of this workshop will be to discuss aspects of the psychology and semantics of similarity and comparison in relation to vagueness. The following issues will be addressed and of special interest during the workshop: relation between vagueness and categorical perception; referential consensus in color categories; clarity, borderliness and distance to prototypes in conceptual space; static and dynamic constraints on comparison in classification tasks; logic of vagueness in relation to similarity.

For more information, see: http://paulegre.free.fr/similarity/program.html or contact the local committee at paulegre at gmail.com or davewripley at gmail.com.

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, postdoc research talks and discussion sessions.

For more information, please see: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/.

A two-day workshop covering historical and modern aspects of games and dialogues in logic.

Studies in the history of logic have shown that the medieval traditions, both in western Europe and in India, have many distinctive dialogical and epistemological characteristics. As a result, they have much more in common with each other than they do mathematical logic of the 1950's. Recently, it has become apparent that these shared characteristics can be fruitfully modeled in the context of modern developments in logic, which are dynamic and dialogical in flavor. We believe that investigating the common properties of these two historical approaches can advance our understanding of these philosophical and historical traditions with the help of recent technical advances in dialogical and game semantics and dialogue games. The purpose of this workshop is to bring together LogICCC researchers from both the philosophical and technical traditions to provide a spring-board for collaboration and potential cross-discipline applications, allowing people working in both historical traditions, the Western and the Indian, to gain knowledge of current modeling techniques and those on the technical side access to new problems and theories to model.

The four fields that we intend to represent are: the dialogical tradition in Indian logic, obligationes in medieval Western logic, dialogical semantics and dialogue models, and games for dialogues and semantics. Each day there will be two tutorials; the first day will cover the historical topics and the second day will cover the modern techniques.

For more information, see http://www.illc.uva.nl/medlogic/DDAHL/DiG.html

The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, in January 2009, and the proceedings published as LNAI 5378.

For more information, see http://ali.cmi.ac.in/isla2010/

For more information, see http://staff.science.uva.nl/~ngierasi/nina_defence.html

For more information, see http://www.jacobvosmaer.nl/phd.php.

Associated workshop: http://homepages.inf.ed.ac.uk/agheerbr/flirt.html. For more information, contact A.Gheerbrant at uva.nl

Associated workshop: http://homepages.inf.ed.ac.uk/agheerbr/flirt.html. For more information, contact G.M.M.Fontaine at uva.nl

For more information, contact M.Staudacher at uva.nl

For more information, contact Jan.van.Eijck at cwi.nl