240 zoekresultaten voor “program verification” in de Publieke website
-
Programming to understand the world
‘We are surrounded by software and thus it is important that every child learns to program,’ says Felienne Hermans, associate professor at the Leiden Institute for Advanced Computer Science (LIACS). Hermans won the Dutch Prize for ICT Research 2021 in January, after which NRC interviewed her about her…
-
Programming resembles learning a language
What languages do you speak? According to Felienne Hermans, ‘Python’ could be an answer to this question. Hermans studies how people learn to program at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University. In an article of the NewScientist she explains why programming is similar…
-
Benelux Algorithm Programming Contest 2010
The Benelux Algorithm Programming Contest 2010 (one of the qualifying rounds of the ACM International Collegiate Programming Contest) will take place on Saturday 23 October in Plexus, Leiden. This programming contest is organizedby De Leidsche Flesch (study association of ComputerScience/Mathematics/Physics/Astronomy…
-
MA and PhD Programs (Vienna)
The Central European University is a graduate-level, English-language university with a multi-disciplinary Medieval Department that offers MA and PhD programs in Late Antique, Medieval and Early Modern Studies as well as in Cultural Heritage Studies. Deadline: 1 February 2023.
-
The effectiveness and evaluation of a school-based psychoeducation program about stress
Does a universal psychoeducational course about stress in adolescents: I) lead to an increase in knowledge of stress?, II) affect the frequency with which stressors are experienced and the overall stress level?, III) create interest in a tier 2 level follow-up training?, and IV) appeal to students in…
-
Systems and security
Researchers at LIACS are working to devise the computers of tomorrow that will be the backbone of the Cloud and Edge computing paradigms as well as the Internet of Things. In this respect, we are involved in research and development of high performance computing systems, embedded & real-time computing…
-
Teaching PhD position(1.0 fte)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Crowdfunding for children’s programming language Hedy
The easy-to-learn programming language Hedy is a huge worldwide success. To develop the language further, Felienne Hermans, associate professor at the Leiden Institute of Advanced Computer Science (LIACS), started a crowdfunding.
-
A fusion of reading and programming
The connection between programming and reading seems non-existing. Yet in the new reading book ‘De Programmeerbende’ they go together very well. On 26 February author Inge Strijker and co-inventor and computer scientist Felienne Hermans launched the book at the Leiden Institute of Advanced Computer…
-
Basic program 2022-2023 online
The basic program for 2022-2023 has recently been published online. The program of the Research School has been expanded with a number of important basic courses.
-
Students are programming with qubits
Students of the Leiden University master Computer Science are the first students in the world that have been educated in programming with a quantum computer. ‘With this system, it is finally possible to solve complex real-life problems of society.‘
-
ICLON research program reviewed as 'very good'
Last year the research program Teaching and Teacher Learning of ICLON Leiden University Graduate School of Teaching had its recurrent external review.
-
Leiden Certified Public Manager® Program has started
The Certified Public Manager® Program (CPM) stands for 'Empowering public leadership in a changing world'. In the week of 20 to 24 November, a mixed group of senior managers from the Netherlands, UK and Spain went to work in The Hague. Under the guidance of CPM Program Director Nikol Hopman and colleague…
-
Four million euros for DIGITAL TWIN program
The five-year DIGITAL TWIN program can start as NWO granted 4 million euros from the Perspective program. With this grant, 19 new researchers will be appointed.
-
Announcement Fellow Program 2022 'The Iranian Highlands'
For 2022, The Iranian-German project 'The Iranian Highlands: Resilience and Integration of Premodern Societies' announces the second round of fellowship grants. The fellowship is open for both iranian and non-iranian researchers, especially in archaeology but also in other interdisciplinary fields focussing…
-
Looking to distract the kids while you work from home? Get them programming!
Many of us are working from home at the moment, but our children are at home too. While this can be fun, parents sometimes need a bit of peace and quiet. Leiden computer scientist Felienne Hermans has developed Hedy, a programming language that teaches children how to program. An educational way to…
-
LECTIO Visiting Scholars Program 2022-2023
LECTIO, the KU Leuven Institute for the Study and Transmission of Texts, Ideas and Images in Antiquity, the Middle Ages and the Renaissance, invites applications for its Visiting Program 2022-23. Deadline: 10 June 2022. For more information: lectio@kuleuven.be.
-
Models of curves: The Birch and Swinnerton-Dyer conjecture & ordinary reduction
Chapter 1,contains the numerical verification of the Birch and Swinnerton-Dyer conjecture for hundreds of Jacobians of hyperelliptic curves of genus 2, 3, 4 and 5.
-
Leiden programming team qualifies for world championships
The team 'git merge -s octopus solution cup' has won the programming competition 'Northwestern Europe Regional Contest' on November 17. For the first time in 20 years, a team from Leiden has won this contest. On top of that, it is the second victory for the team in a month.
-
Student team wins Minecraft programming challenge
A programming competition in Minecraft? It really exists! And even better news: this time LIACS’ student team Mike's Angels achieved the first place! The team has been rewarded $500.
-
Bachelor Religious Studies top program according to 'Keuzegids Universiteiten 2019'
The bachelor program Religious Studies has, besides also Linguistics and Ancient Near Eastern Studies, been awarded by the 'Keuzevakkengids Universiteiten 2019' with the predicate top program.
-
Alphabet of 140 puzzle pieces programs origami
How can a single origami crease pattern be folded into two precisely defined target shapes? Researchers at AMOLF and Leiden University have created an ‘alphabet’ of 140 origami ‘puzzle pieces’ that allows them to do just that, as described today in Nature Physics. This discovery could help in the construction…
-
Green Light from the Advisory Board Legal Technologies program
Technological developments are rapidly advancing. The Leiden Legal Technologies Program was on the agenda of the Advisory Committee at their second meeting held on 15 October. The decision to start the program in January 2021 was taken unanimously. It was the official moment to announce the completion…
-
Leiden Legal Technologies Program runner up for Gouden Zandloper
The Leiden Legal Technologies Program is runner up for the Gouden Zandloper (Golden Hourglass) for Legal Education & Research, the prize for the most innovative legal programme.
-
Suliman Ibrahim was interviewed in the radio program ‘Huna Libya’
On 25 April 2016, Suliman Ibrahim, Senior Researcher at the VVI, was a guest expert on the weekly radio program: 'Huna Libya', a joint initiative by the Libyan al-Wasat Radio and Radio Netherlands Worldwide (RNW).
-
Systems and Security
Researchers at LIACS are working to devise the computers of tomorrow that will be the backbone of the Cloud and Edge computing paradigms as well as the Internet of Things. In this respect, we are involved in research and development of high performance computing systems, embedded & real-time computing…
-
Theory
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…
-
Theory
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…
-
Leiden 3rd on North-West European Programming Championship
On November 21 a team of three students of Leiden University won the third prize during the North-West European Programming Championship in Bremen (Germany).
-
KemenRistekDikti-Leiden University Joint PhD Scholarship Program
Leiden University and Ristek Dikti have set up a joint scholarship program for PhD degrees. Eligible candidates who wish to take their PhD at Leiden University are invited to register with RistekDikti before April 30, 2019. Candidates need to fulfill the requirements as set by RistekDikti and by Leiden…
-
Call for papers: The Hague Program for Cyber Norms Conference
This year The Hague Program for Cyber Norms organises the first conference of an annual series to encourage academic diversity in the study of cyber security. The theme is Responsible Behavior in Cyberspace. The conference will take place in The Hague from 5 to 7 November 2018. Deadline submission of…
-
Human Frontier Science Program award for Katharina Riebel
An international research team consisting of Katharina Riebel as leading PI and two international collaborators were awarded a Human Frontier Science Program grant for their proposal ‘Seeing voices’: the role of multimodal cues in vocal learning.
-
Diploma and Academic transcript
Prospective employers sometimes request a certified copy of your diploma or your academic transcript. These certified copies can be provided by the University. You can also apply to the University for advice on having your diploma translated.
-
Leiden University champion of the Benelux in programming contest
On October 19, the annual Benelux Algorithm Programming Contest took place in Nijmegen. The team ‘git merge -s octopus solution cup’ of Leiden University was the only one to succeed in solving all the problems. They became champion of the Benelux and ensured their place in the championship of Northwest…
-
Third International Ismaili Studies Conference (2021) Program & Registration
We are pleased to announce the Program for the “Third International lsmaili Studies Conference: Histories, Philosophies and Communities” (ISC2021), organized by the Leiden University Shii Studies Initiative. This year, ISC2021 will be held virtually on Zoom from Friday, August 6 to Tuesday, August 10,…
-
Young mathematicians uphold Leiden's honour at international programming contest
Three young MI students have upheld Leiden's honour in the finals of the International Collegiate Programming Contest (ICPC). PhD candidate Ludo Pulles and Master's student Reinier Schmiermann travelled to Russia and came 15th out of 117 teams. PhD candidate Pim Spelier participated in the online contest…
-
LIACS receives NWO grant in Challenging Big Data program
The Leiden Institute of Advanced Computer Science (LIACS) received a grant award from NWO for a joint proposal with Centrum Wiskunde & Informatica (CWI, Amsterdam), Tata Steel (IJmuiden), BMW (Munich), and database company MonetDB. Within the NWO Data Science program ‘challenging big data‘, LIACS is…
-
News from the BFW/BPS Study Program Committee
Wednesday 18 January 2017, a university-wide meeting was organized on the upcoming alterations with regard to the role and tasks of Study Program Committees (Opleidingscommissies; OCs) within Leiden University.
-
Algorithms
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…
-
Leiden students win international coding contest
Two teams of Leiden Mathematics and Computer Science students have won the golden and bronze medals at an international programming contest with 605 participants. Member of Parliament and ICT politician of the Year Kees Verhoeven congratulated them personally.
-
More than a billion people can now learn to program with Hedy!
Forget Python, Java and Scratch: there is now an accessible programming language for children. This is Hedy, invented by Dr. Felienne Hermans of LIACS. Thanks to a collaboration between Jetlearn, an online programming school based in Amsterdam, and Leiden University, Hedy now has translations in Hindi…
-
Texas Certified Public Manager® Program Director visits Leiden University in The Hague
Dr. Howard and Marilyn Balanoff from the CPM program of Texas visited Leiden University in The Hague, to share their knowledge and to learn from the Leiden Certified Public Manager® Program. We took the opportunity and have asked them some questions.
-
CPL launched the first accredited Certified Public Manager® Program in Europe!
This Autumn, the Centre for Professional Learning (CPL) launched the Leiden Certified Public Manager® Program, the very first CPM Program in Europe. The Leiden CPM Program is about empowering public leadership in a changing world, addressing real problems and supporting experienced managers in working…
-
Prof.Dr. Arjen Doelman selected within Mathematics of Planet Earth program NWO
The research project ‘Adaptive Semi-Strong Ecosystem Dynamics’ of Prof.Dr. Arjen Doelman is selected for funding as one of the 7 research projects within the program Mathematics of Planet Earth (MPE) of NWO.
-
International Space University 31st Space Studies Program 2018 to convene in the Netherlands
The International Space University is proud to announce that the 31st annual Space Studies Program (SSP) session will convene in the Netherlands during the summer of 2018.
-
The Hague Program for Cyber Norms successfully concludes their UN GGE norms commentary project
The Leiden University’s Program for Cyber Norms, a research platform to investigate the development and implementation of law and policy applicable to uses of ICTs, in cooperation with the think-tank ICT4Peace conducted a global open consultation on how to implement the UN Group of Governmental Experts’…
-
The Hague Program for Cyber Norms welcomes Visiting Fellow Russell Buchan
Russell Buchan will be a Visiting Fellow at The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 19 August to 13 September.
-
The Hague Program for Cyber Norms welcomes Visiting Fellow Josh Gold
We are delighted to welcome Josh Gold as Visiting Fellow of The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 1 - 9 May.
-
On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Promotor: Prof.dr. E.F.A. Deprettere, Co-promoter: Todor P. Stefanov
-
Computer program AlphaStar reaches professional level in video game StarCraft II
For the first time, a computer can compete with the very best human players in StarCraft II, a video game played by tens of thousands at a professional level and by millions just for fun. Mike Preuss, university lecturer at the Leiden Institute of Advanced Computer Science (LIACS) responds to the achievement…