Pages

▼
Tuesday, August 24, 2010

One year of Electronic Proceedings in Theoretical Computer Science (EPTCS)

›
Electronic Proceedings in Theoretical Computer Science (EPTCS) was launched by Rob van Glabbeek in 2009, as an initiative to have proceedi...
Thursday, August 19, 2010

Rolf Nevanlinna Prize to Daniel Spielman

›
Daniel Spielman   has been chosen for the 2010 Rolf Nevanlinna Prize for smoothed analysis of Linear Programming, algorithms for graph-base...
Wednesday, July 07, 2010

An interesting publication experiment in the logic-programming community

›
Krzysztof Apt has alerted me of the changes that have taken place in the Logic Programming community. The Association for Logic Programming...
4 comments:
Monday, July 05, 2010

Call for papers: ICALP 2011

›
The first call for papers for ICALP 2011 , which is presently being distributed at ICALP 2010 , is here . I hope that you will make plans ...
1 comment:
Tuesday, June 22, 2010

Organizing a conference with satellite events

›
Suresh asked me to expand on a comment I posted here , where I described my experience with the organization of ICALP 2008 in Reykjavik, w...
Wednesday, June 09, 2010

Gödel Prize 2010

›
I have not seen any official announcement yet, but, according to Wikipedia and to Theory Announcements (thanks to the anonymous commenter ...
3 comments:
Friday, May 28, 2010

Extended Deadlines for SOS 2010

›
I am co-chairing SOS 2010 , an affiliated workshop of CONCUR 2010, which will be held in Paris. You are still on time to submit a paper to t...
Thursday, May 27, 2010

My Workplace

›
Here are some views of my workplace and its environment. The two photos above picture the entrance to my "professorial work area...

First Presburger Award to Mikolaj Bojanczyk

›
The Presburger Award Committee, consisting of S. Leonardi, A. Tarlecki, and W. Thomas (chair) has chosen Mikolaj Bojanczyk as the first ...
Saturday, May 15, 2010

Fifth International Summer School on Rewriting

›
The 5th International School on Rewriting will be held in the period  July 3-8, 2010, in Utrecht, The Netherlands. The programme includes b...
1 comment:
Monday, May 10, 2010

School of Computer Science at RU on Twitter

›
The School of Computer Science at Reykjavik University , where I work, has made the step to advertise its events and news on Twitter. See he...
Thursday, May 06, 2010

ICE-TCS Logo

›
After five years of operation, ICE-TCS (our little research centre in TCS) finally has a logo, which you see displayed above in its full g...
1 comment:

LICS 2010 Test-of-time Award Winners

›
I just read an email announcing the papers selected for the 2010 LICS Test-of-Time Award . For the 2010 LICS Test-of-Time Award, all papers ...
Sunday, April 11, 2010

Typos, typos....

›
I always tell my students at all levels that there is no excuse for not spell checking one's writings. There are rather good spell-check...
2 comments:
Thursday, April 08, 2010

ICALP 2010: Accepted papers

›
The list of accepted papers for ICALP 2010 is out. Based on what I saw as a PC member for track B, the overall quality of the submissions w...
Tuesday, March 30, 2010

Journal Editors or Black Holes?

›
Sometimes journal editors (or referees) are observationally very similar to black holes. A paper is submitted, but no review escapes the for...
6 comments:
Saturday, March 27, 2010

What Are The Hot Research Areas in Concurrency Theory?

›
Yesterday Andrei Sabelfeld (Chalmers University of Technology, Sweden) visited ICE-TCS with Arnar Birgisson , a former master student of ...
Thursday, March 25, 2010

LICS 2010 Accepted Papers and Martin Grohe's Latest Opus

›
The list of accepted papers for LICS 2010 is out. As usual, the programme looks very interesting and exceedingly strong. For an intereste...
1 comment:
Monday, March 22, 2010

The loss of a giant: Robin Milner has passed away

›
I just read the following message from Gordon Plotkin. This is really sad news. I plan to post a more elaborate message soon, but we have lo...
1 comment:
Friday, March 19, 2010

SOS 2010

›
I am co-chairing SOS 2010 (Structural Operational Semantics 2010) with Pawel Sobocinski (Southampton). The call for papers has been posted...