The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Questions and answers are a major topic in semantics and pragmatics, and to some extent in logic and philosophy as well. This interest in inquisitiveness goes beyond the interpretation of questions as such. For example, questions are widely assumed to play a structural role in the analysis of discourse. Likewise, most theories on focus and the interpretation of intonation make a link with the question-answerhood relation. More radically it has been argued that a proper understanding of seemingly purely informative constructions, like disjunctions and conditionals, requires a notion of inquisitiveness as a basic ingredient of meaning. The main aim of this workshop is to investigate the significance of inquisitiveness for semantics, pragmatics, and logic.

For more information, see https://sites.google.com/site/inquisitivesemantics/workshops/. This workshop is hosted by the Amsterdam Colloquium 2011.

The 18th Amsterdam Colloquium will be held December 19 - 21, 2011 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

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

The Amsterdam Graduate Philosophy Conference 2011 is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The conference will be held on Friday the 16th of December and Saturday the 17th of December.

The theme this year is Internalism versus Externalism. We encourage contributions which try to bridge the gaps between linguistic, mental, epistemological, and action aspects of the issues mentioned above. Submissions that inform the discussion about internalism and externalism by offering a philosophical interpretation of results from other fields such as logic, decision theory, cognitive psychology, and linguistics, are also welcome.

Submission deadline: 30 September 2011

For more information, see http://www.illc.uva.nl/agpc/agpc11/ or contact agpc at uva.nl

This workshop will deal with the neuro-biological and cognitive principles that govern language processing, with special emphasis on syntax and the human memory system.

Speakers: Gideon Borensztajn (UvA), Stefan Frank (University College, London), Patrick Sturt (University of Edingburgh), Willem Zuidema (UvA).

There will be plenty of opportunity for discussion. Linguists, cognitive scientist, neuroscientists and anyone else who is interested in the neural basis of language is welcome!

For more information, see http://staff.science.uva.nl/~gideon/ws11.

For more information, see http://smartcognitivescience.wordpress.com/.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera 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://sites.google.com/site/illcdip/.

For more information, see https://sites.google.com/site/grologcolloquium/home

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

The joint meeting on 2 December 2011 features talks by both past and present researchers of both VU University Amsterdam and the University of Amsterdam, addressing the past, present and future of the field.

Registration is free. For more information, see http://www.30-jaar-informatica.nl/.

The first Dutch Network on Computational Game Theory Day will consist of two invited talks (Paul Goldberg and Herbert Hamers) and five contributed talks. The programme can be found at http://homepages.cwi.nl/~schaefer/DNetCG/DNetCG_Day.html. Please register early (there is no registration fee).

For more information, see https://sites.google.com/site/questionsgameslogic/

For abstracts and more information, see http://www.hum.uva.nl/aclc-news/events.cfm

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For abstracts and more information, see http://sites.google.com/site/illcdip/

The purpose of this event is to bring together PhD students currently employed at the institute, students from the Master of Logic, and ILLC postdocs, with alumni that either stayed or left academia after having completed a PhD or a Master in Logic at our Institute. Three MoL alumni and four PhD alumni will talk about their current occupation and about the difficulties/differences they found when looking for a job inside or outside the academic world. The ILLC will invite all participants for drinks.

For more information, contact phdcouncil.illc at gmail.com

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://sites.google.com/site/illcdip/.

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

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

COIN, or Coalgebra in the Netherlands, is a newly organized seminar planned to take place alternating at the Radboud University Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra.

The first COIN meeting is scheduled for Monday, 21 November 2011, at CWI, in room L120. The schedule is as follows:
14:30 - 15:15 Dimitri Hendriks (VU) and Jörg Endrullis (VU), Equational Reasoning and Bisimulation in Coq
15:15 - 16:00 Jan Rutten (CWI/RU), On the Final Coalgebra of Automatic Sequences
16:15 - 17:00 Marcello Bonsangue (Leiden/CWI), Coalgebraic Characterizations of Regular and Context-Free Languages

For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html

On occasion of the PhD defenses of Raul A. Leal and Lena Kurzen, the 21st GLLC workshop will address issues concerning modalities, coalgebras, complexity and interaction.

Speakers include Jiri Adamek (TU Braunschweig), Clemens Kupke (University of Oxford), Alexander Kurz (University of Leicester), Alexandru Baltag (UvA), Christof Löding (RWTH Aachen), Pieter Adriaans (UvA), Krzysztof Apt (UvA, CWI), Maartje Raijmakers (UvA), Jos Uiterwijk (Maastricht University), Lena Kurzen (UvA) and Raul Leal (UvA)

.

For more information, program and abstracts, please visit the webpage http://staff.science.uva.nl/~rlealrod/Mocoin/MoCoInindex.html .

For abstracts and more information, see http://sites.google.com/site/illcdip/.

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

(dutch only)
Informatietechnologie heeft onze wereld binnen enkele decennia onherkenbaar veranderd op technisch en sociaal gebied. Het is niet uitgesloten dat hiermee gaandeweg zelfs de manier waarop wij zelf als mensen functioneren zal veranderen.

Maar informatie is tegelijkertijd een fundamenteel zuiver wetenschappelijk thema dat door de hele universiteit speelt. Daarbij ontstaan telkens nieuwe onderzoekslijnen, vanaf bèta disciplines als informatica, wiskunde, en natuurkunde tot de verste einders van alfa en gamma. Wat bij al deze ontwikkelingen echter nog steeds niet is gelukt is de ontwikkeling van een algemeen aanvaarde integrerende visie op wat de essentie van informatie nu eigenlijk is.

Voornamelijk twee visies zijn in strijd met elkaar: informatie als een berekenbare grootheid, en kwalitatieve betekenisvolle informatie zoals wij die bijvoorbeeld overdragen in conversatie. Twee prominente vertegenwoordigers van beide visies zullen proberen scherp te krijgen wat de belangrijkste vragen zijn, welke verschillende antwoorden er zijn, en of er misschien toch een modus vivendi bestaat die meer is dan een beleefd compromis.

Een debat met medewerking van Jan van Eijck en Pieter Adriaans onder leiding van Johan van Benthem.

Voor meer informatie, zie http://www.spui25.nl/spui25/programma.cfm/43660CEB-08DA-442D-9437D3D9CD410B02

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

The first ILLC Current Affairs meeting will be held on Thursday 3rd November next, from 15:30 - 17:00 h in room C0.110, Science Park 904, Amsterdam. All ILLC staff and PhD students are invited to attend. Drinks will be served afterwards in the ILLC Common Room, C3.113, from 17:00 - 19:00 h.

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

For abstracts and more information, see http://www.hum.uva.nl/aclc-news/events.cfm

Yde Venema was appointed professor of logic, in particular mathematical logic and foundations of computer science, in October 2010. He will hold his inaugural lecture (in Dutch), entitled 'Algebra en Coalgebra, bespiegelingen in de logica' (Algebra and Coalgebra: Reflections in Logic') on Friday 28th October 2011 at 16:00 hours in the Aula of the University of Amsterdam.

For more information, see http://www.science.uva.nl/home.cfm/F755E844-949D-4519-8D53C568A02E0FDA

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. The event is organized jointly by CWI, UvA, and VU, and its aim is to foster cooperation among the various TCS-reseachers in and around Amsterdam. Previous editions took place at the VU and at the CWI. The programme consists of five talks by researchers from CWI, UvA, and VU. There is no need to register.

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

On October 26, the Cognitive Science Center Amsterdam will hold a Symposium to celebrate its 10th anniversary. In the morning, we will look back at research and education in the field of brain and cognitive science over the past years, but also share our views on the future of the CSCA. The afternoon will be centered around the 'creatieve geest prijs' (creative mind prize), an initiative of the Freek and Hella de Jonge foundation.

For more information, see http://www.csca.uva.nl/csca_news/news.cfm/9B630540-BEF9-4ADE-90F266AA67B91A28.

On Friday, 21 October 2011 the Institute for Philosophy will host the symposium 'Frege in Leiden', a one-day symposium on the philosophy of Gottlob Frege. Talks by Maria van der Schaar, Harm Boukema, Göran Sundholm, Ansten Klev, and Kai Wehmeier.

Programme and abstracts can be found at http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/.

To mark the inauguration of the Academic Year of the "Unione Internazionale degli Istituti di Archeologia, Storia e Storia dell'Arte in Roma", Rens Bod will give the opening lecture on 20 October, entitled "The Forgotten Sciences: How the Humanities Changed the World".

For details, see http://www.knir.it/it/component/content/article/303-opening-academisch-jaar.html.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

The classical theory of coalitional decision making, better known as cooperative game theory, deals with extremely abstract models of joint action that often abstract away from the highly dynamic processes leading a set of players to work together for a common purpose, such as the influence of norms, the interdependence among the players, the awareness of future possibilities, to mention a few.

This workshop, on the occasion of Paolo Turrini's PhD defense, tackles such dynamic aspects involved in coalition formation, by pursuing an interdisciplinary approach at the interface of (deontic) logic, artificial intelligence, and socio-economical disciplines. More specifically, the topics touched upon will be: norms and games, norms for the dynamics of interaction (procedures), the dynamics of normative systems, norms of reciprocity, theory of threats and the dynamics of different cognitive attitudes (e.g. knowledge and preference).

Registration is free but required. For more information, see http://people.cs.uu.nl/paolo/NGD/ or contact paolo.turrini at uni.lu.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

Tijdens de Open Dag Science Park houdt Christian Schaffner een lekenpraatje over kwantumcryptografie (in het Nederlands).

Voor meer informatie, zie http://www.scienceparkamsterdam.nl/nieuws/open-dag/minilezingen.

The NAP-dag ('Nieuw Amsterdams Peil') is an annual event at which PhD candidates from the ACLC and the ILLC present their research. This event is free and is open to the public.

For more information, see http://www.hum.uva.nl/aclc-news/events.cfm/5DFADFD4-84CF-48BF-BB2225704E9B440E.

For abstracts and more information, see http://www.hum.uva.nl/aclc-news/events.cfm

For more information, see http://www.science.uva.nl/actueel/Agenda.cfm/FF16E798-1321-B0BE-A4E1D4CD458897AD.

For more information, see http://versuslaboratory.janvaneyck.nl/seminars/view/27

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 Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=281

The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.

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

The Semdial series of workshops aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neural science. In 2011 the workshop will leave Europe for the first time, to be held at the Institute for Creative Technologies of the University of Southern California in Los Angeles. The Semdial workshops are always stimulating and fun, and L.A. is a great place to visit.

For further details visit the SemDial 2011 website http://projects.ict.usc.edu/nld/semdial2011 and the SemDial series homepage: http://www.illc.uva.nl/semdial

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

For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

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

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

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/ or http://sites.google.com/site/illcdip/fall-2011

Early verb learning in children seems an almost miraculous feat. In learning a verb, children must learn both the basic meaning of the event ("falling" or "eating"), as well as the allowable structures in their language for correctly communicating the participants in that event ("The glass fell", but not "She fell the glass"). Moreover, given the sparsity of evidence, children must be able to abstract away from specific usages they observe in order to use their knowledge of verbs productively. Finally, children must accomplish all this in the face of a high degree of variability among verbs, along with much noise and uncertainty in the input data, and with no explicit teaching. Do children require innate knowledge of language to accomplish this, or are general cognitive learning mechanisms sufficient to the task? We have developed various computational models of verb learning using unsupervised clustering over simple statistical properties of verb usages. Our findings support the claim that general learning mechanisms are able to acquire abstract knowledge of verbs and to generalize that knowledge to novel verbs and situations.

This is joint work with Paola Merlo, Afra Alishahi, and Chris Parisien.

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

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

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 computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main 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 ESSLLI 2011 website at http://esslli2011.ijs.si/

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

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

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

The IJCAI Workshop on Social Choice and Artificial Intelligence is part of the workshop programme of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011) to be held in Barcelona in July 2011.

For more information, see http://www.illc.uva.nl/COMSOC/IJCAI-2011/.

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

The ILLC Midsummernight Colloquium will start off with three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Catarina Dutilh Novaes (LoLa, from July 1st at Univ. Groningen), Aline Honingh (LaCo) and Ronald de Wolf (LoCo) have accepted to give presentations.

For more information contact rens.bod 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).

To mark the end of Catarina Dutilh Novaes' VENI-project on formal languages and the new appointment of Julian Kiverstein at the philosophy department of the University of Amsterdam, a workshop on extended cognition will take place in Amsterdam on June 27th--28th. The focus will be on conceptions of extended cognition in the spirit of 'second-wave EM' (Sutton) or 'cognitive integration' (Menary).

The workshop is open to all, but please register no later than June 13th. For more information and list of speakers, see http://www.newappsblog.com/2011/03/.

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.

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

For more information, please contact Matthijs Westera (M.Westera at uva.nl), Tong Wang (tongwang01 at gmail.com) or Umberto Grandi (u.grandi at uva.nl).

For more information, see http://www.tilburguniversity.edu/research/institutes-and-research-groups/center/ or contact Ruud Hendrickx AT ruud.hendrickx at gmail.com.

Algorithms are different from programs and should not be described with programming languages. For example, algorithms are usually best described in terms of mathematical objects like sets and graphs instead of the primitive objects like bytes and integers provided by programming languages. Until now, the only simple alternative to programming languages has been pseudo-code.

PlusCal is an algorithm language based on TLA+. A PlusCal algorithm is automatically translated to a TLA+ specification that can be checked with the TLC model checker or reasoned about formally. (No knowledge of TLA+ is assumed.) PlusCal makes pseudo-code obsolete.

For more information, see k.r.apt at cwi.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://sites.google.com/site/illcdip/

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

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://sites.google.com/site/illcdip/

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).

