Sep 2020
| Dan Frumin joins our group as 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.
|