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):

 

 

Keynote Speakers

 

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

 

-          Ying Jiang (+86 186 0127 6358)

-          Xinxin Liu (+86 136 7110 4856)

-          Peng Wu   (+86 185 1107 1075)

 

Sponsorship

 

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