According to the organizers, ICALP/LICS 2015 had 400 early registrations and there were 200 people who attended the pre-conference workshops.The plenary invited talks by Ken-ichi Kawarabayashi (NII, Japan) and Luke Ong (University of Oxford, UK) were delivered to a packed room and were both excellent.
Ken-ichi's talk was entitled Digraphs Structures: Minors and Algorithms and presented his joint work with Stephan Kreutzer on extending results on minors from graphs to digraphs. (See this paper in particular.)
Luke's talk was devoted to Higher-Order Model Checking: An Overview. Higher-order model checking is about checking whether trees generated by recursion schemes satisfy formulae that can be expressed in some kind of logic, such as Monadic Second Order logic. In his talk, Luke surveyed the considerable progress on this problem in both theory and practice that has been made over the past fifteen years or so.
There were lots interesting talks in the conference programs as well as two sessions devoted to the best paper award recipients.
The busy day ended socially on a high note with an excellent welcome reception.
Looking at the future, I am pleased to inform you that the invited speakers for ICALP 2016 will be
- Subhash Khot (New York, USA),
- Marta Z. Kwiatkowska (Oxford, UK),
- Xavier Leroy (INRIA, France) and
- Devavrat Shah (MIT, USA)
.
2 comments:
Be curious to see if there is any discussion of the strict submission requirements at the business meeting.
The PC chair for Track A mentioned the number of papers that were rejected without refereeing, but this raised no real discussion at the general assembly/business meeting.
The EATCS Council discussed the issue during its meeting in Kyoto and we will work together with the PC chairs for ICALP 2016 to draft some guidelines that are agreeable to their PCs and them. The move to LIPIcs may allow us to be a little more flexible.
The submission requirements for ICALP 2016 will be available in the autumn. .
Post a Comment