For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards (also in the ILLC Common Room).

For more information, contact illc at uva.nl.

Though projection is the characteristic property of presuppositions, projection from the scope of a quantifier has remained a problem. Experimental evidence has corroborated differences between quantifiers (Chemla 2009, Nat. Lang. Sem.). We propose a new approach based on the idea that silent domain restriction is generally allowed, but must satisfy the strongest meaning principle. Our system makes more accurate predictions than Fox (2013, in Camb. Univ. Press volume) "Strong Kleene" Semantics, however, for modified numerals a combined system seems to fare best.

For more information, contact Prof. Lisa Cheng at L.L.Cheng@hum.leidenuniv.nl.

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

For more information, see http://www.uva.nl/en/news-events/events/events-calendar/item/

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University in 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.

Speakers:
Marco Peressotti: Behavioural equivalences for coalgebras with unobservable moves
Daniela Petri~an: Up-to techniques for bisimulations with silent moves
Jurriaan Rot: Coalgebraic trace semantics via forgetful logics

For more information, see http://cs.ru.nl/~hbasold/coin/

For more information, see http://www.illc.uva.nl/lgc/seminar or http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

What is logic, really? Now often thought of as a relatively independent branch of mathematics, logic was in fact for large parts of its history seen as a kind of personal self-improvement tool used to teach oneself proper habits of rational thought.

In my presentation, I will give examples of what this meant for the way logic books were written and used in early modern Europe. From the 17th century onwards, the emerging middle classes borrowed highly selectively from the medieval scholastic tradition in an effort to forge a new secular rationality that could match their increasingly confident class consciousness.

After giving examples of this trend, I will follow the history of that tradition up to the emergence of mathematical statistics, which in the 19th century largely replaced logic as the marker of "Rational Man." Reconstructing this history sheds some new light on the surprisingly virulent disagreements in 20th century statistics.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).

From April 16-18, 2015 the Utrecht Workshop on Proof Theory will take place at Utrecht University, the Netherlands.

The aim of this workshop is to bring together researchers from different areas in proof theory to share results, ideas and methods.

Everybody is welcome to attend the workshop. Please register by sending an email to fan.yang.c at gmail.com. Giving a talk is by invitation only.

For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/

From April 16-18, 2015 the Utrecht Workshop on Proof Theory will take place at Utrecht University, the Netherlands.

The aim of this workshop is to bring together researchers from different areas in proof theory to share results, ideas and methods.

Everybody is welcome to attend the workshop. Please register by sending an email to fan.yang.c at gmail.com. Giving a talk is by invitation only.

For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/

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

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

From April 16-18, 2015 the Utrecht Workshop on Proof Theory will take place at Utrecht University, the Netherlands.

The aim of this workshop is to bring together researchers from different areas in proof theory to share results, ideas and methods.

Everybody is welcome to attend the workshop. Please register by sending an email to fan.yang.c at gmail.com. Giving a talk is by invitation only.

For more information, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/

Researchers from various UvA departments share a deep interest in the study of decision making and decision support. Joining forces would enable researchers with backgrounds in, e.g., Psychology, Economics, Biology, Mathematics, Logic, Artificial Intelligence, and Computer Science to capitalize on their complementary expertise. This, in turn, will allow the UvA to widen the interdisciplinary nature, scope, and significance of ongoing research in the decision sciences, and to educate a new generation of experts in this field. The Symposium on Decision Making will bring together UvA staff members and students from various departments and Master's programmes to discuss central questions, share perspectives, and identify common ground as well as important focus topics for potential research and education initiatives, in an interactive forum.

The programme will consist of a keynote lecture by Paul Glimcher (NYU) on neuroeconomics and three panel discussions on different questions related to decision making and decision support.

For more information, see http://www.abc.uva.nl/decision-making or contact Ulle Endriss (ulle.endriss at uva.nl).

Abstract: We investigate the possibility of constructing tamper-resistant cryptographic devices using quantum mechanics. In particular, we consider "one-time programs" -- programs that can be run only once, and reveal nothing about their internal structure. It is known that one-time programs can be constructed using "one-time memories" -- a simpler class of devices related to oblivious transfer. We show how one-time memories can be built using "isolated qubits" -- qubits that have long coherence times, but can only be accessed using single-qubit gates and measurements; entangling operations are not allowed. Our construction achieves information-theoretic security based on a clear physical assumption, and is potentially realizable using near-future technologies such as solid-state qubits.

For more information, contact Christian Schaffner (c.schaffner at uva.nl)

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

For more information, see here or contact M.D.Aloni at uva.nl

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

In this talk, I will briefly introduce the theory and practice of Coq - a proof assistant based on dependent type theory. A proof assistant is a piece of software that provides you with a semi-interactive environment for constructing and verifying formal proofs. Coq has been used to prove/verify theorems from "pure math" (e.g. odd order theorem), as well as in software verification (verified C compiler).

Feel free to bring your laptops, as the second part of the talk will be a practical hands-on Coq session, during which we will play a bit with Coq, by defining basic datatypes and proving simple properties about them.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (S.Sourabh at uva.nl).