Admissible rules of a logical system are rules that can be added to the system without changing its set of theorems. In algebra, admissible rules correspond to quasi-equations holding in free algebras, while from a computer science perspective, admissibility is intimately related to equational unification.

The aim of this workshop is to bring together experts from these distinct areas of research spanning mathematics, philosophy, and computer science, to share ideas and methods.

For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/Waru/waru.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).

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 series of yearly meetings taking place alternatively in Amsterdam and Paris. At each PALMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. This year's meeting will take place in Paris and is devoted to the theme "Logic and the Use of Language".

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

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

MLNL'11 is the third issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. The first meeting was held in Nijmegen and the second one in Utrecht. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, 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. Advanced master students in logic are most welcome to attend the meeting too.

Registration deadline: 12 May 2011. For more information, see: http://www.ai.rug.nl/MLNL2011/

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.math.uu.nl/people/jvoosten/seminar.html

Kinderlezing over manieren van denken en logica.

Voor meer informatie, zie http://www.kinderlezingen.nl/kinderlezingen/

For abstracts and more information, see http://sites.google.com/site/illcdip/

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.math.uu.nl/people/jvoosten/seminar.html

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

For abstracts and more information, see http://sites.google.com/site/illcdip/

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

Profinite algebras, such as profinite rings, groups, and monoids are often used in algebra and have, more recently, also found applications in computer science. Duality theory on the other hand plays a central role in the study of logics where it serves as the main mechanism in relating syntactic and semantic approaches. In recent work with Grigorieff and Pin we have shown that the category of profinite abstract algebras in any signature may be seen as a subcategory of all topo-relational dual spaces of a corresponding type. This technical result has allowed us to generalise a powerful method in automata theory. The talk will provide an introduction to the concepts involved and a glimpse at the automata and complexity theoretic applications

For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/

Alfawetenschappen; een luxe tijdverdrijf? Een nauwkeurige analyse van hun geschiedenis laat zien dat alfawetenschappelijke kennis de wereld ingrijpend heeft veranderd. In deze lunchlezing zet Rens Bod uiteen waaruit "alfaontdekkingen" bestaan, en op welke wijze deze de bètawetenschappen hebben beïnvloed.

For more information, see http://www.spui25.nl/spui25/object.cfm/131015EA-0CD2-4E33-8E93C080D9BCD165

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://sites.google.com/site/illcdip/

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

For more information, see http://math.berkeley.edu/.

For abstracts and more information, see http://sites.google.com/site/illcdip/

(Dutch only)
Vrijdag 8 april is het weer zo ver: Leve de Wiskunde! 2011. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. van financiële wiskunde tot symmetriepatronen en van forensische statistiek tot de filosofie achter getallen.

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

We are happy to invite you for the Symposium Logic and Culture organized by the Nederlandse Vereniging voor Logica and Wijsbegeerte der Exacte Wetenschappen (VVL), on Friday April 8, 2011, 11.00--17.00, in Hoog Brabant, Utrecht.

The programme consists of talks by Dov Gabbay, Sara Uckelman, Michiel Leezenberg, Henk Barendregt, and the general meeting of the VVL.

For more information, see http://www.cs.vu.nl/~femke/lc2011.html.

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://kurt.scitec.kobe-u.ac.jp/~brendle/

For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=274

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://sites.google.com/site/illcdip/.

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/

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

Prof. Field will speak on the intended distinction between sets and properties, and review work since Goedel toward resolving the property-theoretic paradoxes. He will also discuss the role of properties in the foundations of mathematics, as a replacement of proper classes and to implement an appropriate version of higher order logic.

The lecture forms part of the 'Truth be Told' workshop. Previous E.W.Beth Lecturers include P. Lorenzen, P. Aczel, B. van Fraassen, M. Finocchiaro, P. Suppes, S. Feferman, E. Agazzi, H. Kamp, J. Bricmont.

For more information and an abstract, see the 'Truth be Told' programme at http://www.illc.uva.nl/truth/truth11/Conference_Programme.

Truth be Told, a Workshop on Philosophical and Formal Theories of Truth, is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The workshop will be held between Wednesday the 23rd and Friday the 25th of March 2011.

The aim of the workshop is to bring together experts in the field in order to assess the current state of the art of theories of truth, as well as to facilitate discussion between philosophers of truth and those more interested in formal methods and results in the study of truth.

The workshop will contain 11 invited and 5 contributed talks. Invited talks will be followed by a short commentary.

For more information and an online registration form, see http://www.illc.uva.nl/truth/truth11/

For abstracts and more information, see http://sites.google.com/site/illcdip/

At Friday 18 March, the ILLC and IvI together organise the workshop Viva Informatica, for teachers, students and other people interested in recent developments in computer science. Presentations will be in Dutch. Aline Honingh will give a presentation on behalf of the ILLC.

For more information, see http://www.science.uva.nl/vivainformatica

For abstracts and more information, see http://sites.google.com/site/illcdip/

For abstracts and more information, see http://sites.google.com/site/illcdip/

The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. 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.

For more information, see http://www.nvti.nl/aankondiging_2011.txt. It is possible to participate in the organized lunch, for which registration is required (no later than February 25, 2011),

For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=268

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

This workshop is an informal gathering of people that study universal models or use them in their research. There will be presentations both on finished studies and on work in progress. Universal models were originated by V. Shethman and V. Rybakov, anticipated by D. de Jongh's dissertation in 1968. In intuitionistic logic the subject reemerged in N. Bezhanishvili's dissertation in 2006. The logics involved today comprise intuitionistic propositional logic and modal logics. In intuitionistic logic one has finite universal models for some fragments missing some of the usual connectives, and the usual complicated infinite ones for the full logic. One of the modal logics that will be presented is GLP, an extension of Gödel-Löb's logics GL that has a different provability modality for each ordinal. Another modal logic that will be discussed is S4. At the workshop the subject will be approached from the algebraic/co-algebraic side as well.

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

Speakers include:

David Fernández Duque (Sevilla)
Sam van Gool (Nijmegen)
Dick de Jongh (ILLC)
Joost Joosten (Barcelona)
Gerard Renardel de Lavalette (Groningen)
Yde Venema (ILLC)

More information will be made available in a few weeks.
Organizers: Dick de Jongh (d.h.j.dejongh at uva.nl), Joost Joosten (jjoosten at ub.edu) and Peter van Ormondt (P.vanOrmondt at uva.nl).

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

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 20th edition of Workshop Series "Games, Logic, Language and Computation" (GLLC) will bring together logicians, philosophers and computer scientists working on representations of information for non-ideal agents, and the fine actions that modify this information. The workshop will be hosted by the ILLC on the occasion of the defence of the PhD dissertation Small Steps in Dynamics of Information (http://staff.science.uva.nl/~fvelazqu/english/defence.php).

For more information, see the workshop's website at http://staff.science.uva.nl/~fvelazqu/eania/ or contact Fernando Raymundo Velázquez Quesada (F.R.VelazquezQuesada at uva.nl)

For abstracts and more information, see http://sites.google.com/site/illcdip/

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

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 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).

Organizers: Rens Bod and Krzysztof Apt. The goal of the ILLC Colloquium is to bridge the gaps between the three research programmes and to have a lot of fun! So looking forward to seeing all of you.

For a programme, see here.

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

Maandag is om 9.00 de 72 uur durende studiemarathon begonnen voor investeringen in het hoger onderwijs. Met 27 hoogleraren en meer dan 75 sprekers laten studenten, hoogleraren, politici en docenten zien welke waarde het hbo en wo hebben voor de maatschappij en de economie. De marathon is een positieve aanloop op de grote manifestatie in Den Haag, aanstaande vrijdag. Rens Bod is een van de genodigde sprekers.

http://www.studenten.net/studieleven/nieuws/15832/72_uur_durende_studiemarathon_vandaag_van_start

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

Scientists spend a lot of time testing a hypothesis, and classifying experimental results as (in)significant evidence. But even after a century of hot debate, there is no consensus on what this concept of significance implies, how the results of hypothesis tests should be interpreted, and which practical pitfalls have to be avoided.

Our workshop brings together the perspectives of philosophers and methodologists, statisticians and practitioners. Contributions on all aspects of hypothesis testing that relate to the use and interpretation of those tests, and their role for scientific inference, are welcome. The workshop will be focused on debate, with a discussant for each paper, no parallel sessions and active engagement between the participants.

For more information, see http://hypothesistests.wordpress.com/

Logic was originally meant to systematize and analyze arguments in natural language. But in the 20th century the main developments in logic focused on mathematics and its foundations. Recently, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear, although some recent work has begun to address formal foundations.

The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially proof systems, well-suited for natural language semantics and to explore comparisons between these systems. We also welcome input from the psychology of reasoning and are interested in computer implementations of natural reasoning systems.

For more information, see http://naturalreasoning.wordpress.com/

The annual conference of the Australasian Association of Logic will be held in Wellington, New Zealand, on 14-15 December 2011. It will be held jointly with the Twelfth Asian Logic Conference (15-20 of December)/

Invited speakers include Hiroakira Ono and Michael Detlefsen. There will be a Special Session on Modal Logic on 15 December, the second day of the AAL meeting (=first day of the Asian Logic meeting).

There is a webpage at http://www.victoria.ac.nz/hppi/about/events-philosophy.aspx#AAL2011. More information will be added to it as it becomes available.

Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedictated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.

For more information, see http://logic.sysu.edu.cn/ncmpl2011 or contact ncmpl2011 at easychair.org

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI).

This year's workshop focuses on the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future.

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

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7).

The workshop is intended to cover the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Deductive systems for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS.

For more information, see the LAMAS-2011 webpage at http://icr.uni.lu/lamas2011/.

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the 'mathematicizing power of homo sapiens' to the design of feasible and concrete models of interactive processes. The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.

For more information, see http://www.computing-conference.ugent.be or contact computing.conference at ugent.be.

The twelfth annual Midwest PhilMath Workshop (MWPMW 12) will be held at Notre Dame the weekend of Saturday, November 5th and Sunday, November 6th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be a workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

As part of this year's workshop, there will be a special symposium on "The Nature of Mathematical Reasoning". Featured speakers will include Pr. Lance Rips (Psychology, Northwestern), Pr. Martin Monti (Psychology, UCLA) and Pr. Alan Bundy (Informatics, Edinburgh).

This year, the workshop will also meet in conjunction with Mic Detlefsen's "Ideals of Proof" (IP) research group sponsored by the ANR in France. In connection with this, there will be two additional special workshops, the first featuring interactions between mathematics and philosophy in the modern era, the second is a more logic oriented workshop.

Please consult the workshop website (http://philosophy.nd.edu/news/events/) for links that will take you to the MWPMW 12 pages.

Security and privacy problems in computer networks and mobile applications often stem from the interaction between agents of the network (which can be individuals as well as devices or softwares acting autonomously). Modeling the interaction between agents is therefore essential to address security problems appropriately. Game theory and logic are the most prominent frameworks for the formal treatment of interaction. They permit not only to model and represent this interaction between agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical frameworks and game-theoretic approaches have been proposed to model and analyze computer networks from the security point of view, sometimes resorting to non-classical logics (such as epistemic or intuitionistic logics).

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. Lunches are included in the registration. Deadline for registration: 13th October 2011.

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

EvoDyn builds on the success of the previous editions of the Ontology Dynamics workshop formerly known as IWOD (organised as a part of the ESWC'07, ISWC'08, ISWC'09 and ISWC'10 conferences). EvoDyn continues in the tradition of IWOD in being the core annual event to discuss advances in the broad area of ontology dynamics, and to track recent work directly or indirectly related to the problem of evolving ontologies. This year, however, the scope of the workshop is broadened by a special focus on the knowledge evolution. As ontologies are formal representations of knowledge, the study of their dynamics is an inherent part of investigating the knowledge evolution phenomena, yet it is only one of many relevant aspects this workshop aims to cover in an integral manner.

In particular, the workshop focuses on analysis of trends and change in formal descriptions (i.e., ontologies), but also in associated raw sources of knowledge (scientific publications, unstructured or semi-structured web content, traditional data stores, e-mail or on-line discussion threads, etc.). We are especially interested in research targeted on various states of knowledge evolution, such as (a) conflicts, (b) consolidation, (c) discovery, (d) paradigm shifts, and (e) breakthroughs. One crucial objective of better understanding these different states may be to study directly the underlying causes and dynamics needed to generate discoveries and breakthroughs. We will only be able to facilitate and possibly also generate such desirable situations if we can understand the process of how knowledge evolves. The process of how knowledge in a field grows and changes, crystallizes, and fractures are all areas of interest of this workshop.

Further information and relevant updates can be found at the workshop web page: http://www.ontologydynamics.org/od/index.php/evodyn2011/

We are soliciting papers for a special volume of the Journal of Logic and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last workshop, but also to include work on constructive modal logics not presented at the workshop.

Papers (under 20 pages long) should be submitted by 31st January 2012. Reviews should be provided to authors before the end of May 2012 and the volume should be ready in 2012.

Please contact one of the editors (Valeria de Paiva valeria.depaiva at gmail.com or  Natasha Alechina nza at cs.nott.ac.uk) if you're not sure that your paper is within the scope of this special volume.

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

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

CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

For more information, see http://cla2011.loria.fr/

The Computational Linguistics - Applications Conference was established in 2008 as the Workshop for its first three editions in response to the fast-paced progress in the area, to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology.

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 aims to be a meeting place for both parties in order to share views and ideas. It will help scientist to better understand real world needs and practitioners not to reinvent the wheel. The Conference will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://www.cla-conf.org/

The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications.

The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems.

For more information, see http://epia2011.appia.pt/ or contact cola2011 at di.uevora.pt

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Third International Workshop on Logic, Rationality and Interaction (LORI-III) will take place in Guangzhou, China, during October 10-13, 2011. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://www.golori.org/lori2011/

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This conference intends to set the foundations for an international association "PT-AI" that will further work in the field, organize events, etc. We welcome experts in the field from philosophy and from AI as well as new and upcoming scholars who will shape the field in the decades to come.

Invited Keynote Speakers: Hubert Dreyfus (Berkeley), James H. Moor (Dartmouth), Rolf Pfeifer (Zurich) and Michael Wheeler (Stirling).

For more information, see http://www.pt-ai.org/

Over the years, the methodological toolbox of philosophers of science has widened considerably. Today, formal and experimental methods importantly complement more traditional methods such as conceptual analysis and case studies. So far, however, there has not been much interaction between the corresponding communities. The working assumption of this workshop is that philosophy of science can gain a lot from combining formal and experimental studies.

This workshop aims to explore the relation between formal and experimental approaches to the philosophy of science. We invite meta-theoretical papers, but especially papers that fruitfully combine both methods to problems from the philosophy of science. This first Pittsburgh-Tilburg workshop will pay special attention to the philosophy of the social sciences, but a focus on other subfields of philosophy of science is also welcome.

For more information, see http://www.tilburguniversity.edu/research/institutes-and-research-groups/tilps/

CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.

The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.

For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on applying formal logical methods in a broad sense (including non-classical and modal logics, epistemic game theory, algebraic and categorical logic, probabilistic approaches etc) to reasoning about information and agency.

Topics of interest include:
Modal Logics for Agency
Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
Logics for Information Updates (learning, belief revision, theory change, conditioning etc.)
Logical approaches to strategies, preferences and rationality in Epistemic Game Theory
Logics for reasoning about protocols, planning and intentions.

For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

It is with great pleasure that we announce the upcoming Semantics and Philosophy in Europe 4 conference. The conference will feature expert tutorials, symposia, roundtables, and a colloquium on the following topics: The Semantics and Pragmatics of Quotation, The Semantics of Action Sentences, and The Semantics and Epistemology of Mental State Ascriptions.

The purpose of the SPE workshops 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, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology) . SPE takes place annually in different European cities. The previous meetings took place in Paris (SPE1, 2008), London (SPE2, 2009), and Paris (SPE3, 2010).

For more information, see http://www.rub.de/phil-lang/spe4 or contact spe4 at rub.de.

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

For more information, see here.

The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.

COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.

For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html

A cooperation between the BMBF project OTHER MINDS (Bochum/Cologne) & Mindlab and Gnosis Research Center (Aarhus).

Contact and Registration: Bochum.Conference at rub.de. Website: http://www.ruhr-uni-bochum.de/philosophy/otherminds-bochum/.

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, in a 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. This year's GAMES workshop will be held in Paris on the Rive-Gauche site of Université Paris Diderot.

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 for the design and verification of computing systems. As in previous years, GAMES 2011 will be an informal workshop, without proceedings. Its programme consists of five invited tutorials, contributed talks (30 min) and short presentations (15 min).

For more information, see http://www.lsv.ens-cachan.fr/~dwb/games2011/.

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 Ackermann Award for 2011 will be presented to the recipients at CSL 2011.

For more information, see http://www.eacsl.org/csl11

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics.

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. Additionally, the organizers have made arrangements to facilitate the running of one day workshops on September 11 and September 15.

For more information, see http://www.isp.uni-luebeck.de/time11/ or contact time11 at isp.uni-luebeck.de.

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. It will be held in conjunction with CSL 2011 which takes place in Bergen September 12 - 15.

For more information, see http://www.types.name/

This conference will be an international one, bringing together scholars from Europe and North America to mark the 300th anniversary of Hume’s birth. It will be the first conference devoted to Hume’s work to be held in the Czech Republic. The central topic will be Hume’s epistemology, including his views on belief, evidence, induction, probability, testimony, natural theology and scepticism, as well as the epistemological questions surrounding his account of the self and of causation. The proceedings will last for three days, from September 6th to 8th (Tuesday to Thursday), 2011.

For more information, see http://www.flu.cas.cz/hume2011/.

MOL 12 is the 12th Meeting on the Mathematics of Language, to be held in Nara, Japan, from September 6 through 8, 2011. MOL meetings are organized biennially by the Association for Mathematics of Language, which is a Special Interest Group of the Association for Computational Linguistics. The venue of this year's meeting is the first outside of Europe and the U.S.

Invited Speakers are Kit Fine (New York University) and Andreas Maletti (Universität Stuttgart).

For more information, see the MOL 12 web site at http://sites.google.com/site/mol12nara/.

Philosophy of mathematics has proved to be one of the most lively areas of philosophy in recent times, and numerical cognition has proved the same with respect to cognitive science. Many traditional issues in the philosophy of mathematics, concerning both our understanding of the concept of number and our conception of mathematical objects, has been seen in a new light under the pressure of the development of cognitive studies. Often, however, we are faced with the stark opposition between those who believe that cognitive results tell us all there is to say about mathematics, pace most traditional philosophical concerns, and those who deny that cognitive aspects of mathematical thinking, however interesting they may be on their own, can foster any progress in the solution of as yet theoretically unavoidable philosophical issues.

Many, however, feel the urge of filling the gap, one way or the other. Major and interrelated issues are indeed at stake. This workshop aims at bringing together scholars on both sides of the divide, and to offer the opportunity to young researchers of discussing works at the interplay between cognitive science and the philosophy of mathematics.

The workshop Numerical Cognition and Mathematical Ontology is one of the Workshop associated to the Seventh Conference in Analytic Philosophy (ECAP7).

For more information, see the workshop website at http://www.esap.info/ecap7/?page_id=29 or the conference website at http://www.esap.info/ecap7/.

ICTAC 2011 is the 8th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2011 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

For more information, see http://www.ictac.net/ictac2011/

Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshop creates a space for lively debate and exploration of these four elements that are central to the design and deployment of open systems. Furthermore, in the last three years there has been much interest from the Service Engineering community to adopt agent-based coordination and organisational approaches in order to bring flexibility and adaptiveness to new generations of Service-Oriented applications. Thus the workshop topics are also very relevant to the broader Service Engineering and Semantic Web communities.

For more information, see http://mmi.tudelft.nl/coin-wi-iat2011/

We have all been shocked and saddened by the untimely passing of Horacio Arló-Costa. To honor Horacio Arló-Costa's memory and influence on all of us in the community, Jeffrey Helzner, Vincent F. Hendricks, Paul Pedersen and Gregory Wheeler will be editing a book with essays on his philosophy, his intellectual biography, his official obituary, words of remembrance from his friends and colleagues, his unpublished manuscripts and notes, and other relevant communications from or about Horacio.

If you have words of remembrance, please feel welcome to post them at Choice and Inference under the entry In Memory of Horacio Arló-Costa, as we will, with your permission, use your words of remembrance for the volume. Please send all other material (correspondences, notes, etc.) to any one of the editors by email.

Deadline for submissions is February 1, 2012. For more information, see http://choiceandinference.com/2011/07/31/honoring-horacio-arlo-costa/

In Generalized Quantifier Theory (GQT) and Discourse Representation Theory (DRT), many quantifiers are semantically identical to one another: most and more than half; at least three, more than two and three; and about 100 and some 100. Even when there is no identity, the meanings of quantifiers overlap, and many quantifiers could be used truthfully to describe the same situation. Nevertheless, the choice of a specific quantifier by a speaker has semantic and pragmatic consequences, and listeners are sensitive to the subtleties of a speaker's choice. The goal of a theory of quantifier use is an account of how speakers choose one of the many true quantifiers and how listeners interpret a speaker's choice. The PUQOL workshop aims to bring together current research within semantics, logic, pragmatics, and cognitive science that addresses quantifier use within the perspective of model theoretic semantics and pragmatics.

PUQOL will take place as part of the 23rd European Summer School in Logic, Language and Information (ESSLLI 2011).

For more information, see http://www.zas.gwz-berlin.de/workshop_puqol.html

CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.

Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.

For more information, see http://cade23.ii.uni.wroc.pl/.

Formal logic and game theory can meet in many ways. While the use of games-for-logic, e.g., to define semantics of quantifiers or to compare logical models, goes back a long time, logic-for-games is a more recent and currently very active research direction which has been precipitated by the introduction of the notion of (multi-)agency in logic. If agents are assumed to be self-interested and to act rationally, then reasoning about action in a multi-agent setting requires reasoning about game theoretic concepts. Furthermore, logics capturing, e.g., the principles of action, belief, knowledge, time, preference and so on, can help explaining the foundations of game theoretic solutions, algorithms, etc.

The goal of the special issue of Studia Logica on Logic and Games is to illustrate current trends and present recent advances in this field. We invite submissions on all topics in the intersection between formal logic and game theory. The special issue will contain contributions from the following invited authors, in addition to selected submitted contributions: Johan van Benthem (UvA/Stanford), Rohit Parikh (New York), Michael Wooldridge (Liverpool).

Submission deadline: 15 August 2011 For more details, see http://www.ifispan.waw.pl/studialogica/si-logic-and-games.html.

Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.

Optimality Theory has been a very popular approach to linguistic phenomena, but how does it relate to (higher) cognition in general? Twenty-five years after the publication of Harmony Theory (Smolensky, 1986), and five years after The Harmonic Mind (Smolensky and Legendre, 2006), this half-day workshop at the 33rd annual meeting of the Cognitive Science Society offers an opportunity to discuss the place of OT (and HG, and the ICS Architecture) within the cognitive sciences at large, as well as applications of OT to domains beyond linguistics.

For more information see http://www.birot.hu/events/OTGCA/.

The main objective of the CoSLI-2 workshop is to foster computational formalisms and approaches for interpreting or generating spatial language that take into account cognitive, functional, or embodiment criteria in modeling. In particular, this year's workshop theme is "Function in Spatial Language: From evidence to execution". CoSLI 2011 is held in conjunction with CogSci 2011.

For more information, see http://cosli.org/

The theme of IJCAI-11 is ''Integrated and Embedded Artificial Intelligence'' (IEAI) with a focus on artificial intelligence that crosses discipline boundaries within AI, and between AI and other disciplines. Building systems often requires techniques from more than one area (e.g. both machine learning and natural language processing, or both planning and preference representation). In addition, larger systems often have AI components embedded within that provide intelligent functionalities such as learning and reasoning. The conference will include a special track dedicated to such work.

For further information please visit the conference web site: http://www.ijcai-11.org

Starting from 1960 the International Congress of Logic, Methodology and Philosophy of Science has been held every four years in capital cities and/or by famous university centers. The congress is meant to reflect the current state of the art in Logic and Philosophy of Science and also to draw upon and present new perspectives.

A novelty of the Nancy Congress is that it has adopted a topic of special focus: "Logic and science facing new technologies". This presents the opportunity for casting a strong light on an issue of major importance today, namely: the integration of contemporary technologies in sciences and in society. Questions surrounding this issue are likely to interest the scientific community, as well as a variety of social actors and various partners involved in the congress.

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

SING 7 is the seventh in the series of Spain-Italy-Netherlands Meetings on Game Theory, and the first one organized in France. Presentations will focus on new research directions in Game Theory. The meeting provides an avenue where new research collaborations can be forged.

All information can be found on http://ces.univ-paris1.fr/SING_7.htm. Participants have to register, submit abstract, and pay registration fees through this web site. For inquiries, please send a message to sing7 at univ-paris1.fr.

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.

The 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Norms and Normative Multi-Agent Systems' and 'Logics for Games and Social Choice'.

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/climaXII/.

The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success.

NRAC is a well-established forum for researchers interested in sharing their experiences in work in the areas of Nonmonotonic Reasoning, Reasoning about Action, and Belief Revision. An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization.

For more information, see http://www.cs.rmit.edu.au/~ssardina/NRAC2011/

RPPW13 will be held at the Max Planck Institute for Human Cognitive and Brain Sciences in Leipzig, Germany. This event continues the tradition of workshops catering for those engaged in the scientific study of rhythm perception and production. The three-day workshop will include invited spoken presentations and posters. Spoken presentations will be held in a single stream, and posters will be displayed during two poster sessions. As with past RPPWs, the number of participants will be limited in order to facilitate lively interaction and discussion. We plan to have around 80 presenters (30 spoken presentations and 40-50 posters).

Previous meetings have been held in France, Ireland, Belgium, England, the Netherlands, and Germany. The last workshop to be held in Germany took place at Ohlstadt in 1996. We are delighted to welcome the RPPW community to Leipzig in 2011.

For more information, see http://www.cbs.mpg.de/news/events/workshops/ws-rpp.

Logic Colloquium 2011, organized under the auspices of the Association for Symbolic Logic, will be held in Barcelona, Catalonia, Spain, on July 11-16, 2011.

For more information, see http://www.logic2011.org/ or contact lc2011 at lsi.upc.edu.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. Two full-day workshops (included in the registration fee) will precede and follow the conference: "Reasoning about other minds: logical and cognitive perspectives" and "Quantum physics meets TARK".

Early registration deadline: May 31, 2011. For registration, a list of accepted papers and a schedule, see the TARK website at http://TARK2011.org/. For more information, see the website or contact S.J.L.Smets at rug.nl.

This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels.

The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds.

For more information, see http://www.ai.rug.nl/conf/reasoningminds/

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 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy. This year's workshop, the fifth in the series, will take place at the Department of Quantitative Economics at the University of Maastricht, in July 2011.

For more information, see http://www.meansandends.com/workshop11/

This conference is the 20th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

See http://www.tableaux11.unibe.ch/ for more information on TABLEAUX2011, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

The conference theme is "The Computational Turn: Past, Presents, Futures?" In part, the phrase "the computational turn" refers to the multiple ways in which the increasing availability and usability of computers allowed philosophers to explore a range of traditional philosophical interests in new ways, often shedding significant new light on traditional issues and arguments. Simultaneously, computer scientists, mathematicians, and others whose work focused on computation and computational devices often found their work to evoke (if not force) reflection and debate precisely on the philosophical assumptions and potential implications of their research. These two large streams of development inspired what became the first of the Computing and Philosophy (CAP) conferences in 1986 (devoted to Computer-Assisted Instruction in philosophy). Since 1986, CAP conferences have grown in scope and range, to include a bewildering array of intersections between computation and philosophy as explored across a global range of cultures and traditions.

For more information, see http://www.imv.au.dk/en/iacap/ and http://www.ia-cap.org/conferences.php.

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The Eighth Panhellenic Logic Symposium will be hosted by the Department of Computer Science at the University of Ioannina.

The scientific program of the symposium will consist of one-hour long invited talks, three-hour long tutorials, and twenty-five-minute presentations of accepted contributed papers. There will also be special opportunities for students to give short talks, and receive comments on work in progress.

For more information, see the conference website at http://www.cs.uoi.gr/~pls8/.

Set Theory as was quickly recognized by David Hilbert more than 100 years ago, plays a fundamental foundational role in the intellectual underpinning of pure mathematics. Cantor's work on cardinality and wellorderings was seen to establish several basic areas of research whose threads we discern today and indeed will be emphasized in this conference: on the arithmetic of cardinal numbers themselves, and on the `descriptive set theory' that seeks to analyse the logical complexity of sets definable within mathematical language. Cantor's work derived from his study of trigonometric series, and modern set theory goes back to classical analysis as well as to modern Banach space theory, abstract algebra, ergodic theory, and dynamical systems to find fruitful applications.

For more information, see http://www.esf.org/conferences/11368.

LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA).

For more information, see http://lacl.gforge.inria.fr/

To support humans in demanding circumstances it is often required that an intelligent system application has some form of human-awareness. This means that the system has a form of intelligence that enables it to analyze and tune itself to the human's cognitive and affective states and processes, such as attention, level of stress, or exhaustion. To design such intelligent applications in the first place the system needs knowledge of the relevant human processes, and possesses methods to use this knowledge to become human-aware: to estimate and analyze the human's states and processes. Furthermore, based on such human-awareness the system is able to tune its actions and interactions with the human.

In this track we are looking for research papers that explore building blocks or full applications for such intelligent systems. All kinds of aspects of cognitive and affective human processes in all areas of life and/or work may be relevant. For example, the papers can address the analysis and modeling of such human processes, or models, architecture, or interfaces to support human cognitive and/or affective processes. Hereby, the (intended) application system does not necessarily need to incorporate an explicit model of human processes, but can also be based on heuristics developed by using formalized models of human functioning.

For more information, see http://www.cs.vu.nl/~mhoogen/iea-aie-2011/ or contact the session organizers via mhoogen at cs.vu.nl.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity, deductive formalisms as they relate to complexity, complexity aspects of finite model theory and databases, complexity-mindful program derivation and verification, computational complexity at higher type, and proof complexity.

LCC'11 will be held as an affiliated meeting of LiCS'11. The LCC'11 program will consist of invited lectures as well as contributed papers selected by the program committee.

For additional information see http://www.cs.swansea.ac.uk/lcc2011/ or contact u.berger at swansea.ac.uk or denis at cs.mcgill.ca.

The 2011 EPISTEME conference will focus on the intersection of formal and social epistemology. The use of formal models in social epistemology is not a new development. Many philosophers have modeled concepts and ideas in social epistemology by using formal tools of various types (e.g., game theory, Bayesian decision theory, the theory of judgment aggregation, the recently developed theory of networks, multi-agent epistemic logic, social choice theory, etc.). This conference intends to explore the many fertile relations between various branches of formal epistemology and many sub-areas of contemporary social epistemology.

The 2011 EPISTEME conference will be hosted by the Center for Formal Epistemology in the Department of Philosophy at Carnegie Mellon University. The topic of the conference is: "Social Epistemology meets Formal Epistemology: Recent developments and new trends"

For more information, see http://epistemejournal.wordpress.com/conference/2011-carnegie-melon/

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto. Invited speakers include Naoki Kobayashi, Andrei Krokhin, Toniann Pitassi and Ashish Tiwari.

For more information, see http://www.informatik.hu-berlin.de/lics/lics11/.

Logica 2011 is the 25th in the series of annual international symposia devoted to logic. Invited speakers are Edwin Mares, Pavel Materna, Krister Segerberg, and Gila Sher.

Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. Deadline for submissions is 28 February 2011.

For more information, see http://www.flu.cas.cz/logica.

The impact of David Lewis on contemporary philosophy is still tangible, ten years after his premature departure. The conference intends to discuss Lewis' long-lasting contribution in the fields of logic and metaphysics, with particular focus on the nature of modality, his views on possible worlds, counterfactuals, causation, and convention. We also wish to provide a setting for young philosophers and logicians to present topics related to Lewis' philosophy and discuss the state of art of his legacy in the contemporary philosophical debate.

For further information and for the conference program, please contact conlewis2011 at gmail.com or visit the website at http://sites.google.com/site/conferencelewis/.

The 3rd International Conference on Mathematics and Computation in Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the Institute for Research and Coordination of Acoustics and Music in Paris, France. MCM 2011 will be integrated into IRCAM's most important artistic event of the season, the Agora Music Festival, which is running from June 6 to 18, 2011.

As in the case of the first two conferences (which took place in 2007 in Berlin and in 2009 at Yale University), the third Mathematics and Computation in Music Conference aims to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. One of the Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM. It will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, ...) organised in collaboration with some of the most important cultural and educational centres of France, such as the Centre Pompidou and Universcience.

For more information, see http://mcm2011.ircam.fr/drupal/

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.

Invited speakers: Thomas Colcombet (CNRS), Erich Graedel (Aachen University), Moshe Vardi (Rice University).

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

This is a workshop on contemporary Logicism. The aim of this workshop is to gather philosophers working from within a logicist perspective (or from within a perspective close to logicism) so as to question the coherence and unity of the movement - that is, both to make apparent the conceptual tensions that divide logicism, and to outline possible rapprochements between different logicist approaches of mathematics. The three-day meeting will feature both invited and contributed talks.

For more information, see http://www.univ-bpclermont.fr/LABOS/phier/Logicism/index.html.en

The Bonn Graduate Conference is part of the "Rhine Valley Philosophy Summer" (http://rvps2011.net/), a series of events independently organized by philosophers in Bonn and Cologne. Its aim is to give graduate students the opportunity to present their work to leading researchers in philosophy of language, epistemology and metaphysics.

There will be up to seven talks by graduate students. Talks with a thematic focus on contextualism and relativism are given priority, but general submissions on broader topics in epistemology, philosophy of language and philosophy of science are welcome and will be considered. The conference language is English.

For further information consult our website: http://rvps2011.net/relativism/graduate.html

Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach.

CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. 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. We particularly invite papers that build bridges between different parts of the research community.

For more information, see http://cie2011.fmi.uni-sofia.bg or contact cie2011 at fmi.uni-sofia.bg.

Since 1981, ASMDA aims to serve as the interface between Stochastic Modeling and Data Analysis and their real life applications particularly in Business, Finance and Insurance, Management, Production and Reliability, Biology and Medicine. Our main objective is to publish papers, both theoretical or practical, presenting new results having potential for solving real-life problems. Another important objective is to present new methods for solving these problems by analyzing the relevant data. Also, the use of recent advances in different fields, will be promoted such as for example, new optimization and statistical methods, data warehouse, data mining and knowledge systems, computing-aided decision supports and neural computing.

For more information, see the site http://www.asmda.eu/

The 43rd ACM Symposium on Theory of Computing (STOC 2011), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Jose, California, from Monday June 6 to Wednesday June 8, 2011, as part of the Federated Computing Research Conference (FCRC).

For more information, see http://www2.research.att.com/~dsj/stoc11/stoc11.html

Over the past twenty years, the RelMiCS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. At the last of these conferences it was decided that the two series should be united under the new title "Relational and Algebraic Methods in Computer Science (RAMiCS)". This year, special attention will be paid to the fact that the meetings started 20 years ago at the Banach Center in Warsaw.

Relational and algebraic methods and software tools like RELVIEW turn out to be useful for solving problems in social choice and game theory. For that reason this conference includes a special track on computational social choice and social software, organized by the CFSC (Computational Foundations of Social Choice) and SSEAC (Social Software for Elections, the Allocation of tenders and Coalition formation) projects of the ESF LogICCC programme.

For more information, see http://www.eur.nl/fw/english/ramics12/ or contact Harrie de Swart at deswart at fwb.eur.nl.

In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church's Thesis (CT). Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. Various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference's focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of this Studia Logica International Conference include the discussion over the major results concerning the Church's Thesis (CT), as well as the presentation of contemporary approaches to problems connected with the CT.

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

The Third International Congress on Tools for Teaching Logic (TICTTL), in Salamanca, Spain, will focus on logic teaching software, teaching formal methods, dissemination of logic courseware, logic games, etc. Previously, these events have also been organized in Salamanca, in 2000 and in 2006. Invited speakers include David Gries, known as the author of The Science of Programming, and Jim Henle, known as an author of Sweet Reason. The organizing committee is: Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, and Fernando Soler.

For more information, see http://logicae.usal.es/TICTTL/

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first three BLAST conferences were at the University of Denver, New Mexico State University, and the University of Colorado in Boulder.

BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.

Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 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/LATA2011/.

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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011.

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

The main goal of this meeting is to foster collaboration among researchers in the area of Many-valued Logic, and to promote communication and cooperation with researchers on related topics. The featured topics include, but are not limited to, Algebraic semantics, First-order fuzzy logics, Proof systems for fuzzy logics and Applied fuzzy logical calculi. The conference's scientific programme includes invited lectures and contributed talks.

For further information please visit the website: http://logica.dmi.unisa.it/AlgebraicSemantics2011/

The conference will be preceded by the Logic School 2011, on May 7-8, 2011.

For more information, see http://www.cle.unicamp.br/ebl2011/

AAMAS is the leading scientific conference for research in autonomous agents and multiagent 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 multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan.

For more information, see http://www.aamas2011.tw/

Socio-technical systems are complex adaptive entities that require the engagement of social and technical elements in an environment to reach certain goals. In order to understand, analyze or design such systems, advanced tools are required. One of the major tools for understanding socio-technical systems is agent-based modeling. In recent years, social scientists, including economists and policy makers, have been using agent-based models to tackle their problem domains. Building artificial societies by combining the multi-agent systems view and domain knowledge has become a challenge, because of the complexity involved.

The goal of AMPLE is to connect agent and artificial society research on the one hand, with policy making, institutional analysis and tools like system dynamics and gaming on the other. The combination could have benefits for the further enrichment of agent-based modeling and simulation. By gathering these different perspectives, we aim to explore how agent-research can be used or improved to assist with policy making in the social sciences.

For more information, see http://ample2011.tudelft.nl/ AMPLE-2011 is co-located with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2011, http://www.aamas2011.tw/).

Mechanisms for reasoning with context have become increasingly important factors in the Semantic Web. There is a growing need for general and robust reasoning techniques that make it possible to integrate heterogeneous knowledge or to use homogeneous knowledge across different domains. This special issue aims at bringing together work on reasoning with context in the Semantic Web from integration, development and evolutionary perspectives.

For more information, see http://journalofwebsemantics.blogspot.com/2011/03/ or contact organization at arcoe.org.

In conjunction with the 2011 AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) Convention.

As a subject for philosophical investigation computing has a long history. With the rapid technological progress of electronic computing since the mid-20th century we have seen the emergence of much deeper and broader interactions between computing and philosophy. Both philosophy and computing stand to benefit from this continuing dialogue. The purpose of the symposium is to further strengthen communication between these disciplines, thereby to advance the philosophical study of computing in general in relation to a number of key issues. These include traditional philosophical problems and the philosophical issues surrounding computational modelling. We therefore welcome papers exploring any of these issues. Papers that engage with cognitive science are particularly encouraged.

For more information, see the symposium website at http://www.doc.gold.ac.uk/seminars/AISB/Philosophy+Computing.html

The conference will focus on philosophical issues that arise within the practice and application of contemporary research using modeling and simulation. The goal of this event is "Building Bridges Between the Philosophical and Modeling Communities": to bring together sophisticated work in philosophy of science and on-going efforts in modeling in order to build more effective collaboration between philosophers of science and those who build and employ models in a range of disciplines and applications.

For more information, see http://www.modelingepistemology.pitt.edu/

This workshop aims at the interrelation between interactions, games and protocols. How does computer science deal with nondeterministic interactions where the actions a system takes are not (completely) determined by the interactions the system is involved in?

For more information, see http://react.cs.uni-saarland.de/iWIGP2011/

The invited speakers include: S. Aaronson, A. Antonelli, L. Bienvenu, L. van den Dries, D. Haskell, J. Moore, C. Rosendal, N. Thapen, and S. Thomas. Penelope Maddy will deliver a retiring presidential address. The following special sessions (with organizers in parentheses) are planned: Definability throughout Mathematical Logic, in honor of Leo Harrington (T. Slaman and J. Steel), Hilbert (W. Sieg), Model Theory (D. Marker), Philosophy of Mathematics (J. Burgess), and Set Theory (E. Schimmerling). The Shoenfield Prizes for outstanding expository writing will be awarded also.

For more information, see http://logic.berkeley.edu/ASL/.

The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing computers with common sense.

Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we still have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to characterize commonsense reasoning using representations based on logic or other formal theories. The challenges to creating such formalizations include accumulating knowledge about the everyday world, representing this knowledge formally, integrating different representations, and developing reasoning methods for these representations.

