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 yesterday evening, and already a few blogs have pointed to it. See the Complexity Weblog, David Eppstein, and Michael Mitzenmacher. It seems to me that the PCs for the ICALP tracks have faced some very hard choices this year since the quality of the submissions was very high.

I'll post the list of accepted papers for track C when it becomes available.

2 comments:

Anonymous said...

Detlef Kähler and Thomas Wilke. Complementation, Disambiguation, and Determinization of Büchi Automata Unified

is in TRACK A but probably should have been in TRACK B

Luca Aceto said...

is in TRACK A but probably should have been in TRACK B

Well, Track A is on Algorithms, Automata, Complexity and Games, so the paper

Detlef Kähler and Thomas Wilke. "Complementation, Disambiguation, and Determinization of Büchi Automata Unified"

fits that heading perfectly. It could also have been submitted to Track B since Büchi automata play a key role in several aspects of Logic, Semantics, and Theory of Programming---as do games and algorithms and complexity considerations.

I think that the boundaries between the tracks can only be drawn on a paper by paper basis, really. Moreover, different PCs would draw the lines differently.