LAM'12

LAM’12 Programme

In News on June 21, 2012 at 7:45 am

LAM’12
Logics, Agents, and Mobility

Chairs: Berndt Müller (Farwer) and Michael Köhler-Bußmeier

Monday, 25 June

08:45-Opening
09:00-Invited Talk (Room B-201 Informatics Campus)
Wolfgang Marwan Petri Nets – an Integrative Framework for Advanced Biomodel Engineering
10:00-Break
10:15-Joint Session with PNSE (Room F-132 Informatics Campus)
Kees Van Hee, Natalia Sidorova and Jan Martijn Van Der Werf When Can We Trust a Third Party? – A Soundness Perspective
Agata Janowska, Wojciech Penczek, Agata Półrola and Andrzej Zbrzezny Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
11:15-Break
11:45-Session 2 (Room C-104 Informatics Campus)
José Martín Castro-Manzano Modelling Intentional Reasoning with Defeasible and Temporal Logic
12:30-Lunch
13:45-Session 3 (Room C-104 Informatics Campus)
Artur Męski, Wojciech Penczek, Maciej Szreter BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems
14:30-Break
14:45-Joint Talk with PNSE (Room F-132 Informatics Campus)
Michael Westergaard, Dirk Fahland and Christian Stahl Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification
15:20-Session 4 (RoomC-104 Informatics Campus)
Frank Heitmann, Michael Köhler-Bußmeier A Mobility Logic for Object Net Systems
16:05-Break
16:45-Invited Talk (Room B-201 Informatics Campus)
Julia Padberg Reconfigurable Petri Nets: Modeling and Analysis

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: