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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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/