Arrangement
YOU ARE HERE: News & Events » Events archive » Event

News & Events

[PL-Seminar] Talk: Luca Chiarabini

2008.12.04 | Karl Klose

Date Thu Dec 11
Time 14:15 — 15:45
Location DI-Turing-014
Email Twitter Facebook

Title: Program Development by Proof Transformation: Recent Evolutions

Abstract:
To Prune a constructive proof M means to drop all the redundant case distinctionsand existential eliminations inferences in M. Christopher Alan Goad showed that a program extracted from a pruned proof can be more performing w.r.t. a program extracted from the same but not pruned proof.

In this talk we introduce the pruning a' la Goad and we show how to extend the pruning technique in order to work on a more general class of proofs. Finally we will apply both pruning and the extended pruning on a case study and we will compare the different extracted programs.

Host: Olivier Danvy

CS Calendar
Comments on content: 
Karl Klose

Revised 2012.05.22

News

Computer Science Day 2012

2012.05.21 | Featured, Frontpage

15 minutes to introduce your research. This is the concept of The Computer Science Day which is held in Large Auditorium (Incuba Science Park - Katrinebjerg), Friday the 25th of May from 13.15-15.45. For the first time in the history of the Computer Science Department at AU we will award the Teacher of the year.

And the nominees are....

2012.05.03 | Featured, Frontpage

On Computer Science Day 2012 on May 25, the Department of Computer Science will award "The teacher of the year" prize for the first time. The nominees for this year's prize are: Gudmund Frandsen, Ivan Damgaard, Gerth Brodal, Olivier Danvy and Jesper Buus Nielsen.

Facebook on charm offensive at the Department of Computer Science

2012.05.01 | Featured, Frontpage

We're hiring - a message which is understandable. The sender is Facebook who showed up on April 26 to find the absolute best software students.

Danish Minister experienced research at eye level

2012.04.25 | Featured, Frontpage

On this year’s Festival of Research both computer scientists from the EcoSense project and MADALGO got the opportunity to show the Danish Minister of Science, Innovation and Higher Education how computer science research addresses this year's theme of Europe's challenges.

Google Anita Borg Memorial for Ph.D. Students at Computer Science

2012.04.24 | Featured, Frontpage

For the second year running two female Ph.D. Students at Computer Science receive Google Anita Borg Memorial Scholars. This year the first-year Ph.D. Students Barbora Micenkova and Simina Branzel are among the winners. The award focuses on breaking down barriers and aims for more women in computing. Barbora Micenkova‘s main research interest lies…

Events

Fri May 25
07:00-08:00 | DI-pvagt
End of 4th quarter
Fri May 25
13:15-15:45 | DI-5510.103 (Store Aud. Åbogade
Computer Science Day
Fri Jun 29
12:00-13:00 |
Master's Thesis Exam - Carsten Sørensen