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.
|Jan 2016||New accepted paper (co-authored by Jorge A. Pérez with Kouzapas and Yoshida) in ESOP2016, the 25th European Symposium on Programming (ESOP).|
|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 ...