DOCSLIB.ORG

Annual Report 2016/2017

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Annual Report 2016/2017 Annual Report 2016/2017 Contents 5 About VCLA 6 In Memoriam 7 Organization 8 Activities 8 Conference: ALGO 2017 Congress on Algorithms 11 Summer School: Parameterized Complexity Summer School (PCSS) 12 Workshop: New Trends in Formal Argumentation 13 LogicLounge: Fabiana Zollo 14 Summer School: LAIVe 2017 15 Distinction: Helmut Veith Stipend Award Ceremony 16 Cooperation: Logical Methods in Computer Science 17 Invited Speakers and Visitors 18 Media Coverage 20 VCLA Chairs 2014-2017 21 VCLA Chairs since 2018 23 Organization since 2018 About VCLA The Vienna Center for Logic and The Center aims to promote interna- Algorithms (VCLA) is a globally unique tional scientific collaboration in logic competence center in the field of logic and algorithms and to communicate and algorithm research. It was found- Austria’s excellence in these two areas ed in September 2011 and officially of computer science research, using a opened in January 2012 in the pres- variety of channels. ence of the rector of the Technische Universität Wien (TU Wien) Sabine These objectives are realized through Seidler and Turing Award laureate activities such as: Edmund M. Clarke. • the VCLA International Student Awards for Outstanding Theses The Center was founded by Stefan • the LogicLounge Szeider and Helmut Veith and led by • the VCLA Workshop Series both until Helmut Veith passed away • the VCLA Schools, a series of in March 2016. winter and summer schools In December 2017, Agata Ciabattoni • the VCLA Visitor Program became the new elected co-chair, and • the hosting of talks by renowned the VCLA board structure changed. The international speakers, and changes are presented at the end of • the co-organisation of events this report. The VCLA was funded by TU Wien for its first four-year period and will continue to be funded for another four years in association with the Doctoral College Logical Methods in Computer Science (LogiCS). 5 In Memoriam VCLA co-chair Helmut Veith (1971- 2016) passed away in tragic circum- stances on March 12, 2016. Accompanying the rebirth of the Aus- trian logic scene his marking of the field, space, and time is further on aug- mented by the students who he men- tored, and by his visionary activities of building bridges between the comput- er science expert and the layman. Helmut studied Computational Log- ic at TU Wien, a studium irregulare with a curriculum he designed him- self, together with Richard Zach. After appointments at TU Munich and TU Darmstadt, he returned to TU Wien for Photo (c) Philipp Horak (c) Photo a full professorship in Computer Aided highest academic distinctions in Eu- Verification. rope - for his project HYDRA (Har-ness- Helmut’s passion for logic led him to ing Model Checking for Distribut¬ed establish not only the Vienna Center Algorithms). for Logic and Algorithms with Stefan In honor of Helmut´s advocacy for Szeider, but also to bring the largest women in computer science, the TU logic conference in history to Austria Wien, the Wolfgang Pauli Institute, and - the Vienna Summer of Logic. Helmut Helmut´s friends and colleagues fund served as the speaker of the Doctoral the Helmut Veith Stipend for Female College Logical Methods in Computer Master´s Students. Science and as the deputy coordinator of the National Research Network Rig- Memorial site with his achievements in orous Systems Engineering (RiSE). academia and beyond: Posthumously, Helmut was awarded http://www.vcla.at/2016/03/ the ERC Advanced Grant - one of the helmut-veith-1971-2016 6 Organization The VCLA is managed by a local board in collaboration with an international advisory board. The local board is responsible for day-to-day management and consults with the advisory board about strategic decisions. The following is the organisational structure from the 2016/2017 reporting period. Since January 2018 the VCLA board has a new structure which is presented at the end of this report. Board Advisory Board Thomas Eiter Matthias Baaz (TU Wien) Georg Gottlob Roderick Bloem (TU Graz) Alexander Leitsch Agata Ciabattoni (TU Wien) Reinhard Pichler Nadia Creignou Stefan Szeider (co-chair) (Université d‘Aix-Marseille) Helmut Veith † (co-chair) Anuj Dawar (University of Cambridge) Fedor Fomin (University of Bergen) Laura Kovács (TU Wien) Public Relations and Project Miroslaw Truszczynski Management (University of Kentucky) Mihaela Rozman Moshe Y. Vardi (Rice University) Logic and Algorithms Groups The Center is hosted by five research Collaborations groups at the Faculty of Informatics: The VCLA frequently collaborates with • Algorithms and Complexity Group co-funding institutions: • Database and Artificial Intelligence Group • Kurt Gödel Society (KGS) • Formal Methods in • Austrian Rigorous Systems Systems Engineering Group Engineering (ARiSE) • Knowledge-Based Systems Group • Wolfgang Pauli Institute (WPI) • Theory and Logic Group • Institute of Science and • Security and Privacy Group Technology Austria (IST Austria) 7 Activities Conference: ALGO 2017 Congress on Algorithms The 17th ALGO congress is the premier annual gathering on algorithms in Europe. ALGO 2017 hos- ted by the Algorithms and Complexity Group at TU Wien in September 2017, attracted more than 320 participants. ALGO 2017 combined the following six conferences and workshops: ALGO 2017 volunteers • the European Symposium on Algo- • the Workshop on Algorithmic rithms (ESA) Approaches for Transportation Mo- • the International Symposium on deling Optimization, and Systems Parameterized and Exact Computa- (ATMOS) tion (IPEC) • the International Workshop on • the Workshop on Approximation Algorithmic Aspects of Cloud Compu- and Online Algorithms (WAOA) ting (ALGOCLOUD) • the International Symposium on ALGO 2017 hosted also the Parameteri- Algorithms and Experiments for Wi- zed Complexity Summer School (PCSS), reless Networks (ALGOSENSORS) with a record number of more than 100 participating talents. The congress was opened by the rector of the TU Wien, Sabine Seidler. The scientific program comprised of over 165 paper presentations, tutorials, the ESA test of time award, the PACE competition awards, the Nerode prize award, and several best paper awards. Alongside the scientific part of the Rector of the TU Wien, Sabine Seidler ALGO 2017 program, the social events 8 Activities offered participants a wide range of (NHM). The Heurigen Dinner honoured networking activities to support the the scholarly traditions of gathering in a academic dialogue. These included rustic Viennese tavern. three evening events: the Welcome Reception, the Banquet Dinner, and the ALGO 2017 was organized in coopera- Heurigen Dinner. tion with the European Association for Theoretical Computer Science (EATCS), The Banquet Dinner was set in a the Vienna Center for Logic and Algorith- stimulating environment of one of the ms (VCLA), and the Zentrum für Informa- most important museums in the world tikforschung (ZIF). - the Natural History Museum Vienna The congress was sponsored by Google, the Wolfgang Pauli Institute, and the NETWORKS project, as well as the Austrian Ministry for Transport, Innovati- on and Technology. Chairs • Stefan Szeider (chair) • Robert Ganian (co-chair) • Martin Nöllenburg (co-chair) Michael Fellows and colleagues ALGO 2017 Banquet Dinner at the Natural History Museum Vienna 9 Activities Co-Organizers • Doris Dicklberger • Wolfgang Dvořák • Ronald de Haan • Fabian Klute • Andreas Müller • Nysret Musliu • Sebastian Ordyniak • Karin Prater • Günther Raidl Fabrizio Grandoni, Jie Gao, David Mount, Daniel Delling • Mihaela Rozman • Stefan Woltran Keynote Speakers • Daniel Delling (Apple Inc) • Babak Falsafi(EcoCloud and EPFL) • Jie Gao (Stony Brook U.) • Fabrizio Grandoni (U. of Lugano) • David Mount (U. of Maryland) • Kirk Pruhs (U. of Pittsburgh) • David Woodruff (Carnegie Mellon U.) Daniel Delling, Stefan Szeider, David Woodruff, Christian Sohler, Babak Falsafi, David Mount, Martin Nöllenburg https://algo2017.ac.tuwien.ac.at/ ALGO 2017 organizers 10 Activities Summer School: Parameterized Invited Speakers Complexity Summer School • Dániel Marx (Hungarian Academy of Sciences) (PCSS) 2017 • Daniel Lokshtanov (U. Bergen) Following the success of the 2009 • Fedor Fomin (U. Bergen) AGAPE summer school on Corsica and • Michał Pilipczuk (U. Warsaw) the 2014 summer school in Bedlewo, • Bart Jansen (Eindhoven U. of Technology) the third instalment of the Parameter- • Neeldhara Misra (Indian IT., Gandhinagar) ized Complexity summer school was • Ramanujan M.S. (TU Wien) held at TU Wien, in September 2017 as • Fahad Panolan (U. Bergen) a pre-event of ALGO 2017. • Meirav Zehavi (Simons Institute) • Sebastian Siebertz (U. Warsaw) PCSS 2017 attracted a record number of more than 100 participants. • Robert Ganian (TU Wien) • Sebastian Ordyniak (TU Wien) Apart from providing an introduction to the basics of parameterized com- Organizers plexity the school covered some recent • Robert Ganian advances and applications in Econom- • Sebastian Ordyniak ics, Logic, and Artificial Intelligence. • M. S. Ramanujan https://algo2017.ac.tuwien.ac.at/pcss/ The participants of the PCSS Summer School 2017 in Vienna, at TU Wien 11 Activities Workshop: New Trends in Formal Argumentation The workshop on New Trend in Formal Argumentation took place at TU Wien in August 2017. It was supported by the VCLA. Argumentation is nowadays a central part of modern Artificial Intelligence research, and a main topic at major AI conferences, with application domains Leon v.d. Torre; Sanjay Modgil in legal reasoning, multi-agent sys- Organizers
Load more

