The 40th International Colloquium on Automata, Languages and Programming (ICALP), the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), took place from the 8th to the 12th of July 2013 in Riga, Latvia.

The main conference has been preceded by a series of workshops, taking place on Sunday, July 7th, 2013 (i.e., one day before ICALP).

Proceedings

ICALP proceedings will be published in the Springer-Verlag ARCoSS (Advanced Research in Computing and Software Science) subseries of LNCS (Lecture Notes in Computer Science).

Sponsors

 

EATCS lecture

There will be an EATCS lecture on the occasion of the 40th ICALP given by Jon Kleinberg (Cornell University) on "Algorithms, Networks, and Social Phenomena".

Jon Kleinberg is an American computer scientist and the University Professor of Computer Science at Cornell University known for his work in algorithms and networks.

Kleinberg research focuses on issues at the interface of networks and information, with an emphasis on the social and information networks that underpin the Web and other on-line media.

Kleinberg is best known for his work on networks and particularly for his HITS algorithm, also for his work on algorithmic aspects of the small world experiment.

Abstract of invited talk:
We consider the development of computational models for systems involving social networks and large human audiences. In particular, we focus on the spread of information and behavior through such systems, and the ways in which these processes are a ffected by the underlying network structure.

EATCS General Assembly 10 July 2013 (18:30)

Note

The General Assembly of the EATCS will start after the excursion. At the end of the excursion, everybody will be delivered to the main building and of fered a snack for participating in the General Assembly.

Schedule

  1. Reports on ICALP 2013
  2. Award of the best student papers
  3. Report on the organization of ICALP 2014 (Philip Bille)
  4. Proposal for ICALP 2015 for approval by the General Assembly (Kazuo Iwama)
  5. 5. Orna Kupferman. The Challenge Facing Women in Academia.
  6. Reports from the president, the treasurer and the secretary
  7. Any Other Business

 

Honorary Degrees

University of Latvia will award Honorary Doctoral degree to two distinct computer scientists:

  • prof. Juris Hartmanis (born in Riga). He is a prominent computer scientist and computational theorist who received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory". At Cornell University in 1965, he was one of founders and the first chairman of its computer science department (which was one of the first computer science departments in the world).
  • prof. Jozef Gruska (Czech Republic). For development of Computer Science field in Eastern Europe. He is an expert in Theoretical Informatics (Book "Foundations in computing", Thomson Learning, 730 pages, 1997) and Quantum Information Processing (Book "Quantum computing", Mcgraw Hill Book, 430 pages, 1999). Over 150 publications.

Both professors will give a short talk during the Award Ceremony.

EATCS Awards

EACTS will award two scientific awards.

2013 EATCS Presburger Award:    Erik Demaine (MIT, USA)

Erik Demaine, born in 1981, has made outstanding contributions in several fields of algorithms, namely computational geometry, data structures, graph algorithms and recreational algorithms. In computational geometry and data structures he has solved or made significant progress on classic problems such as the carpenter’s rule problem, the hinged-dissection problem, the prefix-sum problem, and the dynamic optimality conjecture. In graph algorithms he used the powerful theory of graph minors to develop a suite of algorithms for approximately solving a general family of intractable problems. He also started the new field of computational origami, where his book is the leading authority in the field. His work has shown promising applications to computer graphics, sensor networks, molecular biology, programmable matter, and manufacturing and engineering.

2013 EATCS Award:   Martin Dyer (University of Leeds, UK)

Martin Dyer’s scientific contributions span a wide range of topics within Theoretical Computer Science, including the following.

  • Pioneering the development of linear-time algorithms for linear programming in a fixed number of dimensions.
  • Developing probabilistic analysis of algorithms.
  • Discovering the first polynomial-time algorithm for estimating the volume of a high-dimensional convex body.
  • Introducing the elegant and useful path-coupling technique for bounding the mixing time of Markov chains.
  • Discovering fast algorithms for approximate counting.
  • Classifying the complexity of counting problems. 

 

The main conference will be preceded by a series of workshops, taking place on Sunday 7 July 2013 (i.e., one day before ICALP2013).

List of workshops

  •   Workshop on Automata, Logic, Formal languages, and Algebra (ALFA'13)
  •   International Workshop on Approximation, Parameterized and EXact algorithms (APEX 2013)
  •   Quantitative Models: Expressiveness and Analysis. Canceled due to technical reasons!
  •   Foundations of Network Science (FONES)
  •   Learning Theory and Complexity
  •   7th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2013). Canceled due to technical reasons!
  •   Workshop on Quantum and Classical Complexity

Bus excursion (Wednesday, July 10th)


13:30 departure from University of Latvia


1. Riga sightseeing by bus: showing the most important historical landmarks of the center of the city, including The monument of Freedom, Town hall square and Art-Nouveau buildings.

(Bus tour with guide + small walks to major sites)

Riga has been named a UNESCO World Heritage Site thanks to the collection of Art-Nouveau buildings that is one of the largest in the world, as well as a city in whose architecture the entire history from 1201 to the present day is reflected.


2. The main exhibition of Riga Motor Museum: dedicated to the historical development of cars, motorbikes and bicycles over the first century of its mass production from the last decade of 19th to the end of 20th century.

(Guided tour + time for exploring on your own)


3. Museum of the River Daugava: represents an unique history of culture on it’s banks, starting from 8000 BC till nowadays. The building of the Museum is a former dwelling house of the Dole estate, and it was constructed in 1898.

(Guided tour of manor and park + time to explore park + quick snack)

EATCS General Assembly

The General Assembly of the EATCS will start after the excursion.

At the end of the excursion, everybody will be delivered to the main building and off ered a snack for participating in the General Assembly.