First Workshop of ANR-NSFC project LOCALI

 

Keynote Speakers

Program

Local Information

Photos

Sponsorship

 

About the Workshop

LOCALI 2013, is the 1st workshop of ANR-NSFC project LOCALI, and will take place between November 4th – 7th 2013, in Beijing, China.

 

LOCALI 2013 aims at sharing research interests and launching collaborations in the area of logical approaches to novel computational paradigms. It provides a forum for computer science researchers and research students to exchange their ideas, experiences, and communicate their resent achievements. The workshop will include a variety of activities, including keynote speeches, round table discussions, formal presentations.

 

The topics of LOCALI 2013 will cover (but not limited to):

 

• Integrating theorem proving and model checking
• Coinductive methods and applications (infinite-state and parameterized systems)
• Theory of concurrency
• Multi-core and memory models
• Semantics
• Optimization control of distributive proofs

 

Keynote Speakers

• Ahmed Bouajjani, Verification of Concurrent Programs: Decidability, Complexity, Reductions
• Luc Maranget, Testing (and Defining) Weak Memeory Models
• Glynn Winskel, A language for distributed strategies

 

Program

Date	11/04		11/05		11/06
Keynote Speech 9:00-10:00	Verification of Concurrent Programs: Decidability, Complexity, Reductions Ahmed Bouajjani	slides	A language for distributed strategies Glynn Winskel	slides	Testing (and Defining) Weak Memeory Models Luc Maranget	slides
10:00-10:30	Break
10:30-12:00	Proofs and Model Checking Gilles Dowek	slides	A tree oriented extension of CCS Thomas Ehrhard	slides	Quantitative Approaches to Information Protection Catuscia Palamidessi	slides
	LTL Satisfiability Checking Revisited Lijun Zhang	slides	Enhanced symbolic simulation of a round-robin arbiter Yongjian Li	slides	Provable security of networks Angsheng Li	slides
14:00-15:30	Assume-guarantee reasoning with local specifications Peng Wu	slides	Towards direct models of classical Logic Pierre Louis Curien	slides	Metrics for Differential Privacy in Concurrent Systems Lili XU	slides
	Mining malware specifications through static reachability analysis Hugo Daniel Macedo	slides	Program Equivalence in Linear Contexts Yu Zhang	slides	Experiments with Why3 Jean Jaques Lévy	slides
15:30-16:00	Break
16:00-16:45	Automated method in proving inductive and coinductive properties on graphs Kailiang Ji	slides	Identifying isomorphic propositions Alejandro Díaz-Caro	slides	Extensions and restrictions of data automata Zhilin Wu	slides
16:45-18:00	Discussion

 

 

Local Information

 

• The workshop will be held at the Fragrant Hill Hotel (Xiangshan Hotel)
• Organizers: Gilles Dowek, Thoms Ehrhard, Ying Jiang
• Local Organizers: Please feel free to contact one of the following local organizers for assistence:

-          Ying Jiang (+86 186 0127 6358)

-          Xinxin Liu (+86 136 7110 4856)

-          Peng Wu   (+86 185 1107 1075)

• A map of the Jade Palace Hotel and the Sunshine Hotel (Hengxin Hotel)
• Five-Day Weather Forecast from weather.com

 

Sponsorship

 

The workshop is supported by ANR-NSFC project LOCALI and Institute of Software Chinese Academy of Sciences.