2018-05-2 - 2018-05-26
9th International Workshop Weighted Automata: Theory and Applications
May 22-26, 2018, Leipzig, Germany
The workshop covers all aspects of weighted automata, ranging from the theory of weighted automata and quantitative logics to applications for real-time systems and natural language processing. The aim is to present tutorials and survey lectures by outstanding scientists in this area. We invite everybody to participate in this workshop without fee and to present their own technical contributions in this area.
We are happy to announce the following tutorials and survey lectures:
Tutorials
- Mikołaj Bojańczyk (Warsaw, Poland)
- Frank Drewes (Umeå, Sweden)
- Borja de Balle Pigem (Amazon, Cambridge, England)
Survey lectures
- Zoltán Fülöp (Szeged, Hungary)
- Paul Gastin (Cachan, France)
- Werner Kuich (Vienna, Austria)
- Kim Larsen (Aalborg, Denmark)
- Sebastian Maneth (Bremen, Germany)
- Benjamin Monmege (Marseille, France)
- Jacques Sakarovitch (Paris, France)
Call for Participation
Interested participants are most welcome. If you wish to present a technical contribution, please send an abstract (preferably of at most one page) by March 8, 2018 to "This email address is being protected from spambots. You need JavaScript enabled to view it.". These contributions do not count as publications; submission of relevant, already published or submitted results is allowed. Authors will be informed about acceptance of their submissions by March 22, 2018.
Call for Papers
There will be a special issue of "Information and Computation" on the topics of this workshop. Participation in WATA 2018 is encouraged, but is not a prerequisite for a submission. Submissions can be either original research papers or surveys. All submissions will be refereed according to the usual high journal standards. We intend to ensure a quick refereeing process. Details will be announced later.
Registration
There is no registration fee. The registration deadline is April 22, 2018. In order to register, please send your name, affiliation, e-mail address, intended length of participation to "This email address is being protected from spambots. You need JavaScript enabled to view it." and state if you want to attend the conference dinner (not for free) or not. There are limited resources to partially compensate the travel expenses of participating Ph.D. students, young scientists, and scientists from Eastern countries. Please, contact us at "This email address is being protected from spambots. You need JavaScript enabled to view it." by March 8, 2018 to give us enough time to make a fair decision.
Important Dates
| submission of abstracts: | March 8, 2018 |
| application for financial support: | March 8, 2018 |
| notification of acceptance: | March 22, 2018 |
| registration: | April 22, 2018 |
| workshop: | May 22-26, 2018 |
Accommodation
We kindly ask participants to book rooms by themselves. We have reserved a limited number of rooms, keyword "WATA 2018", in the city center and close to the main train station for the participants of WATA 2018. However, all our reservations expire unless confirmed by the guest, so please note the expiration dates.
Intercity Hotel Leipzig (reserved until 26th March 2018)
Tröndlinring, 04105 Leipzig
Single and double rooms cost 85 and 105 euros per night, respectively, including breakfast. You can book these rooms by sending an email to "This email address is being protected from spambots. You need JavaScript enabled to view it."; please mention the keyword "WATA 2018" to utilize the special rates. Cancellation is possible free of charge before 6pm on the day of arrival.
Hotel Ibis/Hotel Ibis budget (reserved until 28th February 2018)
Reichsstraße 17/19, 04109 Leipzig
Single rooms cost about 90 (regular) or 60 (budget) euros per night and include breakfast. The booking form is available on the website.
It would be very nice if we could welcome you in Leipzig soon!
Further Information
http://www.informatik.uni-leipzig.de/wata2018/
Organizers
- Manfred Droste (Universität Leipzig)
- Andreas Maletti (Universität Leipzig)
- Heiko Vogler (Technische Universität Dresden)
Supported by
DFG Graduiertenkolleg "Quantitative Logics and Automata"
Research Academy Leipzig
2015-05-31 — 2015-06-03
9th Joint Workshop of the German Research Training Groups in Computer Science
Schloss Dagstuhl, Germany
PhD students of the DFG Research Training Groups (RTGs) and other doctoral student programs in computer science have been meeting annually for networking and knowledge exchange purposes in Dagstuhl (Leibniz-Zentrum für Informatik) since 2007. Since the participating RTGs come from different scientific areas, ranging from mechanical engineering / robotics to various orientations of computer science, including chairs for theoretical and practical computer science, the emphasis of the workshop will remain interdisciplinary. The workshop at Dagstuhl aims to promote new collaborations among the participants from different RTGs, and to help build and reinforce new and existing networks.
In detail, based on previous years’ experience, this workshop facilitates participants in aiming for the following key goals:
- Brief overview and trends of current research landscape in RTGs as provided by the participants in poster fast-forward sessions
- Intensive scientific exchange of ideas about new research topics and corresponding results at an interdisciplinary level during poster sessions
- Initiation of cooperative research activities on related topics
- Providing a forum for strengthening and improving presentation skills (presentations on own research topics, receiving feedback from other participants, presenting information clearly and effectively in short time)
- Acquisition and deepening of knowledge about feasible variants and paths to a scientific career in Germany (graduate programs, projects acquisition, etc.)
- Opportunity for postgraduates to establish contacts with potential second and third external reviewers for dissertations
- Broader overview of state-of-the-art research topics given by guest lecturers
Proceedings
Invited Speakers
- Prof. Dr. rer. nat. Dr. techn. hc. Dr.-Ing. E.h. Thomas Ertl - “The Joy of Visualziation”
- Prof. Dr. rer. nat. habil. Wolfgang Reisig - “Informatics as a scientific discipline and as a University Degree program: How it started”
- Dr. Christian Rossow - “Analyzing and Detecting Malicious Software”
Organizers
- Parvaneh Babari (Universität Leipzig, DE)
- Claudia Carapelle (Technische Universität Dresden)
- Sergiu Dotenco (Universität Erlangen-Nürnberg, DE)
- Rainer Müller (Universität Erlangen-Nürnberg, DE)
- Marc Stamminger (Universität Erlangen-Nürnberg, DE)
- Anna Yupatova (Universität Erlangen-Nürnberg, DE)
2014-05-05 — 2014-05-09
7th International Workshop Weighted Automata: Theory and Applications
WATA 2014
May 5-9, 2014, Leipzig, Germany
The workshop should cover all aspects of weighted automata, ranging from the theory of quantitative automata and logics to applications for real-time systems and natural language processing. The aim is to present tutorials and survey lectures by outstanding scientists in this area. Moreover, we encourage everybody to participate in this workshop and to present their own technical contribution in this area.
We are happy to announce the following tutorials and survey lectures:
Tutorials
- Colin de la Higuera (Nantes)
- Jacques Sakarovitch (Paris)
Survey lectures
- Laurent Doyen (Cachan)
- Zoltán Ésik (Szeged)
- Zoltán Fülöp (Szeged)
- Paul Gastin (Cachan)
- Ricard Gavaldà (Barcelona)
- Kim G. Larsen (Aalborg)
- Andreas Maletti (Stuttgart)
- James Worrell (Oxford)
Call for Participation
Interested participants are most welcome. If you wish to present a technical contribution, please send us an abstract (preferably of at most one page) until March 7. Authors will be informed about acceptance of their submission before March 22, 2014.
Registration
Interested participants are most welcome. There is no registration fee. In order to register, please send your name, affiliation, e-mail, intended length of participation until April 4 to
droste at informatik.uni-leipzig.de
and state if you want to participate in the conference dinner (not free) or not.
Important Dates
| submission of abstracts | March 7, 2014 |
| notification of acceptance | March 22, 2014 |
| registration | April 4, 2014 |
| workshop | May 5-9, 2014 |
Accommodation
We have pre-reserved for WATA participants a limited number of hotel rooms for special prices until a certain date; first come, first serve. Because of fairs in Leipzig, we recommend that you book early.
Further information:
http://www.informatik.uni-leipzig.de/~weidner/wata2014/
In the appendix you can find this announcement as a poster. We would be thankful if you could distribute it in your group or to interested colleagues.
It would be very nice if we could welcome you in Leipzig!
Organizers
- Manfred Droste (Universität Leipzig)
- Heiko Vogler (Technische Universität Dresden)
Supported by
DFG Graduiertenkolleg "Quantitative Logics and Automata"
Research Academy Leipzig
2012-05-09
Pre-QuantLA Workshop on Quantitative Automata and Logic.
See here for the programme.
Our invited speaker was: Moshe Y. Vardi from Rice University
