报告题目：Negotiations - a new model for concurrent systems

报告时间：周一（9月17日）上午10:00-10:30

报告地点：科技馆338

报告主要内容：

He will talk about negotiations, a formal (and graphical) model for concurrent distributed negotiations.

报告人简介：

Jörg Desel currently serves as dean of the faculty of mathematics and informatics, Fernunivesität in Hagen. He is also a visiting professor at university Paris 13 and Klagenfurt university. He earned his diploma in Computer Science at University Bonn in 1988 and earned his PhD at Technical University Munich in 1992, supervised by Prof. Wolfgang Reisig (title: Structure and Analysis of free-choice Petri Nets). His habilitation in Computer Science at Humboldt-University in Berlin in 1997 (title: Petri nets and Linear Algebra). He was an Assistent Professor at Karlsruhe University in 1995 to 1998. From 1998 to 2010, he was a full professor for applied computer science at Catholic University of Eichstätt. Since 2010, he was a full professor for software engineering and formal methods at FernUniversität in Hagen. Jörg Desel (co-)authored or (co-)edited 20 books and published more than 100 publications in journals or conference proceedings. His research topics include the ****ysis, synthesis and validation of models of concurrent systems, in particular Petri nets, and applications such as business processes. He is a member of the steering committees of the International Petri Net Conference series, of the Business Process Management conference series and of the Application of Concurrency to System Design conference series. He was the editor in chief of the Petri Net newsletter and is a member of the editorial board of the International Journal of Business Process Integration and Management. Jörg Desel was a member of the executive committee of the Gesellschaft für Informatik, and he is a member of four steering committees within the Gesellschaft für Informatik (German computer science association).