For more information, see http://www.commonsensereasoning.org/2011/index.html

The European Epistemology Network (EEN) provides a platform for cooperation and exchange among epistemologists and those interested in the theory of knowledge in Europe. The 2011 meeting is held in Lund, Sweden, from Thu 17th - Sat 19th of March.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=44

With his seminal paper ``deontic logic'' published in Mind in 1951, Von Wright launched the area of deontic logic. It is the field of logic that is concerned with obligation, permission, and related concepts.

We invite papers concerned with the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic, and the formal analysis of normative concepts and normative systems. We also invite applications of deontic logic and normative systems to, for example, the formal specification of aspects of norm-governed multi-agent systems and autonomous agents.

Paper Submission Deadline: September 1, 2011. For more information, see http://deonticlogic.org/ or http://www.oxfordjournals.org/our_journals/logcom/for_authors/index.html.

The twelfth installment of the workshop that takes linguists and experimental philosophers to the ski slopes will be held March 11~15, 2011, on the mountaintop Szrenica, Poland.

The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is "Ambiguity and Disambiguation" - as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating concerns to ambiguity and disambiguation are especially welcome. Experimental as well as theoretical approaches to the problem are welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. For more details see the call for papers. Invited Speakers include Justyna Grudzinska, Katrin Schulz, Jacques Jayez and Bernhard Schröder (confirmed)

For further details check the webpage: http://szklarska2011.hlotze.com/.

he Symposium on Theoretical Aspects of Computer Science (STACS) takes place each year since 1984, alternately in Germany and France.

Typical topics of the conference include:
* Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
* Automata and formal languages;
* Computational and structural complexity
* Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;
* Current challenges, for example: biological computing, quantum computing, mobile and net computing.

For more information, see http://stacs2011.de/

We are pleased to announce that a special issue of Topics in Cognitive Science (TopiCS) will be devoted to the theme of mathematical pratice and cognition.

Researchers in mathematical practice and cognition are forming increasingly well-established communities with independent approaches and methodologies. The aim of this topiCS issue is to establish and strengthen connections between these and other areas of research, and, where relevant, to relate work carried out in such arenas to the cognitive science mainstream. Thus, this interdisciplinary issue aims to present commonalities and interactions between researchers who investigate how people do mathematics.

Submission deadline: Wednesday: 20th April 2011. Please see http://homepages.inf.ed.ac.uk/apease/aisb10/journal.html for details. Note that this page is under construction and will change.

