Papers I find interesting---mostly, but not solely, in Process Algebra---, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life.
The Gran Sasso Science Institute (GSSI) in L’Aquila, Italy, invites applications for a full-time tenure-track researcher position in Computer Science. The GSSI Computer Science group is among the top-ranked in Italy and has been recognized as a national Department of Excellence. Its main areas of research include Algorithms, Artificial Intelligence, Formal Methods, and Software Engineering.…
As mentioned in a previous post , Naoki Kobayashi will receive one of the two CONCUR 2026 Test-of-Time Awards at CONCUR 2026 . Naoki has kindly agreed to answer some questions of mine on his award-winning paper via email. I am delighted to post his answers below and hope you'll enjoy reading them as much as I did. Thanks, Naoki! Luca: You receive the CONCUR ToT Award 2026 for your paper A New Type…
As annoounced on the CONCUR 2026 website , t he 2026 CONCUR Test-of-Time Award Committee, consisting of Anca Muscholl (chair), Javier Esparza and Prakash Panangaden, has selected the following two papers for the 2006-2009 ToT award. CONCUR 2006: " A New Type System for Deadlock-Free Processes " by Naoki Kobayashi , and CONCUR 2007: " Strategy Logic " by Krishnendu Chatterjee , Thomas A. Henzinger…
The Estonian-Latvian Computer Science Theory Days 2026 will be at the University of Tartu, Tartu, Estonia, in the period 24-26 April 2026. (Hat tip: My colleague Tarmo Uustalu at the Department of Computer Science at Reykjavik University .) Quoting from the event's website , "The main goal of the Theory Days is to let the theoretical computer scientists of our two countries to get acquainted with…
The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) will be held in Aalborg, Denmark, in the period 15-17 September 2026. See https://gandalfsymposium.github.io/2026/ for more information and the call for papers. The PC is co-chaired by Giorgio Bacci (Aalborg University, Denmark) and Mickaël Randour (Université de Mons, Belgium) and the event…
Glóð.ai , one of the two EU-cofunded projects in which my colleague Anna Liebe l is involved, is opening a number of research opportunities in the area of AI and HPC. What follows is largely a copy-paste of text Anna wrote. Reykjavik University has 5 PhD/Postdoc positions open for applications. Some of them are purely at the Department of Computer Science, several will be co-supervised between our…
The 28th edition of the Estonian Winter School in Computer Science was held in the period 2-5 March in Viinistu , a small fishing village located on the coast of the Gulf of Finland. This edition of the school was organised by Cybernetica AS and the programme/organising committee included Peeter Laud (Cybernetica AS), Monika Perkmann (Tallinn University of Technology), Pille Pullonen-Raudvere…
It's the time of the year for the standard call for nominations for EATCS Awards. Today, I am reposting the call for nominations for the EATCS Distinguished Dissertation Award 2025. See below and here for details. Do spread the news and encourage worthy candidates to submit their theses for this accolade! ----------------------------- The EATCS establishes the Distinguished Dissertation Award to…
The call for nominations for EATCS Fellows 2026 is out and I copy-paste it below. On behalf of my colleagues in the Fellow Selection Committee 2026, I strongly encourage EATCS members to submit strong nominations. ----------------- EATCS Fellows 2026 - Call for Nominations Deadline: Saturday, 28 February 2026 The EATCS Fellows Program is established by the Association to recognize outstanding…
Computer Science Canada | Informatique Canada has announced the list of recipients of its awards for 2024. Members of the TCS community will be pleased to see that Faith Ellen (University of Toronto) is one of the recipients of the Lifetime Achievement Award 2024. Congratulations Faith! On a personal note, I am also delighted to see that Nicola Cotumaccio was selected for the Canadian Computer…
Marco Carbone has a PhD position at the IT University Copenhagen in the PROBABILIST project (PROBABILIstic Session Types), funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter. The project is in cooperation with Nobuko Yoshida at the University of Oxford. See here for details and encourage suitable students to apply for this exciting PhD position. Spread…
The Teaching Affairs Office at Reykjavik University is creating a video in which several faculty members answer some questions related to the principles that guide their pedagogical work. I am taking part in that enterprise and was asked to answer the four questions below. Here are the written versions of the answers I intended to give orally, as a note to myself and in case they are of interest…
If you do research on any of the topics covered by GandALF, do consider submitting a paper to the conference and making the trip to Malta in mid-September! Call for papers - GandALF 2025 The Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Valletta, Malta, 15-18 September 2025. Web page: https://gandalfsymposium. github.io/2025/ The aim of…
Recent discussions with some colleagues spurred me to read again Ran Canetti 's white paper on double-blind reviewing in IACR conferences . I also went back to a post by Boaz Barak and to its discussion thread , as well as to this post that motivated it. I was also reminded of the coverage of single- and double-blind reviewing in this chapter of the book "The Science of Science" (see, for…
Today, the ICE-TCS seminar series at Reykjavik University hosted a talk by Benjamin Moore (Institute of Science and Technology Austria) who is visiting our postdoctoral researcher Nicolaos Matsakis . Benjamin presented the main results in his paper "Smoothed analysis for graph isomorphism" , coauthored with his ISTA colleagues Michael Anastos and Matthew Kwan . (In passing, I just saw that Matthew…
Magnús Már Halldórsson , the director of ICE-TCS , was interviewed by the Communication Department at Reykjavik University to mark the 20th anniversary of ICE-TCS on April 29, 2025. The interview appeared last Friday on the Reykjavik University web site . In my biased opinion, Magnús hit all the right notes. I hope that some of our students and colleagues, as well as the staff at Icelandic funding…
On behalf of Dagstuhl Publishing , Michael Wagner has posted the highlights for 2024 . IMHO, the computer-science research community owes the team at Dagstuhl Publishing and Schloss Dagstuhl a lot for its sustained support of research and open-access publication activities. I encourage any readers I might have to read the highlights for 2024 and share them within their networks. This is the least…
I received the following announcement from my colleague Tarmo Uustalu . Spread the news of this excellent winter school for young researchers! The 2025 edition of the Estonian Winter School in Computer Science (EWSCS) will be held in Viinistu, Estonia, in the period 3-6 March 2025. Editions of EWSCS are general TCS schools with topics from both Theory A and B. EWSCS is a long-running series; the…
The Department of Computer Science at Reykjavik University invites applications for full-time, permanent faculty positions at any rank, in particular in the fields of data science, software engineering, theoretical computer science (see the ICE-TCS web page for information on our TCS group), as well as visual computing, games, and interactive media. The deadline for applications is January 30,…
At this time of the year, the Italian Chapter of the EATCS announces its awards. See here for the full list for 2024 and previous years. I am delighted to see that the selection committee for the Best Italian PhD Theses in Theoretical Computer Science 2024 has selected Nicola Cotumaccio (Gran Sasso Science Institute) for that award for his thesis " Data Compression Meets Automata Theory ", which…
The list of papers that were selected for presentation at GandALF 2024 is available at https://scool24.github.io/GandALF/ I am looking forward to listening to the presentations based on those articles and to the four invited talks by Bernd Finkbeiner (CISPA Helmholtz Center for Information Security), Kim Guldstrand Larsen (Aalborg University), Brigitte Pientka (McGill University) and Azalea Raad…
I hope that this call for expressions of interest for faculty positions in Computer Science at the Gran Sasso Science Institute (GSSI) will entice some of the readers of this blog to "express interest", possibly for a direct call. In my, admittedly biased, opinion, the GSSI and its Computer Science group offer motivated academics an excellent environment to achieve their career goals and carry out…
The Computer Science Department of the Gran Sasso Science institute (see https://gssi.it ), which has recently been ranked among the best computer science departments in the Italian research evaluation exercise, offers 10 fully-funded PhD scholarships in Computer Science. The scholarships include several other benefits, apart from the monthly salary. See below for details. Successful candidates…
GandALF 2024: Call for papers Abstract submission deadline: 7 April 2024 Paper submission deadline: 10 April 2024 Website: https://scool24.github.io/GandALF/ The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 24) will be held in Reykjavik (Iceland) on June 19-21, 2024. This year, GandALF is part of the Reykjavik Summer of Cool Logic 2024 (SCooL 2024)…
The call for nominations for EATCS Fellows 2024 is out. I strongly encourage members of the EATCS to submit nominations for some of the many members of the association who would deserve this recognition. The deadline for submitting your nominations is March 7, 2024 . The submission of a nomination is easy and lightweight, but it does require the writing of a strong letter of nomination (preferably…