LAM’12 Programme

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

Logics, Agents, and Mobility

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

Monday, 25 June

09:00-Invited Talk (Room B-201 Informatics Campus)
Wolfgang Marwan Petri Nets – an Integrative Framework for Advanced Biomodel Engineering
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:45-Session 2 (Room C-104 Informatics Campus)
José Martín Castro-Manzano Modelling Intentional Reasoning with Defeasible and Temporal Logic
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: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:45-Invited Talk (Room B-201 Informatics Campus)
Julia Padberg Reconfigurable Petri Nets: Modeling and Analysis


Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s

%d bloggers like this: