Fundamental Computing (FC)
Our research group is part of the Johann Bernoulli Institute for Mathematics and Computer Science (JBI) of the University of Groningen, the Netherlands.
The objective of this programme is to contribute to the understanding of the logical and mathematical foundations of computing science and to realize a two-way transfer between this fundamental research and more applied subdisciplines of computing science.
|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.|
DO NOT edit the news here, edit it on the Resources.News page More news ...