- Jianer Chen (Guangzhou University): Progresses in Algorithmic Research on the Maximum Agreement Forest Problem
- Yixin Cao (Hong Kong Polytech. U.): Enumeration of Maximal Induced Subgraphs
- Friedrich Slivovsky (TU Wien): Recent Trends in QBF Solving
- Stefan Szeider (TU Wien): Computing Graph and Hypergraph Width-Parameters
- Robert Ganian (TU Wien): The Power of Cut-Based Parameters for Edge Disjoint Paths

**Submission deadline: August 8th, 2019 (23:59 PDT)**- Acceptance Notification: August 15th, 2019
- Poster Session: September 2nd, 2019
- Early registration deadline: August 8th, 2019

The 1^{st} International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies is jointly organized by members of TU Wien (Vienna University of Technology), Princeton University, and SBA Research. In its first edition, it will be hosted by TU Wien in Vienna, Austria from September 2, 2019 to September 5, 2019. See bdlt.school for details.

The summer school will be organized in lectures and hackathons, providing a mix of in-depth research presentations and hands-on experience, and it will focus on published and current high-impact research projects. The school covers cutting-edge topics on blockchains and other distributed ledger technologies to foster understanding of their respective security and privacy specific requirements and guarantees by bringing together academic researchers and experts from industry. Example topics include, but are not limited to: novel attacks on distributed systems; consensus protocols and fault tolerance; incentive structures, such as proof-of-work and proof-of-stake; recent results on blockchain scalability, payment channels and state channels; advancements on smart contracts; or, realistic adversarial capabilities.

Students will have networking opportunities with experts from academia and industry, sponsors, and among each other. They will also have the opportunity to present their own results in front of experts from academia and industry in the form of lightning talks and poster presentations.

After Oxford and Vienna, the LogicLounge in New York on July 15, has been already the 15th in the series of LogicLounges, which feature discussions between the public and the eminent scientists in the fields of logic, philosophy, [...]]]>

After Oxford and Vienna, the LogicLounge in New York on July 15, has been already the 15th in the series of LogicLounges, which feature discussions between the public and the eminent scientists in the fields of logic, philosophy, mathematics, computer science, and artificial intelligence. The LogicLounge with Eva Galperin was hosted by the 31st International Conference on Computer-Aided Verification (CAV) and organized by Daniel Schwartz-Narbonne, Amazon cybersecurity, in collaboration with the Vienna Center for Logic and Algorithms at TU Wien (VCLA). The event was supported by the Internet Society – The New York Chapter, which also provided a Livestream and recording of the Galperin´s talk here.

Eva Galperin, director of cybersecurity at the Electronic Frontier Foundation, has at the New York edition of our LogicLounge series of public debates, addressed the concerns surrounding the usage of p**owerful surveillance software for everyday usage. Such apps can** tune in our calls, text messages, real-time GPS location or encrypted messaging apps like WhatsApp. These capabilities can afford dramatic powers and control over an individual’s everyday life. Surveillance apps for private purposes are routinely linked to identity theft, physical injuries, sexual harassment, extortion and child abuse, among others. Some are marketed as ways for employers to monitor the movements of their workers, or for parents to check electronically on the whereabouts of their children. Others promise to help you to reveal infidelity. However, malicious software with an aim to monitor and control a targeted person is being also sold to the governments. Eva Galperin provided advice on how the tech community, the police, and the policymakers can address the issue of deployment of software used for surveillance by individuals. In addition to providing examples of existing legal norms that can be used to tackle the issue at hand, she also demonstrated what can individuals do to safeguard themselves against an attack.

Eva Galperin is a director of Cybersecurity at Electronic Frontier Foundation (EFF) and the head of EFF’s Threat Lab. Eva Galperin has worked in security and IT in Silicon Valley and earned degrees in Political Science and International Relations. Her work is primarily focused on providing privacy and security for vulnerable populations around the world. To that end, she has applied the combination of her political science and technical background to writing privacy and security training materials and publishing research on malware in Syria, Vietnam, Kazakhstan, and Lebanon.

This was an admission-free event with a registration on Eventbrite here.

This LogicLounge was supported by the Internet Society – The New York Chapter, which has also provided a Livestream of the event as well as the recording available on Facebook or on our YouTube channel, as well as on the streaming site of the ISOC.

COPYRIGHT: LogicLounge with Eva Galperin, by CAV 2019 / VCLA at TU Wien (CC BY-NC-SA)