Recommended publications
  • Annual Report 2019/2020
    Annual Report 2019/2020 Contents 6 About VCLA 7 In Memoriam 8 Organization 9 Obituary Edmund M. Clarke 11 Activities 12 LogicLounge 12 LogicLounge: Working as Intended: Surveillance Capitalism is not a Rogue Capitalism 13 Conferences 13 QONFEST 2020 15 CPAIOR 2020 17 Workshops 17 First Vienna Workshop on Computational Social Choice 18 The Helmut-Veith-Memorial Workshop 19 Science Education 19 Project ADA - Algorithms Think Differently 20 Workshop: Introduction to Scratch 21 24h Hackathon: DigiEduHack 2019 22 Hackathon 4 Good Artificial Intelligence 2019 23 Digital Days 2019 24 eEducation Austria Praxistage 2019 25 Hexagonal Debate 2020: How to inspire girls for technology & com puter science? 26 Workshop series: Diary of a computer scientist 28 Distinction 28 VCLA International Student Awards 30 Helmut Veith Stipend Winner 31 Cooperations 31 Workshop Women in Logic 32 Vienna Ball of Sciences 33 Logical Methods in Computer Science 34 Invited Speakers and Visitors 36 Media Coverage 41 VCLA Chairs About VCLA The Vienna Center for Logic and of computer science research, using a Algorithms (VCLA) is a globally unique variety of channels. competence center in the field of logic These objectives are realized through and algorithm research. various activities which include: It was founded in September 2011 and officially opened in January 2012 in the • The VCLA International Student presence of the rector of the Technische Awards for Outstanding Theses Universität Wien (TU Wien) Sabine Se- • The LogicLounge series idler and Turing Award laureate Edmund • The VCLA Workshop Series M. Clarke. The Center was founded by • The VCLA series of winter and Stefan Szeider and Helmut Veith and led summer schools by both until Helmut Veith passed away • The VCLA Visitor Program in March 2016.
    [Show full text]
  • Curriculum Vitae Thomas A
    Curriculum Vitae Thomas A. Henzinger February 6, 2021 Address IST Austria (Institute of Science and Technology Austria) Phone: +43 2243 9000 1033 Am Campus 1 Fax: +43 2243 9000 2000 A-3400 Klosterneuburg Email: [email protected] Austria Web: pub.ist.ac.at/~tah Research Mathematical logic, automata and game theory, models of computation. Analysis of reactive, stochastic, real-time, and hybrid systems. Formal software and hardware verification, especially model checking. Design and implementation of concurrent and embedded software. Executable modeling of biological systems. Education September 1991 Ph.D., Computer Science Stanford University July 1987 Dipl.-Ing., Computer Science Kepler University, Linz August 1986 M.S., Computer and Information Sciences University of Delaware Employment September 2009 President IST Austria April 2004 to Adjunct Professor, University of California, June 2011 Electrical Engineering and Computer Sciences Berkeley April 2004 to Professor, EPFL August 2009 Computer and Communication Sciences January 1999 to Director Max-Planck Institute March 2000 for Computer Science, Saarbr¨ucken July 1998 to Professor, University of California, March 2004 Electrical Engineering and Computer Sciences Berkeley July 1997 to Associate Professor, University of California, June 1998 Electrical Engineering and Computer Sciences Berkeley January 1996 to Assistant Professor, University of California, June 1997 Electrical Engineering and Computer Sciences Berkeley January 1992 to Assistant Professor, Cornell University December 1996 Computer Science October 1991 to Postdoctoral Scientist, Universit´eJoseph Fourier, December 1991 IMAG Laboratory Grenoble 1 Honors Member, US National Academy of Sciences, 2020. Member, American Academy of Arts and Sciences, 2020. ESWEEK (Embedded Systems Week) Test-of-Time Award, 2020. LICS (Logic in Computer Science) Test-of-Time Award, 2020.
    [Show full text]
  • On the Automated Verification of Web Applications with Embedded
    On the automated verification of web applications with embedded SQL Shachar Itzhaky1, Tomer Kotek2, Noam Rinetzky3, Mooly Sagiv3, Orr Tamir3, Helmut Veith2, and Florian Zuleger2 1 Massachusetts Institute of Technology 2 Vienna University of Technology 3 Tel Aviv University Abstract A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a method for formal automated verification of such systems which connects database theory to mainstream program analysis. We identify a fragment of SQL which captures the behavior of the queries in our case studies, is algorithmically decidable, and facilitates the construction of weakest preconditions. Thus, we can integrate the analysis of SQL queries into a program analysis tool chain. To this end, we implement a new decision procedure for the SQL fragment that we introduce. We demonstrate practical applicability of our results with three case studies, a web administrator, a simple firewall, and a conference management system. 1998 ACM Subject Classification D.3.2 Database Management Languages, F.3.1 Specifying and Verifying and Reasoning about Programs Keywords and phrases SQL; Scripting language; Web services; Program verification; Two- variable fragment of First Order logic; Decidability; Reasoning Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p 1 Introduction Web applications are often written in a scripting language such as PHP and store their data in a relational database which they access using SQL queries and data-manipulating commands [36]. This combination facilitates fast development of web applications, which exploit the reliability and efficiency of the underlying database engine and use the flexibility of the script language to interact with the user.
    [Show full text]
  • Formal Verification for Numerical Computations, and the Other Way Around Guillaume Melquiond
    Formal Verification for Numerical Computations, and the Other Way Around Guillaume Melquiond To cite this version: Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. Computer Arithmetic. Université Paris Sud, 2019. tel-02194683 HAL Id: tel-02194683 https://tel.archives-ouvertes.fr/tel-02194683 Submitted on 25 Jul 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Habilitation a` Diriger des Recherches pr´esent´ee`al'Universit´eParis-Sud Sp´ecialit´e: Informatique Guillaume Melquiond Formal Verification for Numerical Computations, and the Other Way Around Soutenue le 1er avril 2019 devant la commission d'examen constitu´eede Luc Jaulin rapporteurs David Monniaux Warwick Tucker Yves Bertot examinateurs Florent Hivert Claude Marche´ Jean-Michel Muller Sylvie Putot Pr´eface J'ai soutenu ma th`ese le 21 novembre 2006, th`esequi s'intitulait De l'arithm´etiqued'in- tervalles `ala certification de programmes . Si je devais la r´e´ecrireaujourd'hui, j'emploierais plut^otle mot v´erificationque certification, mais cela ne changerait pas grand chose `ala per- tinence et `al'actualit´ede son sujet. N´eanmoins, douze ann´eesont pass´eet mes th´ematiques de recherche se sont diversifi´ees.Il est donc temps pour moi de m'attaquer `al'habilitation.
    [Show full text]
  • On the Automated Verification of Web Applications With
    On the Automated Verification of Web Applications with Embedded SQL Shachar Itzhaky1, Tomer Kotek∗2, Noam Rinetzky3, Mooly Sagiv4, Orr Tamir5, Helmut Veith†6, and Florian Zuleger7 1 Massachusetts Institute of Technology, Cambridge, MA, USA 2 Vienna University of Technology, Vienna, Austria 3 Tel Aviv University, Tel Aviv, Israel 4 Tel Aviv University, Tel Aviv, Israel 5 Tel Aviv University, Tel Aviv, Israel 6 Vienna University of Technology, Vienna, Austria 7 Vienna University of Technology, Vienna, Austria Abstract A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a method for formal automated verification of such systems which connects database theory to mainstream program analysis. We identify a fragment of SQL which captures the behavior of the queries in our case studies, is algorithmically decidable, and facilitates the construction of weakest preconditions. Thus, we can integrate the analysis of SQL queries into a program analysis tool chain. To this end, we implement a new decision procedure for the SQL fragment that we introduce. We demonstrate practical applicability of our results with three case studies, a web administrator, a simple firewall, and a conference management system. 1998 ACM Subject Classification D.3.2 Database Management Languages, F.3.1 Specifying and Verifying and Reasoning about Programs Keywords and phrases SQL, Scripting language, Web services, Program verification, Two-variable fragment of First Order logic, Decidability, Reasoning Digital Object Identifier 10.4230/LIPIcs.ICDT.2017.16 1 Introduction Web applications are often written in a scripting language such as PHP and store their data in a relational database which they access using SQL queries and data-manipulating commands [37].
    [Show full text]
  • In Memoriam Helmut Veith (1971–2016)
    In Memoriam Helmut Veith (1971–2016) Born: February 5, 1971, Vienna, Austria Died: March 12, 2016, Vienna, Austria Alma mater: Vienna University of Technology Doctoral advisor: Georg Gottlob About Helmut Helmut Veith was an Austrian computer scientist who worked on the areas of software engineering, computer-aided software verification and testing, embedded software, computer security, model checking, and logic in computer science. He was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a mentor, a generous friend, and a wonderful father and husband. Helmut held a professorship at the Faculty of Informatics of the Vienna University of Technology (TU Vienna), and an adjunct professorship at Carnegie Mellon University. He had a Diploma in Computational Logic and a PhD sub auspiciis praesidentis in Computer Science, both from TU Vienna. Prior to his appointment to Vienna, he held professor positions at TU Darmstadt and TU Munich. With his co-authors, he received the CAV Award 2015 honoring contributions of fundamental importance to the field of computer aided verification for his contribution to the development of CEGAR. His work on the software model checker MAGIC received the ACM Distinguished Paper Award for contribution to the study of verification of modular software. In 2016, he was posthumously awarded an ERC Advanced Grant on the topic Harnessing Model Checking Technology for Distributed Algorithms. Some Activities Vienna Summer of Logic 2014 (co chair) FLoC 2014 (chair) FWF Doctoral College on Logical Methods
    [Show full text]
  • Brochure, Vienna Is Hosting the Largest Scientific Conference in the History of Logic
    Organized by In partnership with Contents Welcome to the Vienna Summer of Logic 2 Honorary Committee 4 Organization Committee 5 About the Vienna Summer of Logic 7 About the Kurt Gödel Society 8 About Logic in Austria 9 Federated Logic Conference 11 Logic in Artificial Intelligence 14 Mathematical Logic 15 Conference Overview 17 Registration and Help Desk 17 Conference Locations 18 Venues 19 Workshop Locations 21 Special Events Overview 23 Special Events 24 Cultural Program 28 Kurt Gödel Research Prize Fellowship 29 FLoC Olympic Games 2014: Citius, Maius, Potentius 30 VSL Joint Award Ceremonies 32 VSL Keynote Speakers 35 Invited Talks 40 Panels 43 FLoC14 Interconference Topics 45 Federated Logic Conference Plenary Speakers 48 Workshops 50 Useful Information 53 Internet Access 54 About Vienna 56 Restaurants in the Vicinity 56 Program Committees 61 Legal Information 76 Welcome to the Vienna Summer of Logic As you receive this brochure, Vienna is hosting the largest scientific conference in the history of logic. The Vienna Summer of Logic (VSL, http://vsl2014.at) consists of twelve large conferences and 80 workshops, attracting more than 2000 researchers from all over the world. This unique event is organized by the Kurt Gödel Society at the Vienna University of Technology and takes place from July 9 to 24, 2014, under the auspices of the Federal President of the Republic of Austria, Dr. Heinz Fischer. The conferences and workshops deal with the main Mathematical Logic theme, logic, from three important angles: logic in computer science, mathematical
    [Show full text]