The ProDi workshop focuses on the relationship between proof-theoretic and dialogical approaches to logic. Formally, it is an internal meeting organized by two collaborative research projects within the ESF programme "Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences (LogICCC)" (http://www.esf.org/index.php?id=3241) together with some external experts (including Andreas Blass, George Metcalfe, Helge Rückert and Morten Sørensen).

However, there will be two or three slots for contributed talks (30 min). If you are interested to contribute such a talk, please send an abstract to Thomas Piecha (ProDi-CfP at informatik.uni-tuebingen.de). The deadline is 7 February 2011. We would notify you until 10 February of whether we can accept it or not.

Participants are welcome. In that case please send an e-mail to Thomas Piecha until 10 February.

For more information, see http://www-ls.informatik.uni-tuebingen.de/prodi/

*PhDs in Logic* is an annual two-day graduate conference and winter school in logic. Each year we invite four established professors to do a tutorial on their work in two one-hour sessions. We also give about ten PhD students the opportunity to do a thirty-minute presentation on (a) their own work or (b) an overview of some topic in their field.

The current conference will feature the tutorials by Eric Pacuit (*Epistemic Logic*), Sonja Smets (*Quantum Logic*), Mai Gehrke (*Algebraic Logic*) and Peter Koepke (*Set Theory*). PhD students in logic with a background in philosophy, computer science, or mathematics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions.

For more information, visit our website at http://www.vub.ac.be/phdsinlogic2011/.

Studia Logica invites contributions to the special issue dedicated to the memory of the great Georgian logician Leo Esakia (1934-2010). Leo was the founder of the logic school in Georgia. He made numerous important contributions to the study of algebraic and topological semantics of modal and intuitionistic logics. Several landmark theorems in the field bear his name. Leo also contributed immensely to establishing a strong research community working on algebraic, topological, and categorical methods in logic.

We specifically invite submissions on the topics closely related to Leo's research. Submitted papers should not exceed 20 pages (including bibliography), formatted according to the Studia Logica LaTeX style. Deadline for submission of manuscripts to the issue editors: 30th April, 2011.

For more information, see http://www.ifispan.waw.pl/studialogica/si-Esakia.html

The conference CCR, also known as conference on Logic, Computability and Randomness, will be in the tradition of the previous meetings in Córdoba (Argentina) 2004, Buenos Aires (Argentina) 2007, Nanjing (China) 2008, Luminy (France) 2009 and Notre Dame (USA) 2010. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic

For more information, see http://cca-net.de/ccr2011/. CCR-2011 is co-located with CCA-2011.

The conference is concerned with the theory of computability and complexity over real-valued data.

Computability and complexity theory are two central areas of research in mathematical logic and theoretical computer science. Computability theory is the study of the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Such strings may represent various discrete objects such as integers or algebraic expressions, but cannot represent general real or complex numbers, unless they are rounded.

Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be discovered.

For more information, see http://cca-net.de/cca2011/. CCA-2011 is co-located with CCR-2011.

The present workshop is devoted to different understandings of the notion of form in the context of logic- and scientifically-oriented philosophy in the 19th and early 20th century, i.e. (roughly) the period from Bolzano over Brentano to Husserl, Frege and early analytic philosophy.

Against this historical background, we aim at bringing together masters of the field with graduate students whose work is connected (but not restricted) to this subject. Invited speakers: Michael Beaney (York), Danielle Macbeth (Haverford)

For more information, see here or contact Stefan Roski (stefan.roski at gmail.com).

Graduate Conference on the Epistemological Status of First-Person Methodology in Science, and the Metaphysics of Belief & 2nd William James Lecture by Eric Schwitzgebel, University of California at Riverside

For more information, see here or http://www.cogsci.uni-osnabrueck.de/, or contact Sascha Benjamin Fink at safink at uos.de.

The University of Oxford will host the Ninth International Conference on Computational Semantics (IWCS-2011), which will take place at the Computing Laboratory on 12-14 January 2011. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether this is from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

Areas of special interest for the conference will be computational aspects of meaning of natural language within written, spoken, or multimodal communication.

For more information, see http://www.meaningfactory.com/iwcs2011/

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. Details of these workshops will be posted on the conference website at http://ali.cmi.ac.in/icla2011 in due course. Any queries related to the conference may be sent to the following email address: icla at cse.iitk.ac.in.

The 12th Asian Logic Conference will be held in Wellington, New Zealand from 15-20 December 2011. This meeting will be held jointly with a meeting of the Australasian Association for Logic (AAL). There will be an additional workshop for students on the 14th featuring the conference Tutorial Speakers.

The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and i philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

For more information, see http://msor.victoria.ac.nz/Events/ALC2011/

This is the fourth in a series of four one-day workshops, 2010-11, between groups from Copenhagen (CPH) and Lund (LU), on the themes of Pluralistic Ignorance, Belief Polarization, Echo Chambers and Informational Cascades.

To participate, contact frank.zenker at fil.lu.se by November 25th. Please indicate if you attend lunch and/or dinner. For more information, see the website at http://www.fil.lu.se/conferences/conference.asp?id=43&lang=eng

On Nov. 7-8 we shall organize in Seville, Spain, the 4th Workshop on Philosophy of Mathematical Practices, this time focused on open problems in contemporary set theory. The topic is Maximalist and Minimalist Perspectives on Infinity. The list of speakers includes several noted specialists in set theory and the philosophy of set theory, namely:

Tatiana Arrigoni (Fondazione Bruno Kessler, Trento);
Joan Bagaria (Universitat de Barcelona);
Laura Crosilla (University of Leeds);
Sy D. Friedman (Kurt Gödel Centre for Mathematical Logic, Vienna);
Ignasi Jané (Universitat de Barcelona).

For more information, see http://institucional.us.es/phum2594/settheoryworkshop.html

In Economics, as in many other disciplines, we find a multitude of general laws such as "an increase in the demand of a good leads to an increase of its price" which are supposed to hold only under the proviso that some possibly influencing factors are kept constant (ceteris paribus), absent ("uceteris absentibus") or irrelevant ("ceteris neglectibus"). Although being non-strict, since they allow for exceptions, these generalizations play a vital role in science as well as in everyday reasoning (e.g about preferences).

Recent work in modal logic witnesses an increasing activity in formal modeling and applications on this side. This workshop is meant to contribute from different sides to the debate around the status and the structure of ceteris paribus laws and reasoning and brings together researchers working in different areas of Philosophy of Science and Logics.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=48 or contact Carlo.Proietti at fil.lu.se.

The Fall 2011 MAMLS Meeting, which takes place at Rutgers University on October 22-23, 2011, will be dedicated to the memory of Greg Hjorth. The invited speakers include Su Gao, Alexander Kechris, Itay Neeman, Sorin Popa, Saharon Shelah, John Steel, Asger Tornquist and Hugh Woodin.

For further information, visit: http://www.math.rutgers.edu/~sthomas/RU2011.html

The Institute of Cryptography and Security and the Institute of Theoretical Informatics of Karlsruhe Institute of Technology (KIT) announce COMPUTING 2011, a symposium devoted to the 75th anniversary of two pioneering works on the theory of computation: "On Computable Numbers, with an Application to the Entscheidungsproblem" by Alan Turing and "An Unsolvable Problem of Elementary Number Theory" by Alonzo Church.

The symposium will review the work of Church and Turing and its influence on contemporary Theoretical Computer Science. Keynote Speakers are Henk Barendregt, Christof Teuscher and Wolfgang Thomas. COMPUTING 2011 will be co-located with Deduktionstreffen 2011 (http://baldur.iti.kit.edu/deduktionstreffen11).

For more information, see http://baldur.iti.kit.edu/Computing2011 or contact Olga Tveretina at olga at ira.uka.de

A joint seminar Austria-Japan on "Forcing in Set Theory" will take place at Kobe University (Japan) from Jan. 23 (Mon.) till Jan. 29 (Sun.), 2012.

For more information, check the organizers' Activities Webpage at http://kurt.scitec.kobe-u.ac.jp/~brendle/events.html.

A workshop on "Aspects of Descriptive Set Theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from October 19 (Wed.) till October 21 (Fri.), 2011. The workshop is organized by Hiroshi Fujita (Ehime University). The program will feature minicourses by Stefan Geschke and Slawomir Solecki, as well as many other talks by participants from Japan and abroad.

See the webpage at http://www.math.sci.ehime-u.ac.jp/~fujita/rims2011/index.en.html for details. If you are interested in attending or contributing, please contact Hiroshi Fujita, the sooner the better: fujita.hiroshi.mh at ehime-u.ac.jp.

Workshop, Laboratoire de Mathématiques de Besançon, France, 15-16 October 2011. Dedicated to Henri Lombardi.

Speakers:
* María Emilia Alonso García (Spain)
* Thierry Coquand (Sweden)
* André Galligo (France)
* Hajime Ishihara (Japan)
* Alban Quadrat (France)
* Claude Quitté (France)
* Fred Richman (USA)
* Ihsen Yengui (Tunisia)

For more information, see http://epiphymaths.univ-fcomte.fr/fete-a-henri/ To register for Henrifest please send an e-mail to stefan.neuwirth at univ-fcomte.fr.

The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference on PHILOSOPHICAL MODAL LOGIC on October 7 in Geneva.

Modal logic is a type of logic that extends the standards of formal logic to include the elements of modality. Modalities, expressed by the modal operators box and diamond, permit to qualify the truth of a judgement. Widely studied from a mathematical and theoretical point of view, modal logic has nonetheless been a valuable instrument for the formal analysis of philosophical arguments, and has found important applications in computer science.

For more information, see http://www.sgslps.ch/events.php

The overall objective of this workshop is to study some of the open questions within philosophy of information.

Interest in the philosophy and meaning of information goes back half a century but has rapidly increased recently with many new directions of research into the meaning, quantification and measures of information and complexity as well as a vast range of applications across the scientific spectrum. In this workshop we will focus on the different techniques to measure information and to identify meaningful information.

For more information see http://www.american.edu/cas/economics/info-metrics/workshop/ or contact info-metrics at american.edu.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

This is the third in a series of four one-day workshops, 2010-11, between groups from Copenhagen (CPH) and Lund (LU), on the themes of Pluralistic Ignorance, Belief Polarization, Echo Chambers and Informational Cascades.

To participate, contact frank.zenker at fil.lu.se by September 13th. Please indicate if you attend lunch and/or dinner. For more information, see the website at http://www.fil.lu.se/conferences/conference.asp?id=43&lang=eng

The study of axiomatic theories of truth is an interdisciplinary subject of philosophy and mathematical logic. This meeting aims at bringing experts together from both philosophy and mathematical logic to present recent researches and achievements in this area.

For more details, please see the conference webpage at http://users.ox.ac.uk/~reflect/Reflection_and_Incompleteness/conference2011/.

We welcome guests. Registration is free. To register, please contact:Kentaro Fujimoto <kentaro.fujimoto at philosophy.ox.ac.uk> by August 31, 2011.

A workshop on Reverse Mathematics will be held at the University of Chicago on September 16-18, 2011, with support from the Packard Foundation. While the workshop will be centered on the program of reverse mathematics, we intend its scope to be broad, including connections with the foundations of mathematics, computability theory, and proof theory, and we encourage those interested in these areas to participate.

Confirmed speakers so far include Jeremy Avigad, Peter Cholak, Harvey Friedman, Carl Jockusch, Steffen Lempp, Alberto Marcone, Carl Mummert, Michael Rathjen, Richard A. Shore, Stephen G. Simpson, Theodore A. Slaman and Andreas Weieremann.

For more updated information see http://www.math.uchicago.edu/~antonio/RM11/. Deadline for funding applications: June 15th.

The Sixth Cologne Summer School in Philosophy on "Relying on Others. New Perspectives in Social Epistemology" will take place in Cologne, September 7-10, 2011. Our special guest this year will be Sanford Goldberg (Northwestern University).

The main focus is the intersection of epistemology, philosophy of mind and philosophy of language. We will discuss foundational issues (e.g., the relationship between epistemic and semantic externalism) as well as more specialized "hot" issues in social epistemology: the division of epistemic labour, testimony, group epistemology, disagreement, various ways in which others can be epistemically significant for us, and socially extended methods of belief-formation. The Summer School is mainly aimed at professional philosophers and advanced graduate students.

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, see http://www.summerschoolphilosophy.uni-koeln.de/english/

The 16th Sinn und Bedeutung Conference, the annual meeting of the Gesellschaft für Semantik, will take place from 6 to 8 September 2011 in Utrecht.

The invited speakers at Sinn und Bedeuting 16 are:
* Maria Aloni (ILLC, University of Amsterdam)
* Chris Barker (New York University)
* Lisa Matthewson (University of British Columbia)
* Susan Rothstein (Bar-Ilan University)

For more information, see http://www.hum.uu.nl/sub16/ or email subutrecht at gmail.com.

This meeting, the fifth in the series, will honor Ward Henson's retirement. Invited speakers include Itai Ben Yaacov (Lyon), Gregory Cherlin (Rutgers), Julien Melleray (Lyon), Anand Pillay (Leeds), Christian Rosendal (UIC), David Sherman (Virginia) and Henry Towsner (UCLA).

For more information, see the meeting web page at http://www.math.uiuc.edu/Logic2011/.

For more information, please visit the conference website: http://propernounsandpredicates.wordpress.com Places are strictly limited and registration required. Contact e-mail for registration: Turan.Lackschewitz at zvw.uni-goettingen.de

The 14th International Conference of Text, Speech and Dialogue TSD2011 will be concerned with the topics in the field of natural language processing, in particular:
* corpora, texts and transcription,
* speech analysis, recognition and synthesis,
* their intertwining within NL dialogue systems.

The keynote topic of the conference for this year is Integrating Modern Web with Speech and Language Technologies. For the upcoming TSD, the following outstanding set of invited speakers with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics agreed to give their respective pieces of speech:
Hynek Hermansky: Active listening in machine recognition of speech.
Sergey Kuznetsov: Logico-semantic Text Processing for Machine Translation, Web Search, and Speech Synthesis.
Mark Epstein: Topic not yet specified.

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

The goal of this meeting is to offer background on Set Theory, especially large cardinals, and discuss a number of situations in Abelian Group Theory, Category Theory and Algebraic Topology where set-theoretical methods may play a crucial role for the solution of certain open problems.

The courses are aimed at a mixed audience of graduate students, recent doctors, and also specialists in some focus area of the meeting who wish to know more about the other areas. A two-day workshop follows the course lectures.

For more information, see http://www.imub.ub.es/hocard11/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science.

This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (UK), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England.

CALCO 2011 will be preceded by the CALCO Young Researchers Workshop, CALCO-Jnr, dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. The programme of CALCO will also comprise presentations of tools based on algebraic and/or coalgebraic principles, that have been selected in the context of a dedicated workshop, CALCO-Tools.

For more information, see http://calco2011.ecs.soton.ac.uk/ or contact calco2011 at ecs.soton.ac.uk.

This Summer School offers a broad and intensive series of lectures on language and speech technologies at different levels. They are addressed to advanced undergraduate and graduate students. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate their career in research.

The school is addressed to Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, or Philosophy) are welcome too.

For more information and abstracts, see http://grammars.grlmc.com/sslst2011/

This conference is devoted to the development of the axiomatic method, with particular attention for the period from Leibniz to Tarski. In particular, we aim to achieve a better historical and philosophical understanding of the way the axiomatic method in the sense of an ideal of scientific knowledge as "cognitio ex principiis" has influenced the development of modern science. The overarching framework for this will be the so-called "Classical Model of Science".

Abstracts (maximum 500 words) must be sent in electronic form to axiom.erc at gmail.com. Deadline for submission: April 15th, 2011. Authors will be notified of the acceptance of their submission by May 1st, 2011.

For more information, see here.

This is an interdisciplinary summer school, consisting of four days of mini-courses (August 1-4) and a subsequent two-day conference (August 5-6), all hosted at the Institute of Philosophy in London. The goal of this summer school is to provide a forum in which set theorists and philosophers of mathematics -- as well as students of these disciplines-- can interact and discuss recent results and debates at the intersection of set-theory and higher-order logic. Topics to be represented at the summer school include but are not limited to: the semantics for higher-order logics, Omega-Logic, groundedness, set-theoretic geology, interpretability and incompleteness, predicativity, and formal theories of truth.

For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school or contact Sean Walsh (Birkbeck) at swalsh108 at gmail.com.

CogSci 2011 is the 33rd annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. Invited speakers this year are Anjan Chatterjee, Barbara Landau, Leonard Talmy, and the winners of the Rumelhart prize for Cognitive Science, Judea Pearl, and Heineken prize for Cognitive Science, Michael Tomasello.

More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2011/.

The Infinity Conference will take place at the Centre de Recerca Matematica in Bellaterra (near Barcelona, Spain), July 18-22, 2011. This conference is focused on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011.

For further information about the meeting, including how to register and apply for financial support, see http://www.crm.cat/cinfinity/.

The aim of this workshop is to explore the connections between traditional TARK topics and Quantum Physics. While TARK traditionally focuses on the theoretical aspects of rationality and knowledge, quantum mechanics and quantum computation focus on the fundamental link between physical reality and informational (knowledge-acquiring) actions, such as observations and measurements. We think one can gain new insights from combining methods and concepts coming from these two lines of research. On the one hand, we are interested in how techniques from quantum physics can help us reason about knowledge or rational decision making. On the other hand, we are interested in how the logical and game-theoretical techniques traditionally associated with TARK (coming from epistemic logic, belief revision, dynamic logic, temporal logic, probabilistic learning, resource-sensitive logics, epistemic game theory, decision-theoretic methods etc.) can be used to formalize physical theories, reason about their concepts or their applications, and provide some principled understanding of their foundations.

Topics of interest include but are not limited to:
classical correlations versus quantum correlations;
classical games versus quantum games;
classical information flow versus quantum information flow;
logical methods for quantum computation;
quantum logic and its relation to logics of knowledge and action;
the use of quantum methods and concepts in decision theory, game theory and logic;
game-theoretical logical semantics and foundations of quantum mechanics.

Main Website: http://www.ai.rug.nl/conf/quantumTARK/

DCM 2011 is the seventh in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. The goal of DCM is to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2011 will be a one-day satellite event of ICALP 2011 in Zurich, Switzerland.

For more information, see http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM_2011.html

The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area.

For more information, see http://psi.nsc.ru or contact Denis Denis Ponomaryov at ponom at iis.nsk.su.

Conceptual analysis continues to play an important role in philosophical practice, even though it does not always go under this label. But the method is anything but undisputed. In particular, there seems to be little point in pondering on our concepts if, as many believe, the meaning of our expressions - as well as the content of our mental states - is determined by factors which are external to us. Against this, it has been argued that two-dimensional semantics can provide the theoretical underpinnings for conceptual analysis, while reconciling it with many insights gained from arguments put forth to support externalism.

The conference focuses on issues surrounding conceptual analysis, two-dimensional semantics and their connection. Some of the envisaged topics are:
- The role of conceptual analysis in philosophical inquiry
- The interpretation and the scope of two-dimensional semantics and its bearing on conceptual analysis
- Potential applications of two-dimensional semantics to metaphysics, ethics, epistemology, and the philosophy of mind

For more information, see http://rvps2011.net/2D/ or contact Jens Kipper at jens.kipper at uni-koeln.de.

Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past twenty-five years, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems, and has induced major corporations such as Microsoft and Intel to invest in the development and application of model checking technology.

The Dutch Model Checking Day (DMCD) is a forum for practitioners and researchers interested in model-based techniques for the validation and analysis of software and hardware. DMCD covers a broad spectrum of topics, ranging from fundamental algorithms to industrial applications and tools. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering.

The keynote talk of DMCD 2011 will be given by Byron Cook from Microsoft Research Cambridge and Queen Mary University, who is one of the leading researchers in the area.

Registration for the workshop is free but required. For more information, see http://www.se.ewi.tudelft.nl/dmcd2011/

Two Logic Tutorials in Helsinki this June:
Andres Villaveces: Stability Theory of Polish Spaces, Time: 14-16 June 2011, every day 12-14.
Roman Kossak: Elementary pairs of models of arithmetic. Time: 15-17 June 2011, every day 14-16.

Contact person: Juliette Kennedy (juliette.kennedy at helsinki.fi).
Web page http://www.math.helsinki.fi/logic/opetus/gs/

András Hajnal is turning 80 in 2011. We are pleased to announce that the Alfréd Rényi Institute of Mathematics, the János Bolyai Mathematical Society and the Mathematical Institute of Eötvös University are organizing a conference celebrating this occassion. The main topics of the conference will be set theory and combinatorics.

More information about the event can be found at http://www.renyi.hu/conferences/hajnal80/

Surely, we might have different opinions about whether or not it is fun to ride a roller coaster. But can they both be true? And are we really disagreeing in case they are?

Relativists typically tend to answer both questions in the affirmative. As innocent as this position may seem at first sight, it certainly involves some rather dramatic changes in the way philosophers usually think about formal semantics. Then again, these changes seem to offer elegant solutions to further problems besetting semantics, such as the assessment of future contingents, the variability of knowledge ascriptions and the correct analysis of epistemic modals. The conference will be concerned with different relativist proposals, with its consequences, and with possible alternative analyses of the phenomena motivating relativism.

The conference is part of the Rhine Valley Philosophy Summer 2011, a series of independently organized philosophical events. See http://rvps2011.net/ for further information.

For more information, see http://rvps2011.net/relativism/ or contact relativism at uni-bonn.de.

The conference is conceived as a continuation of the previous meetings on the relation between Music and the Neurosciences. These conferences have been highly successful and have generated enormous excitement, both among established and new researchers. By providing the opportunity to present new results and exchange information, the meetings have contributed substantially to the growth of new research and collaborations in the neuroscience of music and to its visibility within the broader scientific community.

The central theme of Music and Neurosciences IV will be Learning and Memory. The conference programme will also be divided into 4 subthemes: "Infants and Children", "Adults: musicians and non musicians", "Disabilities and aging-related issues" and "Therapy and Rehabilitation". The conference will include Keynote Lectures, Symposia, Poster Sessions and a Workshop on child-oriented research design and new data acquisition and analysis techniques. The conference will be of interest not only to neuroscientists, psychologists and students but also to clinical neurologists, clinical psychologists, therapists, music performers and educators as well as musicologists.

For more information, see http://www.fondazione-mariani.org/

From 6-10 June the fourth European Women in Mathematics summer school will take place at the Lorentz Center in Leiden. As Logic is one of the central themes of this summer school this may be of interest to you. This summer school is especially aimed at encouraging female students and researchers at the beginning of their career, but also male students are very welcome to participate.

During the summer school the participants will be actively involved. Besides the lectures, there will be problem solving sessions on Logic and Geometry and a mini workshop on History in Mathematics. Furthermore, the participants will be asked to present their own work, so as to get to know each other and to practice presentation skills. Finally, possible barriers in an academic career and cultural differences will be discussed, both in particular in relation to gender issues. This set-up fosters an interactive and collaborative atmosphere and therefore all participants are encouraged to stay for the whole summer school period.

For more information, contact Dion Coumans at coumans at math.ru.nl or see the summer school webpage at http://www.lorentzcenter.nl/lc/web/2011/429/description.php3?wsid=429.

Simplicity and economy of thinking have been perennial concerns of mathematicians. In this seminar we will focus on issues concerning simplicity or economy of thinking in proof.

We will be particularly concerned with the following questions:
I. What types of simplicity/complexity concerning proofs have mathematicians found most signficant and why?
II. In what specific ways (i.e. by means of what specific practices) have mathematicians pursued such economies?
Particular attention will be paid to the general practice of introducing ideal elements as a means of achieving thought-economies of various types. Here some more particular concerns will be:
III. To find important historical examples of economies of thinking that have been achieved through the introduction of ideal elements/methods.
IV. To come to a clear understanding of what the benefits of such economies are.

For more information, see http://www.univ-nancy2.fr/poincare/intersem2011/ or contact Mic Detlefsen at mdetlef1 at nd.edu or Andrei Rodin at rodin at ens.fr.

The first and fourth day of the conference will be at 105 Emerson Hall, Harvard University; the second and third day of the conference will be at Brandeis University. Registration includes bus taking people to and from Harvard and Brandeis Universities

For further information, please contact: Putnamconference2011 at gmail.com Also there will be a web site set up at: http://www.fas.harvard.edu/~phildept/putnamconference.html

The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project 'GAMES'.

It will consist of nine lectures presenting important developments in language theory, automata, and games. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.

Deadline for registration: March 7 (with grant) or April 4th (without grant). For more information, see http://games-epit.labri.fr/

This spring school was formerly known as the International PhD School in Formal Languages and Applications. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

Registration has to be done on line. Early registration deadline: November 30, 2010. Fees are variable, depending on the number of courses each student takes.

For more information, see http://grammars.grlmc.com/ssfla2011/ or contact Carlos Martin-Vide: carlos.martin at urv.cat.

The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers.

We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. at http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html.

The International Spring School on Computational Logic (co-located with the DALT Spring School) for MSc students, PhD students, postdocs and other junior researchers will offer a rich programme on different aspects of computational logic, including description logics, constraints, verification, intelligent agents, and multiagent systems.

Students who send an expression of interest by the end of November will receive a discount on their registration fee. For more information, see http://lia.deis.unibo.it/confs/iscl/.

DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.

Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting.

The DALT School builds on the success of 8 editions of the international AAMAS workshop series, and aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future.

For more information, see http://lia.deis.unibo.it/confs/dalt_school/

We cordially invite you to participate in the kick off workshop of the project 'What is really possible?'. In science and in practical life, we continuously deal with real possibilities: outcomes of experiments, calculated risks, consequences of actions, fearing or craving something before us. The workshop explores the notion of real possibility from different angles, varying from philosophical logic to metaphysics and the philosophy of action.

At the workshop, nine international speakers will be presenting their work in a variety of areas, ranging from logic to the philosophy of action, metaphysics, and more. The workshop will end with a round table discussion, in which the various ideas relating to the project will be collected, discussed, and connected.

The website for the workshop, and the project, can be found at http://possibilities.phil.uu.nl/events/kickoff/. If you wish to attend the workshop, please send an email to rosja.mastop at phil.uu.nl.

The Oxford contingent of the ESF Eurocores LogICCC program "Logic for Interaction - LINT" organises a workshop at the Oxford University Computing Laboratory on the weekend of April 2-3, 2011.

The main themes will be Dependence and Independence (DEP) and Dynamics of Interaction (DYN).

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

Julius-Richard Büchi (1924-1984) was a Swiss logician and a mathematician who received his Dr. sc. nat. in 1950 at the ETH Zürich under the supervision of Paul Bernays. Almost half a century ago, in 1962, he invented what is now called the Büchi automaton. In the recent years there has been tremendous efforts devoted to extending Büchi?s results. I The aim of this workshop is to bring together some among the best specialists from this new trend of automata theory and discuss the existing results and the ones to come.

For more information, see http://www.hec.unil.ch/logique/recent_news/SSLPS/

From a mathematical point of view, higher-order logic (HOL) and set theory have a lot in common; for instance, both allow us to talk about collections of individuals, and there are partial translations in both directions. However, philosophers often argue that HOL and set theory differ in important ways, such as epistemic status and ontological commitments. This workshop aims to assess the relation between HOL and set theory, drawing in part on an examination of the history of these theories.

To register, please email s.florio at bbk.ac.uk. For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/w3.

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 cooperative environment. The conference format is similar to previous years.

There will be tutorials and invited talks. All participants will be asked to write a one-page statement about their research which will be made available to all participants at the conference. Each afternoon, discussion sessions will be formed for those working in similar areas and more general sessions for those interested in getting an overview of the latest research in each branch of set theory.

Please register at ystw2011 at hcm.uni-bonn.de as soon as possible to be guaranteed a place. The registration fee of 350 Euros covers the accommodation in double rooms and meals. The deadline for registration is January 3, 2011. Travel and/or accommodation grants are available (grant application deadline is December 10, 2010).

More information can be found on the conference website http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2011.

The Asian Workshop on Philosophical Logic will be held at Research Center for Integrated Science (RCIS), Japan Advanced Institute of Science and Technology (JAIST) on 17th and 18th March, 2011. Our aim is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future.

The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science. During the Workshop, we will have a special session of discussions on future collaborations, in particular on research, education and exchange of researchers in our region.

For more information, see here.

"The Mathematics of Games: Strategies, Cooperation and Fair Division" is an advanced course devoted to the mathematical aspects of Game Theory and Social Choice, in which leading specialists in the area will offer young researchers the possibility to gain insight on the main topics and enable them to undertake research projects in these specific subjects. The course is addressed to beginner and intermediate graduate students from institutions of all over the world. The maximum number of students will be around 30. The course will finish with a Workshop "Challenges of Mathematics for Game Theory" which will be open to the course participants and other interested researchers.

Registration deadline: Tuesday 15 February 2011. For more information, see http://www.imus.us.es/DC/2011_ECR/php/.

The Tinbergen Institute will organise a Workshop on Economic Theory and Game Theory. See the link below for a programme and abstracts of the talks.

For more information, see http://www.tinbergen.nl/ti-events/ti-seminars.php?id=1840

.

This is the second in a series of four one-day workshops, 2010-11, between groups from Copenhagen (CPH) and Lund (LU), on the themes of Pluralistic Ignorance, Belief Polarization, Echo Chambers and Informational Cascades.

To participate, contact frank.zenker at fil.lu.se by February 16th. Please indicate if you attend lunch and/or dinner. For more information, see the website at http://www.fil.lu.se/conferences/conference.asp?id=43&lang=eng

Established in 2004, the ICDCIT conference series has become a platform for researchers to exchange research results and ideas on the foundations and applications of Distributed Computing and Internet Technologies. Increasingly, such technologies enable individuals and organizations to jointly engage in the production, processing and dissemination of knowledge.

The 7th International Conference on Distributed Computing and Internet Technologies (ICDCIT - 2011) will take place in Bhubaneswar during 9 - 12 February 2011. It will be co-organized by KIIT University, Bhubaneswar, India and Centre for Electronic Governance, UNU-IIST, Macao.

For more information, see http://www.icdcit.ac.in/.

The next Very Informal Gathering of Logicians at UCLA (VIG) will be held February 4 to 6, 2011. This is the sixteenth in a series of logic meetings at UCLA that began in 1976, and honors Yiannis Moschovakis on the occasion of his formal retirement from UCLA.

Invited speakers include Uri Andrews, Lou van den Dries, Rachel Epstein, Ilijas Farah, Haim Gaifman, Itay Kaplan, Phokion Kolaitis, Stephan Kreutzer, Joan Moschovakis, Larry Moss, and Slawek Solecki.

The meeting is open to all, and modest Travel Awards are available for graduate students in logic. Further information can be found on the UCLA Logic Center website, http://www.logic.ucla.edu/.

We are pleased to announce that Winter School in Abstract Analysis, section Set Theory will take place between January 29th and February 5th in Hejnice, Czech Republic. Intended audience are researchers, postdocs and students from Set Theory, Topology, Analysis and related fields. Tutorial speakers for this year are Andreas Blass, Péter Komjáth, Petr Simon and Lionel Nguyen Van Thé

Deadlines for grand application and registration are December 11th and December 31st, respectively. To get more information about the conference and grants and to register please visit our web page at http://www.winterschool.eu.

LogICCC is a European research activity consisting of eight multi-country collaborative research projects (CRP) covering topics in applied logic ranging from theoretical computer science over philosophical and historical issues to computational social choice. It is funded by the European Science Foundation.

Among other things, LogICCC has been coordinating research activities that involve several of the CRPs and activities that reach out to other research communities. One such activity was the highly successful event LogICCC Meets China held at Chongqing in China on 7 October 2009 at which the researchers from the various CRPs of LogICCC met researchers in China, creating new interactions and strengthening existing ties.

The event LogICCC Meets India intends to do the same for the Indian logic community. We deliberately selected the conference ICLA 2011, the most important logic event in India, as the host event for our satellite workshop. We encourage all participants and potential participants of LogICCC Meets India to also submit a paper to the conference ICLA 2011.

We are encouraging all LogICCC members to attend the event and the host conference ICLA 2011. As part of this encouragement, the European Science Foundation offers eight travel stipends of up to € 500 each. If you want to apply, please submit an application before the deadline of 31 August 2010.

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

For more information, see https://sites.google.com/site/questionsgameslogic/defense

An electronic version of the dissertation can be found here:
http://www.illc.uva.nl/Research/Dissertations/DS-2011-10.text.pdf.

For more information, please contact Lena.Kurzen at gmail.com.

The goal of an IR system is to retrieve documents containing information which might be useful or relevant to the user. Throughout the search process there is a loss of focus, because keyword queries entered by users often do not suitably summarise their complex information needs, and IR systems do not suciently interpret the contents of documents, leading to result lists containing irrelevant and redundant information. The main research objective of this thesis is to exploit query context and document structure to provide for more focused retrieval.

Archieven ontsluiten hun stukken en laten gebruikers zoeken met behulp van archiefbeschrijvingen. Encoded Archival Description (EAD) in Extensible Markup Language (XML) is de technische standaard voor digitale archiefbeschrijvingen. Het wordt nu steeds meer gebruikt om de kloof tussen de tastbare maar soms onvindbare (papieren) stukken in de archieven en digitale objecten op het internet te overbruggen. Deze beschrijvingen zijn toegangen om informatie over, of verwijzingen naar, archiefstukken te kunnen vinden. Typische toegangen zijn diep-hierarchisch qua structuur en beschrijven inhoudelijk soms (kilo)meters aan archief. Junte Zhang onderzocht hoe gebruik gemaakt kan worden van XML-retrievaltechnieken om archieven met EAD-toegangen te ontsluiten. Hij ontwikkelde een systeemevaluatie voor EAD-retrieval om de effectiviteit van de terugvindbaarheid van beschrijvingen in digitale toegangen te meten. Daarnaast bracht hij het informatiezoekgedrag van archiefgebruikers in kaart. Zhang werpt een nieuw licht op de digitale toegankelijkheid van archieven. Hij laat zien dat het verbeteren van de toegankelijkheid nauw samenhangt met evaluatie.

For more information, see http://www.uva.nl/actueel/promoties-oraties/promoties.cfm/ or http://www.illc.uva.nl/Research/Dissertations/.

Given an infinite cardinal kappa one can ask what kind of logic L is needed to characterize all models of cardinality kappa (in a finite vocabulary) by their L-theories. The logics studied in the thesis are higher order logics, infinitary higher order logics and logics with generalized quantifiers. The expressive power of higher order languages depends a lot on the model of set theory, so forcing is used in the thesis a lot.

For more information, see here.

For more information, see http://www.illc.uva.nl/People/show_person.php?Person_id=Koolen+M..

For more information, see http://staff.science.uva.nl/~fvelazqu/english/defence.php or contact Fernando Raymundo Velázquez Quesada (F.R.VelazquezQuesada at uva.nl).

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

Four young ILLC researchers have been awarded a Veni grant 2011:
* Michael Franke, for his project Models of Language Evolution and the Topology of Semantic Space: The Case of Gradable Adjectives
* Aline Honingh, for her project Representing Music: a New Basis for Computational Musicology
* Floris Roelofsen, for his project Interpreting Questions - fine-grained compositional semantics
* Bryan Renne, for his project Evidence-Based Belief Revision

For more information, see here or http://www.nwo.nl/nwohome.nsf/pages/NWOP_8MQKAT.

The most recent article by Markos Mylonakis and Khalil Sima'an (Language and Computation, Institute for Logic, Language and Computation, FNWI) has been selected by TAUS, a major innovation think tank and interoperability watchdog for the translation industry, as one of the two outstanding articles featured by the ACL 2011 Conference.

The TAUS review "What machines still can't translate" considers recent work taking on the big challenges of data-driven Machine Translation. The review concludes that the article "marks a new era in the debates about the possibility of using syntax in hierarchical statistical machine translation". The work of Mylonakis and Sima'an constitutes the first successful automatic learning (as opposed to heuristic crafting) of statistical translation models from human translation data in tandem with linguistic information.

It is also stimulating for the ILLC that a former graduate student (Andreas Zollmann, CMU) is a co-author of the other selected article. Zollmann is a graduate of the ILLC Master of Logic programme; his Master thesis was supervised by Dr. Sima'an.

ACL is the Annual Meeting of the Association for Computational Linguistics (ACL), the most influential conference in the area of Natural Language Processing. For more information, see http://www.translationautomation.com/technology/.

The John Templeton Foundation is funding a project entitled "What Makes Stories Similar: A structural logic-based approach to narratives". The project will be located at the Universität Hamburg and fund a postdoctoral researcher and two student assistants. Their research is naturally connected to the research of Benedikt's group at the ILLC and we are likely to see them as guests in Amsterdam.

In June 2011, Rens Bod (together with the Huygens-ING and Fryske Academy) was awarded a grant from the KNAW for the project: The Riddle of Literary Quality as part of the KNAW Computational Humanities programme. The grant will finance a PhD student for 4 years (at ILLC), a Postdoc for 4 years (both at ILLC and Huygens-ING) and a scientific developer for 4 years (at Huygens-ING).

For more information, contact rens.bod at uva.nl

In June 2011, Henkjan Honing (together with the Meertens and Fryske Academy) was awarded a grant from the KNAW for the project: Tunes & Tales: Modeling Oral Transmission as part of the KNAW Computational Humanities programme. The grant will finance a PhD student for four years.

For more information, please contact honing at uva.nl or see http://www.hum.uva.nl/mmm/about.html.

In June 2011, Henkjan Honing (together with the UU, Meertens and Sound & Vision) was awarded a grant from NWO for his project: COGITCH as part of the NWO CATCH (Continuous Access to Cultural Heritage) programme. The grant will finance a Postdoc for three years.

For more information, please contact honing at uva.nl or see http://www.hum.uva.nl/mmm/about.html.

In June 2011, Henkjan Honing was awarded a grant from UvA's FGw for his research in music cognition. The grant will finance a postdoc student for three years.

For more information, please contact honing at uva.nl or see http://www.hum.uva.nl/mmm/about.html.

In June 2011, Jaap Kamps was awarded a grant from NWO for his project: Web Archive Retrieval Tools as part of the NWO CATCH (Continuous Access to Cultural Heritage) programme. The grant will finance a PhD student for four years.

For more information, please contact kamps at uva.nl

In 2009, the Chinese Ministry of Education initiated a highly competitive national program of Distinguished International Experts. The first such expert appointed at Tsinghua University (the top-ranked university in China) is Johan van Benthem, University Professor of Logic at the ILLC, UvA. His task will be to further contacts in his field between Tsinghua, the UvA, and other major universities in his field. The award was conferred in a ceremony on Thursday 16 June 2011.

For more information, see http://www.tsinghua.edu.cn/publish/shss/1839/2011/20110620102553607697048/.

The BA course Logische analyse taught by Katrin Schulz has been awarded the Onderwijsprijs FGw 2011.

The Onderwijsprijs is meant to highlight successful methods of teaching. To be able to pay more attention to the differences between teaching in the bachelor or master, the jury awarded two prizes this year, one for the best BA course and one for the best master course. The prize for the best master course went to Term Paper (General Linguistics en Research Master Linguistics) coordinated by Norval Smit.

For more information, see http://www.student.uva.nl/fgw_onderwijs/object.cfm/

In april 2011, Robert van Rooij has been awarded a grant for his project `Communication in Context' as part of the EUROCORES programme Eurounderstanding (of the European Science Foundation, ESF). This project will finance a to be hired postdoc for three years.

For more information, please contact R.a.m.vanRooij at uva.nl

In February 2011, Stéphane Airiau and Ulle Endriss have been awarded a grant in the Free Competition of the NWO's Board of Exact Sciences (NWO-EW Vrije Competitie). The project, entitled "Aggregation of Preferences over Uncertain Outcomes", will finance Stephane's postdoc position for the coming three years.

For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_8EBK76

Our former Master of Logic student Margaux Smets has been awarded the STIL Prize for the best Master Thesis in Computational Linguistics 2010.

Her thesis, entitled "A U-DOP Approach to Modeling Language Acquisition", was supervised by Rens Bod and Federico Sangati. Margaux received the prize at the CLIN conference in Ghent last Friday 11 February. Many congratulations!

The thesis of Margaux Smets describes a concrete implementation of a U-DOP parser, which is used to investigate whether the U-DOP framework can account for certain problems in language acquisition. The focus is on WH-questions. The study proposes two innovations to the field of unsupervised learning of which the performance of one improved state-of-the-art results. Apart from this, the study showed that the U-DOP computational model for unsupervised model can be used for explaining language phenomena empirically. By doing this the thesis made an interesting link between language acquisition and computational linguistics.

For the full thesis, see http://www.illc.uva.nl/Publications/reportlist.php?Series=MoL&Year=2010h.

Academy Colloquia bring together a select international group of researchers to discuss a topical theme. The Academy can organise up to seven colloquia a year at the Trippenhuis Building in Amsterdam. Academy Colloquia last from two to three days.

Application deadline: prior to 1 March of the year preceding the year in which the colloquium is to take place.

For more information, see http://www.knaw.nl/Pages/DEF/27/245.bGFuZz1FTkc.html

3rd workshop in the 2011-2012 Workshop Series on Valorisation will be held in "het glazen huis" at the Science Park. Thursday December 1st: Interacting with industry: co-development and out-licensing. Do you have interesting research results, and do you think they can benefit society? To bring them to societal use, a company has to take interest. When time is ripe: how do you interact with the industry? In this workshop you will meet industry and technology transfer representatives. Observe, learn and discuss to find out about the interesting options the market might have for you.

For more information, see http://www.uva.nl/bureaukennistransfer/workshops-trainingen.cfm/

Starting in 2010, the European Association of Theoretical Computer Scienc e (EATCS) established the Presburger Award, conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.

Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years at the time of the deadline of nomination (i.e., for the Presburger Award of 2012 the date of birth should be in 1976 or later).

Nominations should be sent by December 31st, 2011. For further information: http://www.eatcs.org/index.php/presburger

Each year, IHÉS welcomes some 200 mathematicians and theoretical physicists from all over the world (post-doctorants and senior researchers) for periods ranging from a few days to one year, or even two in exceptional cases. IHÉS visitors are given complete freedom in their research, allowing them to change fields if they so desire. The freedom of research enjoyed by all the Institute's researchers enables them to work without constraint on the topics that interest them, and without them h­aving to worry about whether that fits into a given programme.

Deadline for applications: 13 November 2011. For more information, see http://th2webapps4.netaktiv.com/jsp/site/Portal.jsp?page_id=33

In recent years, small research groups of principal investigators and their teams have emerged as an increasingly productive link in the research chain. These groups often tackle interdisciplinary research problems, pooling together their expertise, knowledge and resources. Building on its two core funding schemes supporting individual researchers, the Eurpopean Research Council is launching a new pilot initiative - the 'Synergy Grant' - to fund small groups of excellent researchers to push forward the frontiers of knowledge.

The ERC aims to support proposals that demonstrate the complementarity and added-value of joint research leading to breakthroughs that would not necessarily be possible to achieve without the proposed group configuration. Groups of between two to four researchers can apply for a maximum grant of € 15 Mio for a period of up to six years. The total funding of the first pilot 'Synergy Grant' call is € 150 Mio, representing approximately 10% of the 2012 ERC budget for calls. No more than 10 to 15 'Synergy Grants' will be awarded in 2012, and only exceptional proposals are likely to be funded.

The first call will be published on 25 October 2011 with a deadline for submission in January 2012. For more information, see http://erc.europa.eu/funding-schemes/synergy-grants.

The Descartes-Huygens Prize promotes scientific and scholarly cooperation between the Netherlands and France. The French and Dutch governments established the prize in 1995 to draw the attention of the public and researchers to Franco-Dutch relations in science and scholarship.

The prize is awarded on a rotating basis to researchers in the humanities and social sciences, the natural sciences, and the life sciences. By agreement, the Netherlands selects the French candidate for the prize, and France selects the Dutch candidate.

The prize, a grant of EUR 23,000 intended to cover the cost of a French researcher's research residence in the Netherlands, encourages scientists and scholars to dedicate themselves to their careers.

Application deadline: Thursday 1 December 2011. For more information, see http://www.knaw.nl/Pages/DEF/27/206.bGFuZz1FTkc.html

Het VSBfonds stelt elk jaar een groot aantal beurzen beschikbaar voor bevlogen en gemotiveerde studenten, die zich graag verder willen ontwikkelen. Je hoeft geen bolleboos te zijn, maar je hebt wel goede studieresultaten behaald. Jij bepaalt zelf wat je gaat doen, waar en waarom. Vervolgens overtuig je ons waarom jouw plan bijzonder is en waarom wij jouw plannen zouden moeten ondersteunen.

Deadline voor aanvragen: 1 maart 2012. Voor meer informatie, zie http://www.vsbfonds.nl/beurzen/

Imperial Junior Research Fellows (JRFs) receive three-year fellowships, which include a competitive salary, research expenses and mentoring support from a senior Imperial academic. This support gives JRFs the freedom to focus on their research, with no obligatory teaching or administration.

Imperial~s JRF scheme was set up in 2008 with the aim of helping researchers make the leap from post-doc to lecturer. Imperial is continuing its investment in this scheme and will appoint up to 20 new JRFs to start in the academic year 2012/13.

Deadline for applications: 6pm 31 October 2011. For more information, see http://www3.imperial.ac.uk/juniorresearchfellowships

This is a Graduate Student Contest for Best PhD Thesis Project of the Year in Computational Game Theory. Intended applicants are PhD students in the field of Computational Game Theory. PhD students in the final stage of their Thesis or who have recently defended their thesis are eligible. Hopefully, this contest will spot the most insightful and original recent work in Computational Game Theory. Healthy competition between PhD students and the emergence of new, bold, ideas is encouraged.

There will be three prizes awarded, ranging from € 500,- to € 1000,-. The awards will be awarded by the Romanian Institute of Science and Technology and sponsored by the John Templeton Foundation.

Deadline for submitting PhD Theses summaries: October 15, 2011, at gametheory at rist.ro. For more information see http://gametheory.rist.ro/phdcontest/.

The purpose of this program is to facilitate more interaction between Google and academia and also nurture stronger relations and partnerships with universities. The intent of the awards program is to support academic research aimed at improving information access (defined broadly). Google funds Research Awards unrestricted and retains no intellectual property from the research. We prefer if the results from the research are open sourced and widely published. Awards through this program are for one year in the range from $10K-$150K.

Deadline: Monday 1 August 2011

For more information, see http://research.google.com/university/relations/research_awards.html

The Fulbright Center offers scholarships to Dutch citizens for study in the United States. The Educational Advising Center provides information on scholarships offered by other organizations, such as U.S. universities and other funds.

Deadline: Monday 15 August 2011. For more information, see http://www.fulbright.nl/?menutree=151|168|174

[Dutch only]
De Stichting dr Hendrik Muller's Vaderlandsch Fonds werd in 1941 opgericht door de koopman, beoefenaar der wetenschap en diplomaat, dr. H.P.N. Muller (1859-1941). De Stichting stelt zich tot doel jonge, veelbelovende Nederlanders financieel te ondersteunen in hun studie (universitair niveau of vergelijkbare hogere opleiding).

Deadline for applications: Thursday 30 juni 2011. For more information, see http://www.mullerfonds.nl/

The Lorentz Center, located at Leiden University, is an international centre that was set up to organise interactive workshops within the natural sciences. One special aspect is the possibility to organise workshops that bring natural scientists into contact with researchers from the humanities and social sciences.

Deadline: Thursday 15 September 2011. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5VVHYQ_Eng

The Visiting Professors Programme enables outstanding foreign researchers to spend time working in the Netherlands. The programme acts as an incentive for Dutch science and scholarship.

Deadline: Thursday 15 September 2011. For more information, see http://www.knaw.nl/Pages/DEF/27/244.bGFuZz1FTkc.html

The NRW Research Schools were founded as an initiative of the German federal State of North Rhine-Westphalia (NRW). International networks of renowned scientists,world leading supervisors and excellent scientific environments - the NRW Research Schools provide a forum for PhD candidates with superior academic track records.

The International NRW Research Schools in Germany will award prizes of € 1,500 to ten young scientists for the most outstanding research work.

Deadline: Friday 30 September 2011. For more information, see http://www.young-scientist-award.de/

The Conference Grants Fund assists the organisers of international scientific/scholarly conferences in the Netherlands. The grant is intended to cover no more than a third of the total conference budget, with a ceiling of EUR 8500. The conference budget may not exceed EUR 170,000. Exceptions are possible; see the document Opzet en bepalingen van het Congressubsidiefonds [Purpose and provisions of the Conference Grant Fund].

Applications must be submitted at least four months before the closing date of the relevant tender. There are three tenders a year. The annual closing dates are:
* 1 January (for conferences taking place after 1 May)
* 1 May (for conferences taking place after 1 September)
* 1 September (for conferences taking place after 1 January)

For more information, see http://www.knaw.nl/Pages/DEF/27/228.html.

The Visiting Professors Programme enables outstanding foreign researchers to spend time working in the Netherlands. The programme acts as an incentive for Dutch science and scholarship.

Deadline: Thursday 15 September 2011. For more information, see http://www.knaw.nl/Pages/DEF/27/244.html.

Op initiatief van de Freek & Hella de Jonge stichting en het Cognitive Science Center Amsterdam (CSCA) is De Creatieve Geest Prijs opgericht. Deze prijs wordt toegekend aan een jonge wetenschapper die met een origineel en sprankelend idee komt om eigen onderzoek uit te voeren, waarin creativiteit en de werking van de hersenen centraal staan. De prijswinnaar krijgt de kans om in het kader van het UvA Brain & Cognition programma haar/zijn onderzoeksplan te realiseren en zich zo als veelbelovend onderzoeker te profileren.

Voor meer informatie, zie http://musiccognition.blogspot.com/2011/05/een-creatieve-geest-dutch.html en http://www.uva-alumni.nl/page.aspx?pid=782.

The UvA Bureau Kennistransfer makes the latest funding information available to UvA employees, at http://www.medewerker.uva.nl/bureaukennistransfer/. Additionally, users can subscribe to a monthly 'nieuwsflits'.

As a new service, the Bureau Kennistransfer presents the Research Professional database. As of now, UvA employees can login to this database which gives access to worldwide funding opportunities and has a personalized search function for keywords specific for research topics.

The top 3 grants for May:
EURIAS Fellowship Programme. 10-months residencies in participating EU institutes, both for junior and senior fellows. Deadline 31 May.
Call for ESF Research Conference Proposals: Biology, Physics, Social Sciences and Humanities, Deadline 15 September 2011.
Informative meeting ERC starting grant and NWO VIDI: 26 May 2011 13h-15h.

For more information, see http://www.nieuwsflits.uva.nl/archief/bureau-kennistransfer/grant-update/.

In Investment Subsidy NWO Medium, subsidies can be requested for the acquisition of equipment and for the setting up of data collections, associated software and bibliographies, if it concerns a clear, nationally accessible contribution to the infrastructure and if this cannot be acquired by means of purchasing.

Deadline: Tuesday 10 May 2011. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_52XC3B_Eng

COST invites researchers throughout Europe to submit proposals for research networks and use this unique opportunity to exchange knowledge and to embark on new European perspectives. A continuous Open Call for Proposals is used to attract the best proposals for new COST Actions.

Deadline: 30 september 2011. For more information, see http://www.cost.eu/participate/open_call

An important part of the Turing Centenary celebrations will be the Turing Centenary Fellowship Competition, funded by the John Templeton Foundation. The intention is to support the research of eight young researchers, over 3 years, commencing in July 2012. The research fellowship prize programme will offer, over 3 years, three 'young scholar' fellowships of £45,000, and five post-doctoral fellowships of £75,000.

The provisional deadline for the submission of proposals is December 16, 2011. For more details see: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408