The LogicLounge series was initiated at the Vienna Summer of Logic in 2014, by the late VCLA co-chair Helmut Veith (1971-2016), and Oliver Lehmann. More information on the series and for the recordings of past talks please click here.

]]>“In the Multiverse model now we actually accept that other universes do not need to be governed by the same laws as our universe.”

Wolfgang Rindler in Memoriam Public Lecture on July 26, 2019, given by John D. Barrow was [...]]]>

“Philosophers were talking about that in the past, now we even have the mathematics to show it.”

“In the Multiverse model now we actually accept that other universes do not need to be governed by the same laws as our universe.”

**Wolfgang Rindler in Memoriam Public Lecture on July 26, 2019, given by John D. Barrow was open for the general public and ****part of the international conference “Kurt Gödel’s Legacy. Does the Future lie in the Past?” organized by Kurt Gödel Society.**

Every solution of Einstein’s equation is an entire universe. They offer a novel solution to some deep puzzles about the structure of the astronomical universe. Prof. Barrow will in this lecture embark on a travel which will lead us through the islands of some of the pertinent questions of modern physics, cosmology, and mathematics. He will tell the story of all the different possible universes that were found to be solutions of Einstein’s equations: static and expanding universes, contracting universe, oscillating universes, accelerating universes, chaotic and distorted universes — all make their appearance together with the unexpected spinning, universe with time-travellers found first by Kurt Gödel. He will converge on best description of our visible universe today and the contemporary inflationary universes. They offer a novel solution to some deep puzzles about the structure of the astronomical universe. Will we ever discover a single scientific theory that tells us everything that has happened, and everything that will happen, on every level in the Universe? What might such a theory look like? What would it mean? And how close are we to getting there?

This lecture is in memory of Wolfgang Rindler, an Austrian physicist specializing in relativity and its effects on cosmology, who died in February 2019. Key ideas introduced by Wolfgang Rindler play a pivotal role in our understanding of how the present structure of the universe came to be, and they determine what its extraordinary fate appears to be in the far distant future.

**About Prof. Barrow**

Professor John D. Barrow has been a Professor of Mathematical Sciences, Geometry and Astronomy (!) at the University of Cambridge since 1999, carrying out research in mathematical physics, with special interest in cosmology, gravitation, particle physics and associated applied mathematics. **His principal research interests are in cosmology** – the study of the past, present (and even likely future) structure of the Universe. Although he has observed on large telescopes occasionally in the past, he is a theorist, and the data that he is most interested is taken by satellites and telescopes like the Hubble, Keck and AAT instruments. At present, he has a particular interest in using astronomy to learn things about fundamental physics more accurately that can be done with laboratory or accelerator experiments, especially whether the ‘constants’ of physics might have very slow variations at the level of parts in a million over ten billion years. Like many cosmologists, he is also interested in studying varieties of the inflation phenomenon in its early stages and providing a natural explanation for why the universal expansion started to accelerate a few billion years ago. He also studies the mathematics of solutions of Einstein’s equations that describe anisotropic and non-uniform cosmological models, the possibility of singularities arising at a finite time in the cosmological evolution of simple forms of matter and the appearance of chaos near the apparent beginning of the universe’s expansion.

He is the author of over 420 articles and 19 books, translated in 28 languages, exploring the wider historical, philosophical and cultural ramifications of developments in mathematics, physics and astronomy. He has also delivered lectures in a perhaps unique combination of locations including **10 Downing Street, Windsor Castle, the Vatican Palace **and** the Venice Film festival**.

Since its inception in 1999 John Barrow has been the director of the Millennium Mathematics Project which aims to improve the understanding and appreciation of mathematics and its applications amongst young people and the general public.

Two events that have had a strong influence on the world of science are celebrating an anniversary this year: the decisive review of Albert Einstein’s theory of relativity is 100 years old. Furthermore, 70 years ago Kurt Gödel proved that theory of relativity is compatible with closed time lines. This Gödel’s rotating universe shows how time travel is at least mathematically imaginable. For this reason, the Kurt Gödel Society is organizing the international conference “Kurt Gödel´s Legacy: Does Future Lie in The Past?” at the University of Vienna from July 25 to 27, 2019.

The conference is supported by the University of Vienna, the Austrian Academy of Sciences, the research platform TURIS, the Vienna Center for Logic and Algorithms at the TU Vienna, the Department Vienna Circle and the Vienna Circle Society.

]]>

Join us at the 27th Vienna Circle Lecture 2019 which is part of the international Conference “Kurt Gödel’s Legacy. Does the Future lie in the Past?“

