6th International Conference on Algebraic Informatics (CAI 2015)
September 1–4, 2015 — Stuttgart, Germany
Now open: REGISTRATION • Invited speakers • Accepted papers • Program • Detailed program (PDF)
Important dates • Program committee • Steering committee • Local organizing committee
Practical information: How to get there and how to get around • Where to stay
CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas. In 2015 it will feature invited presentations and a selective single-track program of contributed papers describing original and unpublished research. The proceedings of CAI 2015 will be published in the Lecture Notes in Computer Science (LNCS) series by Springer.
Registration
- email: cai2015@ims.uni-stuttgart.de
- FAX: +49 711 685-81366
Registration fee in EUR | Early | Late |
Student | 250 | 300 |
Full (PhD holders) | 300 | 350 |
Early registration deadline: June 26, 2015
To be eligible for the early registration rate, please fill this form and transfer the registration fee before the early registration deadline expires.
Invited speakers
- Volker Diekert (Universität Stuttgart, Germany): More Than 1700 Years of Word Equations
- Jarkko Kari (University of Turku, Finland): An Algebraic Geometric Approach to Multidimensional Words
- Werner Kuich (Vienna University of Technology, Austria): Why We Need Semirings in Automata Theory
- Mehryar Mohri (New York University, NY, USA): Learning Weighted Automata
Accepted papers
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage
- Equivalence checking problem for finite state transducers over semigroups
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics
- Effective Invariant Theory of Permutation Groups using Representation Theory
- A New Partial Key Exposure Attack on Multi-Power RSA
- On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions
- Weighted Restarting Automata and Pushdown Relations
- Key-Policy Multi-Authority Attribute-Based Encryption
- Attacking BEAR and LION schemes in a realistic scenario
- Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree
- Complexity of Uniform Membership of Context-Free Tree Grammars
- On near prime-order elliptic curves with small embedding degrees
- On differential uniformity of maps that may hide an algebraic trapdoor
- EF+EX Forest Algebras
- Unbordered Pictures: Properties and Construction
Tentative program
Detailed program (PDF download)Tue, Sep. 1 | Wed, Sep. 2 | Thu, Sep. 3 | Fri, Sep. 4 | |
---|---|---|---|---|
09:30-10:00 | Kuich | Kari | Diekert | |
10:00-10:30 | ||||
10:30-11:00 | break | break | break | |
11:00-11:30 | Herrmann, Vogler | Zakharov | Borie | |
11:30-12:00 | Droste, Heusel, Vogler | Osterholzer | Calderini, Sala | |
12:00-12:30 | Wang, Hundeshagen, Otto | Anselmo, Giammarresi, Madonia | Krebs, Straubing | |
12:30-13:00 | lunch | lunch | lunch | |
13:00-13:30 | ||||
13:30-14:00 | ||||
14:00-14:30 | opening | Esgin, Uzunkol, Kiraz | Excursion | |
14:30-15:00 | Mohri | Longo, Marcolla, Sala | ||
15:00-15:30 | Pizzato, Sala, Piva | |||
15:30-16:00 | break | break | ||
16:00-16:30 | Le, El Mbrabet, Tan | business | ||
16:30-17:00 | Dalai | |||
17:00-17:30 | Miyaji, Tanaka | |||
Topics
Typical contributions to CAI come from the following areas of interest (ordered alphabetically). Papers covering other areas will be given due consideration by the program committee. Papers describing original R&D solutions in those areas are also welcome.
- abstract machines or systems
- acceptors and transducers for discrete structures
- algebraic aspects of cryptography
- algebraic characterization of logical theories
- algebraic coding theory
- algebraic semantics
- algebraic specifications and algorithms
- computational number theory
- decision problems
- finite and infinite computations
- formal power series
- hybrid automata
- process algebra
- program construction and refinements
- term rewriting
Submission
We invite all authors to submit their papers (in PDF format) presenting original research work on the topics covered by the conference, electronically via EasyChair to
https://easychair.org/conferences/?conf=cai2015
Submissions should be formatted according to the usual LNCS article style and should not exceed 12 pages (including all references). If additional space is needed, a clearly marked appendix can be added. The appendix will not be published, so the merit and results of the contribution should also be understandable without it.
Simultaneous submission to other conferences with published proceedings is not allowed.
Important dates
- Submission deadline:
April 27, 2015Monday, May 4, 2015 at 11:59pm PDT (UTC -7h) - Notification: May 29, 2015
- Final version: June 15, 2015
- Early registration: June 26, 2015
- Conference: September 1–4, 2015
Program committee
- Symeon Bozapalidis (Aristotle University of Thessaloniki, Greece)
- Bruno Courcelle (University of Bordeaux, France)
- Frank Drewes (Umea University, Sweden)
- Manfred Droste (Universität Leipzig, Germany)
- Zoltán Ésik (University of Szeged, Hungary)
- Tero Harju (University of Turku, Finland)
- Gregory Kucherov (University Paris-Est, Marne-la-Vallée, France)
- Andreas Maletti (Universität Stuttgart, Germany)
- Traian Muntean (Aix-Marseille Université, France)
- Alexander Okhotin (University of Turku, Finland)
- Friedrich Otto (Universität Kassel, Germany)
- Jean Eric Pin (CNRS & Université Paris 7, France)
- George Rahonis (Aristotle University of Thessaloniki, Greece)
- Robert Rolland (Aix-Marseille Université, France)
- Kai Salomaa (Queen's University, Kingston, ON, Canada)
- Heiko Vogler (Technische Universität Dresden, Germany)
- Mikhail Volkov (Ural Federal University, Yekaterinburg, Russia)
- Franz Winkler (J. Kepler Universität, Linz, Austria)
Steering committee
- Symeon Bozapalidis (Aristotle University of Thessaloniki, Greece)
- Zoltán Ésik (University of Szeged, Hungary)
- Werner Kuich (Technische Universität Wien, Vienna, Austria)
- Arto Salomaa (University of Turku, Finland)
Local organizing committee
- Fabienne Braune
- Andreas Maletti
- Sabrina Mayer
- Daniel Quernheim
- Nina Seemann
How to get there
- By airplane: Stuttgart is very conveniently reached via Stuttgart-Echterdingen Airport (STR). Other nearby airports include Frankfurt (FRA), a major hub, and Karlsruhe/Baden-Baden (FKB), served by low-cost carriers. Some airlines offer combined plane/train tickets; if you have a connection via FRA, please consult your airline whether the FRA-STR segment is actually a train (in which case you need to collect your luggage in FRA).
- By train: Stuttgart is connected by train to all major cities in Germany, as well as many European destinations, such as Paris, Amsterdam, Vienna and Budapest.
How to get around
- CAI will take place at the University of Stuttgart's Vaihingen campus. The campus is conveniently reached by commuter trains (S-Bahn). All S1, S2 and S3 trains serve the "Universität" station as well as all downtown Stuttgart; in addition, S2 and S3 also serve the airport.
- From Stuttgart Airport ("Flughafen/Messe"), take the S2 or S3 trains towards Stuttgart Hbf (main station) to get to the conference venue ("Universität") and most hotels (see below).
- From Stuttgart downtown / main station, take the S1, S2, or S3 trains (towards Herrenberg, Filderstadt, Airport or Vaihingen) to get to the conference venue ("Universität").
-
Fares are determined using a zone system:
- Airport-CAI: 2 zones (16 minutes)
- Airport-Downtown: 3 zones (25 minutes)
- Downtown-CAI: 2 zones (9 minutes)
Tickets for individual use, multi-trip tickets, and day passes can be purchased from vending machines. Some hotels sell multi-day or week passes.
Please refer to the public transportation travel planner to plan your trip.
Campus information
Where to stay
public transit | remarks | |
---|---|---|
< 50 EUR/night | ||
Jugendherberge Stuttgart | Eugensplatz (30 min.) | very basic, dormitories and private rooms; transfer or 15 min. walk required |
ibis budget | Maybachstr. (30 min.) | Transfer required |
Hotel Lamm | Mineralbäder (30 min.) | Transfer required |
50–80 EUR/night | ||
Römerhof | (almost) on campus, 10 min. walk | |
Commundo | on campus | Mention that you're attending a conference to get good rates |
Mercure | Hauptbahnhof (10 min.) | |
Hansa/Astoria | Feuersee/Stadtmitte (7-9 min.) | these belong together |
Motel One | Feuerbach (20 min.) / Hauptbahnhof (10 min.) | Feuerbach is cheaper, but requires a transfer |
Wyndham Airport | Airport (16 min.) | Conveniently located at the airport |
> 80 EUR/night | ||
Pullman | Vaihingen (5 min.) | |
Steigenberger | Hauptbahnhof (10 min.) | |
InterCity Hotel | Hauptbahnhof (10 min.) |