Publicado em: 13/03/2014

Aula Inaugural: Professor Moshe Vardi

Como parte da programação das atividades em comemoração aos 25 anos do INF, o Instituto receberá a visita do Prof. Moshe Vardi, da Rice University, Houston, atual Editor-Chefe da Communications of the ACM. O Prof. Vardi ministrará três palestras. A primeira será a Aula Inaugural do Semestre, e acontecerá no dia 26 de março, às 10h30min no Auditório do Centro de Eventos do INF, Prédio 43413 (“prédio 67”), as próximas palestras serão nos dias 27 e 28.

O Prof. Vardi recebeu prêmios importantes em várias áreas de pesquisa ao longo de sua carreira, é Fellow da ACM, AAAI, AAAS e IEEE.
http://www.cs.rice.edu/~vardi/.
http://en.wikipedia.org/wiki/Moshe_Y._Vardi

26/3 – quarta-feira
10h30min – Auditório do Centro de Eventos do INF
Aula Inaugural do Semestre
Título: A Logical Revolution

Mathematical logic was developed in an effort to provide formal foundations for mathematics. In this quest, which ultimately failed, logic begat computer science yielding both computers and theoretical computer science. But then logic turned out to be a disappointment as foundations for computer science, as almost all decision problems in logic are either unsolvable or intractable. Starting from the mid 1970s, however, there has been a quiet revolution in logic in computer science, and problems that are theoretically undecidable or intractable were shown to be quite feasible in practice. This talk describes the rise, fall, and rise of logic in computer science, describing several modern applications of logic to computing, include databases, hardware design, and software engineering. 

27/3 – Quinta-Feira
10h30min – Auditório do Centro de Eventos do INF
Título: The Rise and Fall of Linear Temporal Logic

One of the surprising developments in the area of program verification in the late part of the 20th Century is the emergence of Linear Temporal Logic (LTL), a logic that emerged in philosophical studies of free will, as the canonical language for describing temporal behavior of computer systems. LTL, however, is not expressive enough for industrial applications.
The first decade of the 21 Century saw the emergence of industrial temporal logics such as ForSpec, PSL, and SVA. These logics, however, are not clean enough to serve as objects of theoretical study. This talk will describe the rise and fall of LTL, and will propose a new canonical temporal logic: Linear Dynamic Logic (LDL).

28/3 – sexta-feira
12h45min – Auditório do Centro de Eventos do INF
Título: Enhancing Academic Research and Scholarship

Many academic institutions seek to visibly and substantially increase their commitment to the research mission and raise their research and scholarship profile. Yet institutions often struggle with translating such a wish to concrete actions and accomplishments. During 2012-13, I chaired a senate working group at Rice University that was tasked with assessing the culture, processes, and structures currently existing at Rice to support and improve research and scholarship efforts. In this talk I present the findings of the working group and describe how they apply to other academic institutions.

Minicurrículo

Moshe Y. Vardi is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology Institute at Rice University. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award, and the Southeastern Universities Research Association’s Distinguished Scientist Award. He is the author and co-author of over 400 papers, as well as two books: “Reasoning about Knowledge” and “Finite Model Theory and Its Applications”. He is a Fellow of the Association for Computing Machinery, the American Association for Artificial Intelligence, the American Association for the Advancement of Science, and the Institute for Electrical and Electronic Engineers. He is a member of the US National Academy of Engineering, the American Academy of Arts and Science, the European Academy of Science, and Academia Europea. He holds honorary doctorates from the Saarland University in Germany and Orleans University in France. He is the Editor-in-Chief of the Communications of the ACM.