Promotor: F. Arbab, R. De Nicola, Co-Promotor: M. Tribastone

This dissertation shows that dialogical logic constitutes a powerful and flexible general framework for the development and study of various logical formalisms and combinations thereof.

There are a number of problems in philosophy that seem to share a similar possible solution: 'Why do promises and contracts bind?', 'Why ought citizens and judges obey the law?' and 'Can we realize the gains to be made from cooperation?'. All three problems (as well as some others) share a possible…

Are you mad about board games? Then we’ve got good news for you: we’ve developed our very own University game, HORA EST! It’s a fun way to learn more about the University. Get your family and friends together for an evening of fun and games!

The Faculty of Governance and Global Affairs of Leiden University in The Hague has developed Serious Games to introduce high school students to its education and researchfield.

The Game Research Lab (GRL) uses digital games as a medium for academic research, and consider ‘serious’ games and entertainment games equally valuable objects of study.

The Game Research Lab uses digital games as a medium for academic research. It considers entertainment games and 'serious’ games as objects of study, develops novel approaches for creating, playing, and analysing games, and studies the interactions between games and AI.

The Game Research Lab uses digital games as a medium for academic research. It considers entertainment games and 'serious’ games as objects of study, develops novel approaches for creating, playing, and analysing games, and studies the interactions between games and AI.

The Game Research Lab uses digital games as a medium for academic research. It considers entertainment games and 'serious’ games as objects of study, develops novel approaches for creating, playing, and analysing games, and studies the interactions between games and AI.

Political scientists Huib Pellikaan and Niels van Willigen (Leiden University) use and elaborate on the theoretical insights from game theory in order to understand nuclear security in changing environment. Now that the relations between the US and Russia have deteriorated and smaller nuclear states…

The research programme Probability Theory focuses on probability theory and on operations research.

How well children learn depends to a large extent on good teachers and effective learning materials. Wilfried Admiraal investigates such issues as gaming as a modern learning tool. He concludes that this tool has little to offer less talented students.

In what way can the qualities of an existing context be used as guiding and enriching principles rather than limiting factors in the process of spatial transformation?

Exhibition

Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…

Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…

Can playing certain games decrease cognitive decline or even enhance cognitive performance in the aging population?

Over the last decades, aviation safety has improved strongly. As a downside, airline pilots do not have as many opportunities to develop through experience the competencies that they need in critical situations.

The research of the Algebra, Geometry and Number Theory programme ranges from fundamental mathematical theory to algorithms and applications.

Bruin

This book addresses the definition of history and how people are influenced by it.

Promotor: H.W. Lenstra, Jr., Co-promotor: B. de Smit

Subproject of

Promotor: S.J. Edixhoven, Co-promotor: R.S. de Jong

The research of the Algebra, Geometry and Number Theory cluster tries to bridge the gap between abstract theory and the world of algorithms and applications.

Promotores: Prof.dr. J. Zaanen & Prof.dr. K.E. Schalm

How to explain the apparent high success rates of the EU infringement procedures, which are the major tools for enforcing EU law, against the member states?

A defining fixture of our contemporary world, video games offer a rich spectrum of engagements with the past.

The Death of Archaeological Theory, edited by John Bintliff and Mark Pearce, addresses the provocative subject of whether it is time to discount the burden of somewhat dogmatic theory and ideology that has built up over the last 25 years.

Developing a method to simplify polynomials in complex curves

Majorana meets a mermaid

In deep reinforcement learning, searching and learning techniques are two important components. They can be used independently and in combination to deal with different problems in AI, and have achieved impressive results in game playing and robotics. These results have inspired research into artificial…

The thesis mainly contributes to the characterization of Majorana fermions as they appear in the Condensed Matter context.

The master’s specialisation Algebra, Geometry and Number Theory at Leiden University is aimed at students who wish to acquire a profound knowledge of one of the areas within pure mathematics. There is a strong theme dealing with algebra and number theory as well as a strong theme dealing with topology…

Sentencing is becoming increasingly complex for the courts. Legal scholars and criminologists from Leiden document the process of sentencing in the Netherlands. They use this knowledge to advise legislators and those who implement this legislation on how to make sentencing more consistent and effect…

Edited by linguists Jenny Audring (Leiden University) and Francesca Masini (University of Bologna), this is a unique handbook with a focus on morphology theories rather than morphological data. It covers a wide array of morphological theories, from traditional twentieth century models to current theoretical…

The focus of our theoretical physics research is the nature of macroscopic matter that is in one or the other way still in the grip of quantum physics.

Truth is stranger than fiction. In 1997 Juan Maldaceña discovered a remarkable dictionary that translates equation for equation the physics of black holes in string theory into the more conventional physics of quantum mechanics of interacting particles. The remarkable possibility exists that…

The master in Cultural Analysis: Literature and Theory at Leiden University focuses on the study of literature from a comparative and theoretical perspective, with a special emphasis on literary movements and genres of the 19th, 20th, and 21st centuries. It covers a wide range of languages and cultures…

This political theory specialisation focuses on the concepts of legitimacy and justice—political philosophy’s core themes. Immersing yourself in theories, philosophical and theoretical methods, and complex cases, you will make the leap from opinion to analysis.

Promotor: K.E. Schalm, Co-promotor: S.S. Lee

'Politics of Withdrawal' considers the significance of practices and theories of withdrawal for radical thinking today.

Together with two other authors, Jaroslaw Kantorowicz from ISGA investigates the susceptibility to believing in misinformation.

Humanities, Institute for History

The Summer School on International Humanitarian Law is designed by the Grotius Centre Kalshoven-Gieskes Forum on International Humanitarian Law. The 6th edition will take place from 4 to 8 July 2022 in The Hague.

The terms ‘social’ , ‘collective’ or ‘public’ memory, are often contrasted with ‘private’, ‘individual’ or ‘personal’ memory. All these terms derive from a fairly new and interdisciplinary scholarly field that is often referred to as ‘memory studies’, and that according to some critics has developed…

We study the structure, dynamics and physics of complex networks emerging from the intricate interconnectedness of the constituents of large systems.