Skip to ContentSkip to Navigation
Research Bernoulli Institute Fundamental Computing

News

October 2021 Our animation Fundamental Computing: Mathematics and logic for software we can all rely on has been launched! Check it out!
October 2021 Come work with us! We have three fully-funded PhD positions available. See our Vacancies page for more information.
October 2021 Jules Jacobs (Radboud University) is our first in-person visitor after the pandemic, giving a talk on “Mechanized Deadlock Freedom for Session Types”.
October 2021 Stephanie Balzer (Carnegie Mellon University) gave an online talk for our group on “Session Logical Relations for Noninterference”.
October 2021 Helle Hvid Hansen joins the organization team of GroLog, the Logic seminar at the University of Groningen.
September 2021 Jorge A. Pérez gives a talk at the GroLog seminar: “The Logical Foundations of Message-Passing Concurrency”.

September 2021

Revantha Ramanayake gives a plenary talk at TABLEAUX 2021.

September 2021

Paper co-authored by Jorge A. Pérez is accepted at JLAMP: Comparing Type Systems for Deadlock Freedom

September 2021

Paper co-authored by Jorge A. Pérez is accepted at LMCS: Causal Consistency for Reversible Multiparty Protocols

September 2021

Revantha Ramanayake joins the program committee of NCL 2022.

September 2021

Jorge A. Pérez joins the program committee of PLACES 2022.

September 2021

Jorge A. Pérez (virtually) attends the Daghstul seminar 21372: Behavioural Types: Bridging Theory and Practice.
September 2021 Revantha Ramanayake joins the program committee of AiML 2022

August 2021

Helle Hvid Hansen (virtually) attends CALCO 2021 & MFPS XXXVII
August 2021 Revantha Ramanayake joins the program committee of LICS 2022.
July 2021

Helle Hvid Hansen gives an invited talk at the Modal and Epistemic Logic session of the Logic Colloquium 2021.

July 2021 Helle Hvid Hansen is mentoring at the Adjoint School 2021
July 2021 Revantha Ramanayake joins the program committee of CLAR 2021
June 2021 Jorge A. Pérez joins the program committee of REBLS 2021
June 2021

Jorge A. Pérez gives an invited presentation at the IPA online afternoon on Formal Methods

Jun2 2021 Paper co-authored by Bas van den Heuvel and Jorge A. Pérez is accepted at ICE 2021: Deadlock Freedom for Asynchronous and Cyclic Process Networks
June 2021

Oral communication by Jovana Dedeic, Vanja Pantovic, and Jorge A. Pérez is accepted at ICE 2021: On Encoding Primitives for Compensation Handling as Adaptable Processes

June 2021

Paper co-authored by Revantha Ramanayake is accepted at TABLEAUX 2021: Cut-elimination for provability logic by terminating proof search: formalised and deconstructed using Coq

June 2021

Revantha Ramanayake gives an invited talk at the Alophis Logic Seminar

May 2021 Revantha Ramanayake gives a talk at the Proof Theory Virtual Seminar.
May 2021

Helle Hvid Hansen is one of the organisers of the VvL Logic at Large Lecture on 28 May 2021 which features an online talk by prof. Moshe Y. Vardi (Rice University).

Apr 2021

Paper co-authored by Joseph Paulus and Jorge A. Pérez is accepted at FSCD 2021: Non-Deterministic Functions as Non-Deterministic Processes.

Apr 2021

Paper co-authored by Revantha Ramanayake is accepted at LICS 2021: Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

Apr 2021

Paper co-authored by Revantha Ramanayake is accepted for publication in the ACM Transactions on Computational Logic: Display to Labeled Proofs and Back Again for Tense Logics.

Apr 2021

Helle Hvid Hansen gives research talks at the TULIPS Seminar (Utrecht University) and the GroLog seminar (University of Groningen).

Apr 2021 Jorge A. Pérez joins the program committee of PPDP 2021
Apr 2021

New “lespakket” on “Program Correctness” produced in collaboration with the Scholierenacademie: see here for details.

Mar 2021

Revantha Ramanayake joins our group as Assistant Professor. Welcome, Revantha!

Mar 2021

Frank Feys joins our group as a PhD student. Welcome, Frank!

Mar 2021

Helle Hvid Hansen gives an invited 2-part tutorial at the online Workshop on Polynomial Functors (Topos Institute).

Mar 2021

Helle Hvid Hansen and Revantha Ramanayake join the program committee of WoLLIC 2021.

Mar 2021 Helle Hvid Hansen has been invited to co-chair the program committee of Coalgebraic Methods in Computer Science (CMCS 2022).
Mar 2021 Jorge A. Pérez joins the program committee of TYPES 2021
Mar 2021 Dan Frumin successfully defended his PhD thesis. Congratulations, Dr. Dan!
Mar 2021 Paper co-authored by Revantha Ramanayake is accepted for publication in the Journal of Symbolic Logic: Bounded Sequent Calculi and Restricted Embeddings: Hypersequent Logics.
Mar 2021

Revantha Ramanayake will co-chair the program committee of the VCLA International Student Awards 2021.

Feb 2021

Jorge A. Pérez gives a talk at the Online Worldwide Seminar on Logic and Semantics (OWLS).

Feb 2021

Helle Hvid Hansen is in the program committee of the SEN Symposium 2021, the annual event of VERSEN, the Dutch National Association for Software Engineering.

Feb 2021

Helle Hvid Hansen joins the program committee of MFPS 2021 and ACT 2021.

Feb 2021

Jorge A. Pérez joins the program committee of FACS 2021.

Feb 2021

Paper co-authored by Jorge A. Pérez is accepted at JLAMP: On primitives for compensation handling as adaptable processes.

Feb 2021

Mauricio Cano obtained third place in the VERSEN PhD Awards 2020. Well done, Mauricio!

Jan 2021

Helle Hvid Hansen joins the board of VvL (Dutch Association for Logic and Philosophy of Exact Sciences).

Jan 2021

Paper co-authored by Mauricio Cano and Jorge A. Pérez is accepted at Acta Informatica: Session-based concurrency, declaratively.

Jan 2021

Jorge A. Pérez gives an invited talk at the Mathematical Foundation group of the University of Bath, entitled Linearity, Control Effects, and Behavioral Types

Past News

Dec 2020

Helle Hvid Hansen joins the program committee of Women in Logic (WiL 2021), a satellite workshop of LICS 2021 aimed to promote excellent logic research by women.

Oct 2020

Helle Hvid Hansen joins the program committee of ICLA 2021.

Helle Hvid Hansen will co-chair the program committee of TbiLLC 2022 (postponed from 2021).

Sep 2020

Jorge A. Pérez joins the program committee of LSFA 2021

Sep 2020

Dan Frumin joins our group as a postdoctoral researcher. Welcome Dan!

Jun 2020

Helle Hvid Hansen joins our group as associate professor and Rosalind Franklin Fellow. Welcome Helle!

Mar 2020

Work with us! We have a vacancy on "Theory of Computation" at the level of assistant (tenure-track), associate, or full professor. Apply by May 5, 2020!

Feb 2020

We hosted several visitors: Claudio Mezzina (University of Urbino), Mauricio Ayala (University of Brasilia), Kirstin Peters (TU Darmstadt).

Jan 2020

Mauricio Cano successfully defended his PhD thesis - congratulations!

Oct 2019

Bas van den Heuvel joins our group as PhD student.

Mar 2019

Jorge A. Pérez has been selected as a new member of the Young Academy Groningen, a club for "the University’s most talented, enthusiastic and ambitious young researchers".

Feb 2019

Joseph Paulus joins our group as PhD student.

Nov 2018

Jorge A. Pérez and Alen Arslanagic gave contributed talks in the First VERSEN Workshop on Programming Languages in The Netherlands.

Aug 2018

PhD opening to work in the VIDI project of Jorge A. Pérez. See the official vacancy for details and application procedure (deadline: October 1st, 2018).

July 2018

Jorge A. Pérez has been invited to co-chair the 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019)

June 2018

Jorge A. Pérez has been awarded a VIDI career grant by the NWO. See the press releases by NWO and RUG. Please visit the dedicated website for details on currently available vacancies.

Apr 2018

Alen Arslanagic joins our group as PhD student.

Jun 2016

Dr Luis Quesada (University College Cork, Ireland) visits our group.

Jun 2016

Jorge A. Pérez has been invited to serve in the PC of SAC 2017 (32nd ACM/SIGAPP Symposium On Applied Computing) - Track: Service-Oriented Architectures and Programming.

May 2016

Jorge A. Pérez has been invited to attend the Dagstuhl Seminar 17051 (Theory and Applications of Behavioural Types).

Apr 2016

Jorge A. Pérez has been invited to serve in the PC of EXPRESS/SOS 2016 (Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics).

Apr 2016

Dr Claudio Mezzina (IMT Lucca, Italy) visits our group supported by EU COST Action 1405.

Mar 2016

Two new accepted papers (co-authored by Jorge A. Pérez) in FORTE 2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE).

Feb 2016

Dr Daniele Nantes (University of Brasilia, Brazil) visits our group.

Feb 2016

Dr Jovana Dedeić (University of Novi Sad, Serbia) visits our group supported by EU COST Action 1201 (BETTY).

Jan 2016

New accepted paper (co-authored by Jorge A. Pérez with Kouzapas and Yoshida) in ESOP 2016, the 25th European Symposium on Programming (ESOP).

Jan 2016

Dr Jaime Arias (INRIA Bordeaux, France) visits our group and delivers a Computer Science colloquium.

Jan 2016

Jorge A. Pérez is the editor of the conference report section of SIGLOG News, the newsletter of the ACM Special Interest Group on Logic and Computation (SIGLOG).

Sep 2015

The CONCUR 2015 paper co-authored by Jorge A. Pérez (with Kouzapas and Yoshida) has been selected among the best papers, and invited to the special issue to appear in Springer's Acta Informatica.

Sep 2015

Mr Mauricio Cano joins as a PhD student.

Ago 2015

Two new accepted papers in EXPRESS/SOS 2015, the combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics.

Jun 2015

New accepted paper (co-authored by Jorge A. Pérez with Kouzapas and Yoshida) in CONCUR 2015, the 26th Conference on Concurrency Theory.

Jun 2015

Jorge A. Pérez has been invited to serve in the PC of SAC 2016 (31st ACM/SIGAPP Symposium On Applied Computing) - Track: Service-Oriented Architectures and Programming.

Jun 2015

New accepted paper in PPDP 2015, the 17th International Symposium on Principles and Practice of Declarative Programming.

Apr 2015

Jorge A. Pérez has been invited to serve in the PC of ICALP 2016 (43rd International Colloquium on Automata, Languages, and Programming / Track B). ICALP is the premier European conference in Theoretical Computer Science.

Apr 2014

Jorge A. Perez joins as a tenure-track assistant professor.

Sep 2010

Wim H. Hesselink was the teacher of the course Automated Reasoning.

Sep 2011

Dr. Doina Bucur will teach a new version of the course Automated Reasoning in the year 2011-2012.

Last modified:14 October 2021 10.25 a.m.