Everyone is welcome to attend the next LoLa day, which takes place on February 3, 2015 in the city center of Amsterdam.

At this second edition of the LoLa day, we create a platform for the Lola members to present their new results and ongoing work.

For more information, including the scientific programme, see http://www.illc.uva.nl/LoLa/LoLa-Day/.

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

I will present a quantum position verification scheme in the random oracle model and give a security proof sketch for 1D case. Then I will talk about difficulties in higher dimensions and open problems as well as what we are currently doing to solve these open problems.

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

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), Masa Mocnik (masa.mocnik at gmail.com) or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

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

Our Valentine's Special investigates the metaphysics of love: what is the nature of romantic love? which metaphysical options are there? what are the formal properties of the loving relation? I will try to answer some of these questions, focussing on a plural interpretation of love. Expect obscure philosophy, plural logic, and *lots of pathos*.

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

Abstract: Hash-based signatures are currently the most confidence-inspiring replacement for the signature schemes used today. Their security is solely based on the security of the used hash function(s) and can be related to the same by means of standard-model security reductions. Today's hash-based signature schemes have performance close to that of RSA & Co and are currently subject to standardization. The only drawback of hash-based signature schemes in practice is that they are stateful, i.e., the secret key has to be updated after each signature. However, recent results show that this problem can actually be solved while maintaining practical performance and reliable security. This talk will discuss the basics of hash-based signature schemes. It will cover one-time and many-time signature schemes, Lamports scheme, the Winternitz OTS, Merkle's scheme, and XMSS. Finally, it will be explained how to build practical stateless hash-based signature schemes, explaining the concept of few-time signature schemes and introducing SPHINCS.

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

Abstract: Logical consequences can be viewed as informational dependencies that would also hold in a world empty of people. While consequence is the basis for logic, human agents engage in styles of reasoning, of which I will discuss a few: mathematical proof generating knowledge, default inferences generating beliefs, and of course interactive argumentation where we try to persuade as well as convince. The surprising fact is that logical methods can also help model this wider world of intellectual abilities. In addition, if time permits, I will consider another key feature of human reasoning: its resource-boundedness, and what this means for the actual 'natural logic' we have available for 'thinking fast' in decisions, as opposed to the 'thinking slow' of long-term deliberation, and research.

See also http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures

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

The Chinese New Year 'Chun Jie' (Spring Festival) is coming soon, on February 19, according to the lunar calendar this year! Besides celebrating this important festival together, the customs of this traditional festival could also give us a hint of the modern Chinese culture and language.

For more information, please contact chanjuan.pkucs at gmail.com.

Or see here.

This talk will be focused on Spinoza's most important work, his Ethics demonstrated in geometrical order. We will focus on the first part of the book, while also paying attention to other interesting propositions, and show his particular way of reasoning that characterizes this whole book.

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

For more information, contact M. Aloni (m.d.aloni at uva.nl).

Or see here.

As a Master student, you will have to make a choice on what to do after graduation. One of the possibilities is to apply for a PhD position. To inform you about this career path, the NSA Master committee (together with the student council and other student associations) organise a PhD information evening.

Jean-Sebastien Caux (theoretical physicist) will give an introduction on the subject, after which a panel of PhD candidates from various fields will answer your questions and share their experiences with you.

For more information, see http://www.uva.nl/en/about-the-uva/organisation/faculties/content/

The Arend Heyting Foundation was founded in 1981 by prof. dr. A.S. Troelstra, under the auspices of the The Royal Netherlands Academy of Arts and Sciences and has as goal to further the knowledge of mathematical logic, and Intuitionism in particular. The Arend Heyting Foundation organizes an Arend Heyting Lecture at least once every three year. The 2015 Arend Heyting Lecture, entitled "136 years and still going strong?: Cantor's continuum problem", will be given by Michael Rathjen.

The Heyting Day 2015 is dedicated to the celebration of the 75th birthdays of Dick de Jongh and Anne Troelstra. The speakers of this year's Heyting Day are: Lev Beklemishev, Nick Bezhanishvili, Jaap van Oosten, Paulo Oliva and Michael Rathjen.

For more information, see http://phil.uu.nl/~albert/Heyting_Day/

Do you want to learn all the tricks of successful debating from the former Dutch Debating Champion??? Come and enjoy our interactive and challenging workshop which will enhance your persuasion and argumentation skills and spice up your speech!

This unique event will take place on the 28th of February in Rotterdam, one of the most international hubs of the Netherlands. After the workshop you're also invited to join us for some drinks at a gezellig pub. The event is organized by the ILLC alumni Lena Kurzen, who was a MoL student and got her PhD at the ILLC.

If you want to join us, please sign up on the event webpagehttp://www.hutac.com/index.php?page=events&action=details&id=39, or send Lena an email atlena.kurzen at gmail.com by 23 February.