Saturday, September 28

Fifth Compulog-Network Area Meeting on Language Design and Semantic Analysis Methods

 
 9.00-10.00 Comparing the Expressive Power of the Synchronous and the 
            Asynchronous pi-calculus
              C. Palamidessi (invited talk)

10.00-10.30 Coffee break 

10.30-11.00 A Domain-Independent Framework for the Analysis of the CCP language AKL
              P. Brand and T. Sjöland
11.00-11.30 Verification of Concurrent Constraint Programs through 
            Abstract Interpretation with Set Constraints
              A. Podelski
11.30-12.00 A Domain for a Semantics of Guarded Horn Clauses for 
            Programs on Distributed Environment
              T. Kato and M. Murakami
12.00-12.30 A universal interpreter for nondeterministic concurrent
            programming languages
              A. Letichevsky and D. Gilbert

12.30-14.00 Lunch

14.00-15.00 Title to be announced
              F. Orejas (invited talk) 

15.00-15.30 Coffee break

15.30-16.00 Heyting completions of abstract interpretations
              R. Giacobazzi and F. Scozzari
16.00-16.30 Forward-Tracking: a technique for searching beyond failure
              E. Marchiori, M. Marchiori and J. Kok
16.30-17.00 Using replacement restrictions in functional-logic languages
              S. Lucas
17.00-17.30 Operating on parametrized context-free grammars 
              R. Lämmel and G. Riedewald