239 zoekresultaten voor “program verification” in de Publieke website
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
eLaw Research Colloquium 2021; 'Law Gone Digital'
On Friday 10 December 2021, the Center for Law and Digital Technologies (eLaw) of the Leiden Law School, hosted its annual Research Colloquium exploring the theme 'Law Gone Digital'. The event gathered presentations by eLaw PhD candidates and professors on a wide range of topics at the interface of…
-
Structured Parallel Programming for Monte Carlo Tree Search
Promotie
-
Asynchronous Programming in the Abstract Behavioural Specification Language
Promotie
-
These are the five Leiden highlights of ICT.OPEN
The ICT.OPEN conference had no less than five Leiden highlights. PhD candidate Anna Louise Latour won the pitch prize of 500 euros and PhD candidate Can Wang won the second prize in the Commit2Data poster competition. In addition, Professor Holger Hoos gave the keynote lecture on the first day and Suzan…
-
Studium Digitale: An Introduction to Object Oriented Programming and Library building in Python for Humanities Scholars
Workshop
-
TYPES 2021: 27th International Conference on Types for Proofs and Programs
Congres/symposium
-
Postdoc and PHD candidate, Hybrid Quantum Algorithms
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Facilities and services
There’s more to obtaining a bachelor’s or master’s degree than just studying. For example, where can you go for advice, or to let off some steam, practise your favourite sport, stay in shape, socialise, or simply find some peace and quiet? Leiden University can help in all these areas, and more.
-
The Three Pillars of Bon: Doctrine, ‘Location’ & Founder
The aim of the project is to understand the process of formation of Bon religious identity in Tibet at the turn of the first millennium AD.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
server queueing systems: Efficient methods via lumping and dynamic programming
Promotie
-
Dr. Alexander Klimburg, Director Cyber Policy and Resilience Program at the The Hague Centre for Strategic Studies (HCSS)
Lezing
-
The Bigger Picture
Hope for New Life - Warren Richardson, World Press Photo of the Year 2015
-
Young talent: quantum scientist receives Young Scientist Prize
Only 35 years old and already a research group leader, on his way to tenure. And: numerous papers, grants and fellowships to his name. Leiden physicist Jordi Tura i Brugués receives today the Young Scientist Prize for his outstanding contributions to quantum research.
-
Nieuwscheckers win Mr. K.J. Cath Prize and thank Donald Trump
Nieuwscheckers, a team of journalist fact-checkers from Leiden University, received the Mr. K.J. Cath Prize at the opening of the academic year on 5 September. This biennial prize is awarded to students or staff who have enhanced the University’s good name.
-
Measuring sulfur with satellites
Seagoing vessels may emit fewer and fewer harmful substances, but how do you measure whether they comply with the standards? The Dutch Environment and Transport Inspectorate (ILT) and the universities of Leiden and Wageningen are starting a joint study to detect the emission of sulfur and nitrogen dioxide…
-
This Week’s Discoveries | 19 February 2019
Lezing
-
ESO instrument METIS passes important design milestone
The METIS instrument that’s being built for ESO's future Extremely Large Telescope (ELT) in Northern Chile under the leadership of the Dutch Research School for Astronomy (NOVA) has reached an important milestone: the preliminary design has been approved.
-
Hall of fame 2021: Our students and staff in the spotlight
2021 saw many prizes awarded to staff and students of Leiden Law School. Grants for new research projects were also awarded and our staff were invited to particpate on committees or recognised in other ways too. An overview of this year’s achievements is given below.
-
Annemie Halsema appointed professor by special appointment: ‘I want to contribute to thinking about diversity
The Institute for Philosophy further expands its knowledge: As of 1 September, Annemie Halsema holds the chair of Wijsgerige antropologie en de grondslagen van het humanisme (Philosophical anthropology and the principles of humanism, ed.). In the coming five years, she will study current societal issues…
-
Consortium building corona test application providing maximum privacy
A consortium called 'uNLock' has started developing an open source, non-profit application that will facilitate the verification of corona tests while ensuring maximum security of users.
-
Lunch Time Seminars
In this section you can find information about and recordings of past SAILS Lunch Time Seminars.
-
European support for Dutch-Flemish project in the fight against disinformation
Dutch and Flemish partners, including Leiden University, are joining forces as the European Digital Media Observatory (EDMO) in the fight against the spread of fake news, and have received the support of the European Commission.
-
2020 in pictures: How coronavirus kept us apart, but somehow brought us together
2020 will go down in the history books as an eventful year. The traces left by the coronavirus this year will remain, for students as well as staff at Leiden Law School. A review of the year in photos and videos.
-
Theses Children's Rights online
Master of Laws: Advanced Studies in International Children’s Rights Outstanding Student Research Theses
-
6th Quantum Software Consortium General Assembly
Congres/symposium
-
Fleur Ravensbergen, Assistant Director and Co-Founder of the Dialogue Advisory Group
Lezing
- Tuning the Catalytic Activity of Oxide-Supported Nanoparticles via Plasma-Assisted Synthesis
-
Opening of the Academic Year: ‘Our university world knows no borders’
The theme of the opening of this year’s academic year was peace and justice. With the climate crisis and the war in Ukraine, these are turbulent times. During the ceremony those present reflected on what the academic community and universities can mean in times of crisis and conflict.
-
European Homicide Monitor
The European Homicide Monitor (EHM) offers a standardized framework for countries and regions to compare homicide characteristics, patterns and trends.
-
Tailoring support for refugee students: ‘They are amazed at the number of options’
Many people have fled to the Netherlands since the outbreak of war in Ukraine, including students. But even before this war, students with refugee backgrounds were eager to study at Leiden University. How does the University help young people from various backgrounds find their way around the Dutch…
-
This Week's Discoveries | 26 November 2019
Lezing
- Volume 15 (2020)
-
10th Leiden Symposium on New Religiosity - The Tell-Tale Art: Divination and Oracular Practice from All Angles
Lezing, Symposium
-
Theses
Below thesis archives will be moved shortly (work in progress) to the Leiden Repository. Once this is done, theses submitted by MI students (from 2008 onwards) can be accessed via the Repository and will be removed from this site.