Pages

▼
Sunday, December 24, 2006

Christmas Reading

›
Science magazine has chosen Perelman's proof of the Poincare Conjecture as breakthrough of the year for 2006. See this article by Dana ...
Friday, December 22, 2006

Sussex in 1987

›
Julian Rathke is moving from Brighton to Southampton, where he joins Vladimiro Sassone (another former member of the School of Informatics...
Monday, December 18, 2006

Being Head of Department: A New Experience

›
As of 1 January 2007, and for at least about eight months, I'll be the acting head of the CS department at Reykjavík University. Not sur...
Saturday, December 16, 2006

Research in Italy

›
Yesterday I travelled back to Reykjavík after a very short visit to Italy. During the trip back to the North Atlantic, I was reading La Repu...
Thursday, December 14, 2006

Zeilberger's 76th Opinion

›
Dr. Z strikes again. Read his 76th opinion , entitled Why P Does Not Equal NP and Why Humans Will Never Prove It by Themselves , and form...
Wednesday, December 13, 2006

Accepted Papers for FOSSACS 2007

›
The list of accepted papers for FOSSACS 2007 is now available. (Thanks to Jun Pang for the pointer.) The conference looks interesting, and...
Tuesday, December 12, 2006

Accepted Papers at ETAPS 2007

›
The list of accepted papers for TACAS 2007 is out, and so is the one for ESOP 2007 . TACAS accepted as many as 54 papers, and the list of ...
Monday, December 11, 2006

RIP (Research In Peace)

›
The Institut Mittag-Leffler has just celebrated its ninetieth birthday . It is a Nordic research institute for mathematics, ...
Friday, December 08, 2006

Characteristic Formulae for Timed Automata

›
The last installment of this series of three posts on characteristic formulae deals with characteristic formulae for behavioural equivalen...
Thursday, December 07, 2006

Number of Regions in a Timed Automaton

›
While working on the book Reactive Systems: Modelling, Specification and Verification , my co-authors and I were looking for a formula coun...
Tuesday, December 05, 2006

IFIP WG1.8 Workshop at CONCUR

›
The IFIP WG1.8 on Concurrency Theory will organize a strategic workshop at CONCUR 2007 . (The workshop proposal is below.) I'll post m...
Monday, December 04, 2006

Italian Success in Logic

›
I have just read an email message on the mailing list of the Italian Association for Logic and its Applications (AILA). The news is that Ma...

News from EATCS

›
The Call for Papers of ICALP 2007 has been published. I hope you will contribute to that success of that conference by submitting the best ...
Friday, December 01, 2006

A Google Talk by Luis von Ahn

›
If you have a few spare moments, look at this very interesting talk by Luis von Ahn : http://video.google.com /videoplay?docid=-824646398...
Thursday, November 30, 2006

Characteristic Formulae (continued)

›
In a previous post, I briefly discussed the notion of characteristic formula for a state in a labelled transition system using Hennessy-Mil...
Monday, November 27, 2006

Bulletin of the EATCS, October 2006

›
The October 2006 issue of the Bulletin of the EATCS is now available on line . This 90th volume of the Bulletin marks an important date in t...

Characteristic Formulae

›
A piece of classic concurrency theory that is perhaps not so well known as it deserves to be concerns the characterization of the equivalenc...
Friday, November 24, 2006

New Rector at Reykjavík University

›
The new rector of Reykjavík University was suddenly announced at 15:30 today by the chairman of the Board of Directors, Bjarni Ármannsson. T...
1 comment:
Monday, November 20, 2006

Predicting the Future

›
Last Friday, I read this article on La Repubblica , an Italian newspaper. The article discusses the special issue of the New Scientist tha...
Saturday, November 18, 2006

Spinoza

›
Last September I finished reading the book Betraying Spinoza: The Renegade Jew Who Gave us Modernity by Rebecca Goldstein . Reading that bo...