Pages

▼
Wednesday, May 28, 2008

CONCUR 2008: Accepted Papers

›
The list of accepted papers for CONCUR 2008 is now available here . There will be plenty of reading to do once the ICALP organization and th...
Tuesday, May 27, 2008

Change of Editor for the BEATCS

›
The June issue of the BEATCS will be the last issue with Vladimiro Sassone as editor of the Bulletin. Maria Jose Serna will take over fro...
Saturday, May 24, 2008

The Swan Song of SEN2 at CWI

›
This is a guest post from MohammadReza Mousavi on an event held yesterday at CWI to "celebrate" the demise of the project SEN2 at...
4 comments:
Monday, May 19, 2008

More on Reverse Age Discrimination in Italian Universities

›
A while back, I wrote a post spurred by a reading of the commentary Reverse Age Discrimination , written for Nature Physics by Francesco Syl...
6 comments:
Wednesday, May 14, 2008

Concurrency Column for the BEATCS: June 2008

›
I have just posted the Concurrency Column for the June 2008 issue of the BEATCS. It is an excellent survey paper entitled 20 Years of Moda...
Sunday, May 04, 2008

Interview to an Opinionated Mathematician

›
About a fortnight ago, I had to make a sudden trip and, as reading material, brought with me some print-outs that had been lying on my desk ...
1 comment:

ICALP 2008 Early Registration Deadline TOMORROW

›
The early registration deadline for ICALP 2008 is tomorrow. I strongly encourage you to register by May 5 at the latest to take advantage o...
Monday, April 28, 2008

Call for Nominations: The 2008 Edsger W. Dijkstra Prize in Distributed Computing

›
The call for nominations for the 2008 Edsger W. Dijkstra Prize in Distributed Computing is now out. See here . The prize is given for outsta...
Monday, April 21, 2008

Complete Scientific Programme for ICALP 2008

›
The scientific programme for ICALP 2008 is now available here . It looks like we are going to have a scientific feast, and hopefully many of...
2 comments:
Wednesday, April 16, 2008

ICALP 2008: Bird's Eye Programme

›
In case you are wondering what is going to happen at ICALP 2008 , and when, I encourage you to look at the skeleton of the conference progra...
Saturday, April 12, 2008

Look Who's Doping

›
The inimitable Dr. Z wrote in his April 1, 2008, opinion : But I strongly disagree with the unfortunate decision to forbid the use of any re...
3 comments:
Friday, April 11, 2008

Accepted Papers for ICALP 2008--Track C

›
The list of accepted papers for track C of ICALP 2008 is now available here . You can get an overview of all of the accepted papers from th...
Thursday, April 10, 2008

Terence Tao Receives NSF Award

›
The NSF has bestowed the Waterman Award to Terence Tao . (The press release is here .) The list of Tao's awards is already very long, ...
Wednesday, April 09, 2008

Accepted Papers for ICALP 2008, Track B

›
The list of accepted papers for track B of ICALP 2008 is now available . The list of accepted papers for ICALP Track A has been posted yes...
2 comments:
Sunday, April 06, 2008

Rankings of CS Departments in the USA

›
I learned from Mihai Patrascu's blog that the US News rankings for 2008 have been released. The rankings for computer science , for CS ...
Tuesday, April 01, 2008

The Equational Theory of Prebisimilarity over Basic CCS with Divergence

›
I recently posted the short paper Luca Aceto , Silvio Capobianco , Anna Ingolfsdottir and Bas Luttik . The Equational Theory of Prebisimil...
Saturday, March 29, 2008

February 2008 Issue of the BEATCS

›
Volume 94 of the Bulletin of the EATCS is now available on line, freely and to everybody as it should be. Of course, you should read the tw...
Friday, March 28, 2008

What is the Shortest PhD Thesis in TCS?

›
Gmail's webclips feature alerted me to the availability of Edmund Landau 's PhD thesis in English translation. The thesis is 13 pa...
7 comments:
Thursday, March 27, 2008

Abel Prize 2008

›
The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2008 to John Griggs Thompson , University of Florida an...
Wednesday, March 19, 2008

The Usefulness of Bisimilarity Checking in Practice

›
I am collecting information as well as opinions on the practical usefulness of bisimulation checking. I feel that there are disparate views...