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

News & Events

[PL Seminar] Talk: Carolyn Talcott

2009.10.29 | Karl Klose

Date Thu Dec 03
Time 15:00 — 16:30
Location DI-Ada-018
Email Twitter Facebook

Title: Symbolic Systems Biology: Using Formal Methods Tools to Model Biological Processes

Speaker: Carolyn L. Talcott, Stanford Research Institute, ttp://blackforest.stanford.edu/clt/

Time and place: Thursday, 3.12.2009, 15:00-16:00, Ada-018

Abstract:
Symbolic systems biology (SSB) is an approach to computational modeling
of biological systems that builds on logical representations and uses
the symbolic reasoning tools developed for analysis of complex hardware
and software systems. The first part of the talk will give an overview
of SSB projects in the SRI Center for Computational Biology, The second
part of the talk will describe the Pathway Logic project, an approach
to SSB based on Rewriting Logic. We will describe the biological
processes to be modeled (intra cellular signaling) and describe some
case studies.

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