Pages

▼
Thursday, December 29, 2022

Computer Science and Mathematics at the GSSI named "Excellent Department"

›
The Computer Science and the Mathematics groups at the Gran Sasso Science Institute (GSSI) have been selected amongst the " excellen...
Friday, December 09, 2022

Report on the formative research evaluation of the Department of Computer Science at Reykjavik University

›
I am pleased to share with you the report I received yesterday from the panel that carried out a formative research evaluation review for t...
Monday, November 28, 2022

The World Dynamics Project

›
Our colleagues Pierluigi Crescenzi , Emanuele Natale and Paulo Bruno Serafim have been doing some work on what they call the World Dynamics...
2 comments:
Saturday, November 12, 2022

Two faculty positions in Computer Science at Reykjavik University

›
My department has advertised two full-time, permanent faculty positions at any rank . Theoretical Computer Science is not the department...
Monday, September 19, 2022

Dean of the School of Technology at Reykjavik University: Call for applications

›
Reykjavik University is looking for a new dean of the School of Technology, which comprises the Department of Applied Engineering, the Depar...
Wednesday, August 10, 2022

CONCUR through time: A data- and graph-mining analysis

›
The 33rd edition of the International Conference on Concurrency Theory (CONCUR ) will be held in Warsaw, Poland, in the period 16–19 Septemb...
Tuesday, August 09, 2022

Interview with Franck Cassez and Kim G. Larsen, CONCUR 2022 ToT Award Recipients

›
This post is devoted to an interview with Kim G. Larsen , who received the CONCUR 2022 Test-of-Time Award for the paper The Impressive Powe...
Friday, July 29, 2022

Davide Sangiorgi's Interview with James Leifer, CONCUR 2022 ToT Award Recipient

›
I am pleased to post Davide Sangiorgi 's interview with CONCUR 2022 Test-of-Time Award recipient James Leifer , who will receive the aw...
Tuesday, July 05, 2022

ICALP and the EATCS turn 50

›
These days, our colleagues at IRIF are hosting ICALP 2022 in Paris. This is the 49th edition of the ICALP conference, which turns 50 since ...
Tuesday, June 21, 2022

Interview with Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar and Mariëlle Stoelinga, CONCUR 2022 ToT Award Recipients

›
In this instalment of the Process Algebra Diary, Mickael Randour and I joined forces to interview Luca de Alfaro , Marco Faella , Thomas A....
Monday, May 30, 2022

Orna Kupferman's Interview with Christel Baier, Holger Hermanns and Joost-Pieter Katoen, CONCUR 2022 ToT Award Recipients

›
I am delighted to post Orna Kupferman 's interview with CONCUR 2022 Test-of-Time Award recipients Christel Baier , Holger Hermanns and...
Friday, May 06, 2022

HALG 2022: Call for participation

›
I am posting this call for participation on behalf of Keren Censor-Hillel, PC chair for HALG 2022. I expect that many colleagues from the T...
Saturday, March 12, 2022

FOCS 2021 Test-of-Time Award winners (and one deserving paper that missed out)

›
As members of the TCS community will most likely know, FOCS established Test-of-Time Awards from its 2021 edition to celebrate contributio...
Sunday, March 06, 2022

HALG 2022: Call For Submissions of Short Contributed Presentations

›
On behalf of Keren Censor-Hillel , PC chair for HALG 2022, I am happy to post the call for submissions of short contributed presentations...
Friday, March 04, 2022

Combinatorial Exploration: An algorithmic framework to automate the proof of results in combinatorics

›
Are you interested in combinatorial mathematics? If so, I am happy to welcome you to the future!  I am proud to share with you a new, 99-pag...
Wednesday, December 15, 2021

Call for Invited Talk Nominations: 7th Highlights of Algorithms conference (HALG 2022)

›
On behalf of Keren Censor-Hillel , PC chair for HALG 2022, I am happy to post the call for invited talk nominations for that event. I enco...
Tuesday, December 14, 2021

Faculty positions in Computer Science at Reykjavik University

›
The Department of Computer Science at Reykjavik University invites applications for full-time, permanent faculty positions at any rank in...

Near-Optimal Distributed Degree+1 Colouring

›
If you are interested in graph colouring, and specifically in distributed algorithms for that classic problem, I strongly recommend the rece...
Saturday, December 04, 2021

TheoretiCS: A new open-access journal in Theoretical Computer Science

›
I am delighted to share with all the readers of this blog the news of the launch of TheoretiCS , a new, top-quality, open-access journal d...