Juliet Floyd In and Out of Mind: Wittgenstein and Gödel, Post and TuringModels of mind entered and exited the foundations of [...]]]>
**: **Thursday, July 25, at 17:00

**Join us at the 27th Vienna Circle Lecture 2019 ****which is part of the international Conference “Kurt Gödel’s Legacy. Does the Future lie in the Past?“**

Models of mind entered and exited the foundations of logic and mathematics in the twentieth century, tossed and shaped by the seas of truth, completeness, incompleteness, and undecidability. Mathematics and its modern methods are still surrounded by important philosophical problems. But the real outlines of the historical debate are not well-known and the subtler philosophical issues at stake are often ignored. Juliet Floyd shall compare and contrast Wittgenstein, Gödel, Post and Turing on what classical limitative results about logic and the foundations of mathematics do and do not show us about “the mind”. She will also discuss the very idea of “post-human” AI in relation to these themes and the Vienna Circle’s legacy of scientific humanism.

- The lecture will be held in English.
- After the lecture, you are welcome to take part in an informal reception
**The Free Tickets have been booked out (23.7.2019 at 13:30)**

**On Prof. Juliet Floyd**

A philosopher of logic, mathematics and science, Prof. Floyd´s research focuses on the interplay between logic and philosophy from the 18th to the 20th centuries. She is especially known for her work on Wittgenstein’s philosophy of logic and mathematics, but writes widely about such notions as the nature and limitations of philosophical and axiomatic methods, logic and foundations of mathematics, simplicity and modernism in mathematics and the arts, skepticism and rule-following, the concepts of “rigor” and the “everyday” in early twentieth-century philosophy, and the history of American philosophy and pragmatism in relation to European twentieth century analytic philosophy (Vienna Circle, Carnap, Quine, Putnam, Rawls, Cavell). She has furthered the historical study of 20th century analytic philosophy in an international context, holding Visiting Professorships at the Universities of Vienna, Paris (I, Panthéon-Sorbonne), and Bordeaux (Michel de Montaigne). She co-edited *Future Pasts: The Analytic Tradition in Twentieth Century Philosophy* (with S. Shieh, Oxford University Press, 2001/online 2004), *Philosophy of Emerging Media: Understanding, Appreciation, Application* (with J.E. Katz, Oxford University Press 2016) and the soon to appear *Philosophical Explorations of the Legacy of Alan Turing: Turing 100* (with A. Bokulich, Springer Boston Studies in the Philosophy of Science Series). **She is currently working on a manuscript treating the impact on Wittgenstein in the mid-1930s of Turing’s and Gödel’s undecidability and incompleteness results.**

Professor Floyd joined the faculty at Boston University from the City College of New York and C.U.N.Y. (1990-1994), where she served as Associate Director of the Ph.D. program at the Graduate Center (1993-4). For 2016-18 she has been awarded a Mellon Sawyer Seminar Grant for faculty development (with James E. Katz and Russell Powell) to pursue research into the philosophy of emerging computational technologies and the ways they are transforming social, ethical, and philosophical aspects of everyday life. She is also co-directing The Mentoring Project For Pre-tenure Women Faculty in Philosophy.

Two events that have had a strong influence on the world of science are celebrating an anniversary this year: the decisive review of Albert Einstein’s theory of relativity is 100 years old. Furthermore, 70 years ago Kurt Gödel proved that theory of relativity is compatible with closed time lines. This Gödel’s rotating universe shows how time travel is at least mathematically imaginable. For this reason, the Kurt Gödel Society is organizing the international conference “Kurt Gödel´s Legacy: Does Future Lie in The Past?” at the University of Vienna from July 25 to 27, 2019.

The conference is supported by the University of Vienna, the Austrian Academy of Sciences, the research platform TURIS, the Vienna Center for Logic and Algorithms at the TU Vienna, the Department Vienna Circle and the Vienna Circle Society.

]]>“Philosophers were talking about that in the past, now we even have the mathematics to show it. In the Multiverse model now we actually accept that other universes do not need to be governed by the same laws as our universe.”

**Wolfgang Rindler in Memoriam Public Lecture on July 26, 2019, given by John D. Barrow was open for the general public and ****part of the international conference “Kurt Gödel’s Legacy. Does the Future lie in the Past?” organized by Kurt Gödel Society.**

