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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss 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 yearly meeting taking place alternatively in Amsterdam and Paris. At each PALMYR workshop, visitors give talks about their current reserch interests, each presentation being commented by a fellow researcher from the host town. PALMYR IX will be held at the Institute for Logic, Language and Computation (ILLC).

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

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

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

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

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