Pages

▼
Tuesday, November 02, 2010

Springer's LNCS

›
Over the last few days, I have been exchanging emails with the chief librarian at my university to find out how much Springer charges us for...
2 comments:
Friday, October 29, 2010

Call for nominations for EATCS awards

›
The calls for nominations for the EATCS Award, the Presburger Award and the Gödel Prize for 2011 are now out. See here for details. The dea...
Wednesday, October 20, 2010

Postdoctoral position at Reykjavik University

›
Processes and Modal Logics School of Computer Science, Reykjavik University One postdoctoral position Applications are invited for ...
Wednesday, October 06, 2010

LICS 2011 Test-of-Time Award Nominations

›
The LICS Test-of-Time Award recognizes a small number of papers from the LICS proceedings from 20 years prior that have best met the "t...
Wednesday, September 29, 2010

Call for Papers for FSEN 2011

›
I have been asked to distribute this call for papers. Consider submitting to FSEN 2011, thereby supporting a young, good-quality conference ...
Tuesday, September 21, 2010

CNRS Bronze Medal to Thomas Colcombet

›
Thomas Colcombet of LIAFA, Université Paris Diderot - Paris 7, has been awarded a CNRS bronze medal. See  here for the full list of awarde...
Thursday, September 09, 2010

SOS 2010

›
On August 30, Pawel Sobocinski and I co-chaired SOS 2010 , an affiliated workshop of CONCUR 2010. The workshop programme was interesting an...
Wednesday, September 08, 2010

A Selection of Papers from CONCUR 2010

›
As I have already mentioned in earlier posts, I enjoyed a lot of talks in the programme for CONCUR 2010 . Here are just a few highlights, wi...
Tuesday, September 07, 2010

Milner Session at CONCUR 2010

›
During CONCUR 2010 , the concurrency-theory community paid a small tribute to Robin Milner by dedicating a session of its flagship conferen...
Monday, September 06, 2010

A Thought Experiment

›
Suppose that a top-class conference to which you usually submit your papers decide to publish its proceedings in an electronic open-access o...
5 comments:
Sunday, September 05, 2010

CONCUR 2010

›
From August 30 till the very early hours of September 3, I was in Paris to co-chair SOS 2010 and attend CONCUR 2010 . It is always a pleasur...
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 ...