Prof. Barrow will in this lecture embark on a travel which will lead us through the islands of some of the pertinent questions of modern physics, cosmology, and mathematics. He will tell the story of all the different possible universes that were found to be solutions of Einstein’s equations: static and expanding universes, contracting universe, oscillating universes, accelerating universes, chaotic and distorted universes — all make their appearance together with the unexpected spinning, universe with time-travellers found first by Kurt Gödel. He will converge on best description of our visible universe today and the contemporary inflationary universes. They offer a novel solution to some deep puzzles about the structure of the astronomical universe. Will we ever discover a single scientific theory that tells us everything that has happened, and everything that will happen, on every level in the Universe? What might such a theory look like? What would it mean? And how close are we to getting there?

This lecture is in memory of Wolfgang Rindler, an Austrian physicist specializing in relativity and its effects on cosmology, who died in February 2019. Key ideas introduced by Wolfgang Rindler play a pivotal role in our understanding of how the present structure of the universe came to be, and they determine what its extraordinary fate appears to be in the far distant future.

**Admission FREE ticket****here (Eventbrite)**

**About Prof. Barrow**

Professor John D. Barrow has been a Professor of Mathematical Sciences, Geometry and Astronomy (!) at the University of Cambridge since 1999, carrying out research in mathematical physics, with special interest in cosmology, gravitation, particle physics and associated applied mathematics. **His principal research interests are in cosmology** – the study of the past, present (and even likely future) structure of the Universe. Although he has observed on large telescopes occasionally in the past, he is a theorist, and the data that he is most interested is taken by satellites and telescopes like the Hubble, Keck and AAT instruments. At present, he has a particular interest in using astronomy to learn things about fundamental physics more accurately that can be done with laboratory or accelerator experiments, especially whether the ‘constants’ of physics might have very slow variations at the level of parts in a million over ten billion years. Like many cosmologists, he is also interested in studying varieties of the inflation phenomenon in its early stages and providing a natural explanation for why the universal expansion started to accelerate a few billion years ago. He also studies the mathematics of solutions of Einstein’s equations that describe anisotropic and non-uniform cosmological models, the possibility of singularities arising at a finite time in the cosmological evolution of simple forms of matter and the appearance of chaos near the apparent beginning of the universe’s expansion.

He is the author of over 420 articles and 19 books, translated in 28 languages, exploring the wider historical, philosophical and cultural ramifications of developments in mathematics, physics and astronomy. He has also delivered lectures in a perhaps unique combination of locations including **10 Downing Street, Windsor Castle, the Vatican Palace **and** the Venice Film festival**.

Since its inception in 1999 John Barrow has been the director of the Millennium Mathematics Project which aims to improve the understanding and appreciation of mathematics and its applications amongst young people and the general public.

Two events that have had a strong influence on the world of science are celebrating an anniversary this year: the decisive review of Albert Einstein’s theory of relativity is 100 years old. Furthermore, 70 years ago Kurt Gödel proved that theory of relativity is compatible with closed time lines. This Gödel’s rotating universe shows how time travel is at least mathematically imaginable. For this reason, the Kurt Gödel Society is organizing the international conference “Kurt Gödel´s Legacy: Does Future Lie in The Past?” at the University of Vienna from July 25 to 27, 2019.

The conference is supported by the University of Vienna, the Austrian Academy of Sciences, the research platform TURIS, the Vienna Center for Logic and Algorithms at the TU Vienna, the Department Vienna Circle and the Vienna Circle Society.

]]>Every solution of Einstein’s equation is an entire universe. They offer a novel solution to some deep puzzles about the structure of the astronomical universe. Prof. Barrow will in this lecture embark on a travel which will lead us through the islands of some of the pertinent questions of modern physics, cosmology, and mathematics. He will tell the story of all the different possible universes that were found to be solutions of Einstein’s equations: static and expanding universes, contracting universe, oscillating universes, accelerating universes, chaotic and distorted universes — all make their appearance together with the unexpected spinning, universe with time-travellers found first by Kurt Gödel. He will converge on best description of our visible universe today and the contemporary inflationary universes. They offer a novel solution to some deep puzzles about the structure of the astronomical universe. Will we ever discover a single scientific theory that tells us everything that has happened, and everything that will happen, on every level in the Universe? What might such a theory look like? What would it mean? And how close are we to getting there?

This lecture is in memory of Wolfgang Rindler, an Austrian physicist specializing in relativity and its effects on cosmology, who died in February 2019. Key ideas introduced by Wolfgang Rindler play a pivotal role in our understanding of how the present structure of the universe came to be, and they determine what its extraordinary fate appears to be in the far distant future.

- The lecture will be held in English
- After the lecture, you are welcome to take part in an informal reception.
**Admission FREE ticket here (Eventbrite)**

