ANR PACE project

PACE meeting, april 22-23 2013, Bologna

Monday, april 22nd

• 9h15 Welcome and presentation of PACE, D. Hirschkoff/D. Sangiorgi
• 9h30 Y. Fu "Tutorial on the Theory of Interaction" T2.1 tutorial talk
• 10h15 G. Zavattaro, a focused talk on expressiveness T2
• 10h35 break
• 11h00 C. Palamidessi "Differential privacy" T2.3 tutorial talk
• 11h45 Valeria Vignudelli, "The discriminating power of higher-order concurrent probabilistic processes" T1.3
• 12h05 lunch
  
  
• 14h00 Xu Xian, "Böhm trees and Lévy-Longo trees in the pi-calculus" T1
• 14h30 F. Valencia, "An epistemic calculus for spatially distributed systems with potential applications to social networks" T2.2
• 15h00 discussion on Task 2
• 15h30 break
• 16h00 U. Dal Lago "Higher-Order quantum and probabilistic programming" T1.3 & T3.3 tutorial talk
• 16h45 Y. Deng "Probabilistic Bisimulation" T1.3 & T3.3
• 17h30 end
  
  
• 20h00 social dinner

Tuesday, april 23rd

• 9h30 Y. Deng "Quantum Process Algebra" T1.3 & T3.3 tutorial talk
• 10h00 I. Lanese "Behavioural equivalence and bisimilarity for reversible computations" T1
• 10h30 JM. Madiot "A pi-calculus with preorders" T2
• 11h00 break
• 11h30 D. Pous "Up-to techniques" T1.1 & T3.1 tutorial talk
• 12h15 lunch
  
  
• 14h00 F. Bonchi, "From Equivalences to Metrics" T1 & T3     tutorial talk
• 14h45 Y. Fu "Checking Equality and Regularity for Normed BPA with Silent Moves" T3
• 15h15 discussion on T1 & T3, planning of the project
• 16h15 End of the meeting

*

Participants
Y.Deng, D.Sangiorgi, Y.Fu, U.Dal Lago, C.Palamidessi, F.Bonchi, D.Pous, D.Hirschkoff, M.Gabbrielli, G.Zavattaro, JM.Madiot, F. Zanasi, F. Valencia (only on the 22nd), Xian Xu, V. Vignudelli..