Campus Event Calendar
Event Entry
New for: D3
What and Who
Automation of Logic: Why bother?
Christoph Weidenbach
Max-Planck-Institut für Informatik - RG 1
Senior Researcher Series
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 13 January 2010
16:00
60 Minutes
E1 4
024
Saarbrücken
Abstract
Traditionally, a logic was a formal language with a precise semantics.
While computer science grew up a logic eventually evolved to a formal
language with a precise semantics, a proof theory, an actual implementation
and an application domain, designed to solve problems from the domain.
For example, some programming languages have a well-defined type concept
that can be used to automatically check well-typedness of a program at
compile time.
In my talk I will further motivate why it is important to study the automation of logics
in general, what have been main achievements in the last 20 years, what
are current challenges and speculate on what we will see in the future.
While computer science grew up a logic eventually evolved to a formal
language with a precise semantics, a proof theory, an actual implementation
and an application domain, designed to solve problems from the domain.
For example, some programming languages have a well-defined type concept
that can be used to automatically check well-typedness of a program at
compile time.
In my talk I will further motivate why it is important to study the automation of logics
in general, what have been main achievements in the last 20 years, what
are current challenges and speculate on what we will see in the future.
Contact
Jennifer Müller
900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 01/06/2010 13:15
Jennifer Müller, 08/14/2009 12:22 -- Created document.
Jennifer Müller, 08/14/2009 12:22 -- Created document.