**About Prof. Barrow**

Professor John D. Barrow has been a Professor of Mathematical Sciences, Geometry and Astronomy (!) at the University of Cambridge since 1999, carrying out research in mathematical physics, with special interest in cosmology, gravitation, particle physics and associated applied mathematics. **His principal research interests are in cosmology** – the study of the past, present (and even likely future) structure of the Universe. Although he has observed on large telescopes occasionally in the past, he is a theorist, and the data that he is most interested is taken by satellites and telescopes like the Hubble, Keck and AAT instruments. At present, he has a particular interest in using astronomy to learn things about fundamental physics more accurately that can be done with laboratory or accelerator experiments, especially whether the ‘constants’ of physics might have very slow variations at the level of parts in a million over ten billion years. Like many cosmologists, he is also interested in studying varieties of the inflation phenomenon in its early stages and providing a natural explanation for why the universal expansion started to accelerate a few billion years ago. He also studies the mathematics of solutions of Einstein’s equations that describe anisotropic and non-uniform cosmological models, the possibility of singularities arising at a finite time in the cosmological evolution of simple forms of matter and the appearance of chaos near the apparent beginning of the universe’s expansion.

He is the author of over 420 articles and 19 books, translated in 28 languages, exploring the wider historical, philosophical and cultural ramifications of developments in mathematics, physics and astronomy. He has also delivered lectures in a perhaps unique combination of locations including **10 Downing Street, Windsor Castle, the Vatican Palace **and** the Venice Film festival**.

Since its inception in 1999 John Barrow has been the director of the Millennium Mathematics Project which aims to improve the understanding and appreciation of mathematics and its applications amongst young people and the general public.

]]>

Models of mind entered and exited the foundations of logic and mathematics in the twentieth century, tossed and shaped by the seas of truth, completeness, incompleteness, and undecidability. Mathematics and its modern methods are still surrounded by important philosophical problems. But the real outlines of the historical debate are not well-known and the subtler philosophical issues at stake are often ignored. Juliet Floyd shall compare and contrast Wittgenstein, Gödel, Post and Turing on what classical limitative results about logic and the foundations of mathematics do and do not show us about “the mind”. She will also discuss the very idea of “post-human” AI in relation to these themes and the Vienna Circle’s legacy of scientific humanism.

- The lecture will be held in English.
- After the lecture, you are welcome to take part in an informal reception.
- Admisson Free
**Get your FREE ticket here (Eventbrite) (Sold out on July 23, 2019/ 2nd batch on July 24, 2019)**

**On Prof. Juliet Floyd**

A philosopher of logic, mathematics and science, Prof. Floyd´s research focuses on the interplay between logic and philosophy from the 18th to the 20th centuries. She is especially known for her work on Wittgenstein’s philosophy of logic and mathematics, but writes widely about such notions as the nature and limitations of philosophical and axiomatic methods, logic and foundations of mathematics, simplicity and modernism in mathematics and the arts, skepticism and rule-following, the concepts of “rigor” and the “everyday” in early twentieth-century philosophy, and the history of American philosophy and pragmatism in relation to European twentieth century analytic philosophy (Vienna Circle, Carnap, Quine, Putnam, Rawls, Cavell). She has furthered the historical study of 20th century analytic philosophy in an international context, holding Visiting Professorships at the Universities of Vienna, Paris (I, Panthéon-Sorbonne), and Bordeaux (Michel de Montaigne). She co-edited *Future Pasts: The Analytic Tradition in Twentieth Century Philosophy* (with S. Shieh, Oxford University Press, 2001/online 2004), *Philosophy of Emerging Media: Understanding, Appreciation, Application* (with J.E. Katz, Oxford University Press 2016) and the soon to appear *Philosophical Explorations of the Legacy of Alan Turing: Turing 100* (with A. Bokulich, Springer Boston Studies in the Philosophy of Science Series). **She is currently working on a manuscript treating the impact on Wittgenstein in the mid-1930s of Turing’s and Gödel’s undecidability and incompleteness results.**

Professor Floyd joined the faculty at Boston University from the City College of New York and C.U.N.Y. (1990-1994), where she served as Associate Director of the Ph.D. program at the Graduate Center (1993-4). For 2016-18 she has been awarded a Mellon Sawyer Seminar Grant for faculty development (with James E. Katz and Russell Powell) to pursue research into the philosophy of emerging computational technologies and the ways they are transforming social, ethical, and philosophical aspects of everyday life. She is also co-directing The Mentoring Project For Pre-tenure Women Faculty in Philosophy.