Pages

▼
Monday, November 12, 2012

Call for post-doctoral research positions at the Warsaw Center of Mathematics and Computer Science

›
I just received this call from Bartek Klin . Since it might be of interest to readers of this blog, I decided to post it. Warsaw is a hotbed...
Friday, November 09, 2012

Jean van Heijenoort: Kaleidoscope

›
Yesterday, an email message on the FOM mailing list alerted me to the availability of a special issue of the journal Logica Universalis in...
Wednesday, November 07, 2012

Guide for Application to Obtain an Italian National Scientific Qualification

›
The new recruiting process for  full and associate professor positions in Italian universities is based on a two phase process. Candidates ...
Friday, October 26, 2012

Call for nominations: Gödel Prize 2013

›
The Call for Nominations for the 2013 Gödel Prize has been posted ( pdf) . Nominations for the award should be submitted to the Chair of t...
2 comments:
Wednesday, October 24, 2012

John Cleese on creativity

›
Recently, I posted a link to a lecture on creativity in computer science by one of my PhD students. After having done so, I was struck by t...
1 comment:

Call for nominations: Presburger Award 2013

›
The call for nominations for the EATCS Presburger Award 2013 is out. The Presburger Award is given to a young scientist (in exceptional cas...
Tuesday, October 23, 2012

Call for nominations: EATCS Award 2013

›
The call for nominations for the EATCS Award 2013 is about to be published officially. However, you can already see it here . I hope that...
Friday, October 19, 2012

Lecture on creativity by one of my PhD students

›
Last week, Eugen-Ioan Goriac , who is a third-year PhD student of mine, delivered a lecture on creativity as part of the Research Methodolog...
1 comment:
Wednesday, October 17, 2012

The Feit-Thompson theorem checked in Coq!

›
The Feit-Thompson Theorem  is a key result in the theory of finite groups. Its original proof is 255 pages long and is perhaps the first ex...
Thursday, September 06, 2012

Invitation to becoming a member of the Italian Committees for professorships

›
The letter below will be sent to some mailing lists soon. I am posting it here since it is in the interests of the TCS community as a whole ...
3 comments:
Wednesday, August 15, 2012

Research Methodology in Computer Science

›
Our autumn semester starts on Monday and I will be teaching the Research Methodology course for master students in computer science and soft...
Thursday, July 26, 2012

CadiaPlayer GGP Champion Again!

›
I am proud to announce that the general-game-playing agent CadiaPlayer , developed at my own department by Yngvi Björnsson, Hilmar Finnsson,...
Tuesday, July 24, 2012

PhD positions at IMT Lucca (reprise)

›
I am happy to post a revised version of the call for PhD positions at IMT Lucca that I received today from Alberto Lluch Lafuente and Rocc...
Friday, July 20, 2012

Samson Abramsky discusses the legacy of Turing

›
Readers of this blog might be interested in this podcast by the Royal Society in which Samson Abramsky discusses the legacy of Turing. ...
Wednesday, July 18, 2012

Random thoughts on conference presentations

›
When giving an invited talk at a general TCS conference, do not assume that everyone in the audience is interested in the technicalities o...
Monday, July 16, 2012

ICALP 2012: Days 3-5

›
At long last, here are some of my notes from the main events that took place during the last three days of ICALP 2012. There were several ex...
2 comments:
Thursday, July 12, 2012

ICALP 2012: First two days

›
ICALP 2012 is taking place at the University of Warwick. The programme is action packed, with many highlights and prizes. There are three ...
Thursday, June 28, 2012

LICS Test-of-Time Awards 2012

›
Prakash Panangaden has informed me that the LICS Test-of-Time Award for 2012 has gone to the following two papers: Thomas A. Henzinger ,...
2 comments:
Thursday, June 07, 2012

PhD Positions at IMT Lucca

›
IMT Lucca has issued its call for applications for admission to the IMT Ph.D. Program beginning in January 2013. Readers of this blog (or...
Saturday, May 26, 2012

Best paper awards at ICALP 2012

›
The preliminary version of the detailed programme for ICALP 2012 is now available here . While skimming through the programme, I learnt that...