Focus Meetings
The meetings
usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
2018
- 09.01.2018. Filippo Bonchi: "Sound up-to techniques and complete abstract domain."
2017
- 08.02.2017. Ugo Dal Lago: "Report on conferences and workshops."
- 15.02.2017. German Vidal, Adrián Palacios: "A Reversible Semantics for Erlang."
- 16.02.2017. Matteo Acclavio: "Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics."
- 08.03.2017. Raphaelle Crubillé: "Metric Reasoning about Lambda-Terms: the General Case."
- 21.03.2017. Mario Bravetti: "Undecidability of Asynchronous Session Subtyping and its Decidable and Undecidable Fragments."
- 28.03.2017. Andrea Condoluci: "Testing Equality is Linear."
- 02.05.2017. Ken Sakayori: "A Truly Concurrent Game Model of the Asynchronous pi-Calculus."
- 23.05.2017. Marco Carbone: "Multiparty Session types and Linear Logic."
- 07.06.2017. Beniamino Accattoli: "The Complexity of Abstract Machines."
- 17.10.2017. Roberto Gorrieri: "Team Bisimilarity, and its Associated Modal Logic, for BPP Nets."
2016
- 20.01.2016. Charles Grellois: "Higher-order model checking."
- 04.02.2016. Marco Bernardo: "Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems."
- 16.03.2016. Vincenzo Mastandrea: "Deadlock analysis for active objects with implicit synchronization."
- 23.03.2016. Guillermo Román Díez: "Resource Analysis."
- 20.09.2016. Lukasz Mikulski: "On Concurrency Paradigms."
- 21.09.2016. Jean-Pierre Jouannaud: "Coq modulo theory."
- 23.11.2016. Paul Blain Levy: "Trace semantics of well-founded processes via commutativity."
- 30.11.2016. Akihisa Yamada: "Certifying Safety and Termination Proofs for Integer Transition Systems."
2015
- 28.01.2015. Giovanni Pardini: "Lazy Security Controllers."
- 04.02.2015. Giulio Pellitta: "Automated Security Proof for Symmetric Encryption Modes."
- 17.02.2015. Antonio Ravara: "Towards static deadlock resolution in the pi-calculus."
- 18.02.2015. Silvia Crafa: "Concurrency theory and concurrent languages: an evolutionary view of programming abstractions."
- 25.02.2015. Henning Kerstan: "Probabilistic Transition Systems."
- 11.03.2015. Jean-Bernard Stefani: "Location graphs: yet another global computing model (but with reason)."
- 18.03.2015. Isabel Oitavem: "P, NP and Pspace from a recursion-theoretic perspective."
- 01.04.2015. Alexis Bernadet: "Non idempotent intersection types to refine strong normalisation with quantitative information."
- 08.04.2015. Reinhard Kahle: "Theories for Classes of Computational Complexity."
- 15.04.2015. Simone Martini: "Language(s) as a foundation for computer science."
- 29.04.2015. Violet Ka I Pun: "Meeting Deadlines, Elastically."
- 19.05.2015. Volker Stolz: "Search-based composed refactorings."
- 03.06.2015. Ugo Dal Lago: "Report on conferences and workshops."
- 10.06.2015. Martin Avanzini: "Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order."
- 09.09.2015. Giuseppe De Ruvo: "An Unusual Context for Formal Verification: Wiki Evolution."
- 11.11.2015. Thomas Leventis: " Theories in Probabilistic lambda-calculus."
- 25.11.2015. Mirko Viroli: "Perspectives on Aggregate Computing."
- 14.12.2015. Ales Bizjak: "Step-Indexed Logical Relations for Probability."
- 16.12.2015. Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproducibility of Science and Technology."
2014
- 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."
- 05.02.2014. Ugo Dal Lago, Giulio Pellitta: "Discussion on papers presented at POPL and LPAR."
- 26.02.2014. Jean-Bernard Stefani: "Strong isolation in actor systems."
- 05.03.2014. Davide Bresolin: "Recent advances in Propositional Interval Temporal Logics."
- 12.03.2014. Davide Sangiorgi: Discussion on coinductive and inductive proof techniques.
- 02.04.2014. Beniamino Accattoli: "Lambda calculus and the invariance thesis."
- 09.04.2014. Mauro Caporuscio: "Prime: A middleware support for fluid distributed systems."
- 16.04.2014. Fabrizio Montesi: "Choreographic Programming."
- 30.04.2014. Jean-Marie Madiot: Interplay between symmetry (input/output) and subtyping in calculi for mobile processes.
- 13.05.2014. Sandro Etalle: "Signature-Less Network Intrusion Detection: from the research table to the production environments."
- 14.05.2014. Jean-Marie Madiot: Presentation of a paper on parameterized coinduction.
- 21.05.2014. Wolf Zimmermann: "Automatic Protocol Conformance Checking in Component-Based and Service-Oriented Systems."
- 11.06.2014. Mario Bravetti: "Reduction Semantics in Markovian Process Algebra."
- 25.06.2014. Jean-Marie Madiot: "The power of bisimulations up to."
- 02.07.2014. Enrico Tassi: "An extension of lambda-prolog for the implementation of proof assistants."
- 08.10.2014. Cosimo Laneve and Davide Sangiorgi: Discussion on CONCUR14 paper talks.
- 15.10.2014. Lars Kotthoff: "Towards an algorithm selection standard: data format and tools."
- 29.10.2014. Martin Avanzini: "Automated Complexity Analysis of Term Rewrite Systems."
- 12.11.2014. Herbert Wiklicky: "Quantitative Aspects in Program Synthesis."
- 19.11.2014. Roberto Amadini: "Portfolio Approaches in Constraint Programming."
- 03.12.2014. Claudio Sacerdoti Coen: "The number of Beta-Redexes is a unitary cost model for CBV. Or how to implement beta reduction in linear time."
- 17.12.2014. Giorgio Bacci, Giovanni Bacci: "On the Total Variation Distance of semi-Markov Chains."
2013
- 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."
- 25.02.2013. Marco Bernardo: "The ULTraS? Framework:New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum." (Visitor)
- 27.02.2013. Ugo Dal Lago: "Infinitary Lambda Calculi from a Linear Viewpoint."
- 13.03.2013. Bologna Focus Team: Discussion on POPL 2013 paper talks.
- 20.03.2013. Elena Giachino: Discussion on Research Activity.
- 27.03.2013. Michael Lodi: "Viruses and Self-modifying Programs."
- 03.04.2013. Simon Gay: "Programs + Communication Structures = Systems" (Visitor)
- 10.04.2013. Jean-Marie Madiot: "Name-passing calculi: from fusions to preorders and types"
- 17.04.2013. Ivan Lanese
- 15.05.2013. Riccardo Solmi: "CodeGeneration 2013 + Language Workbench Challenge"
- 22.05.2013. Andrei Dorman: "Concurrent Interaction Nets and Graph Rewriting" (Visitor)
- 29.05.2013. Gilles Barthe: "Talk on Security and Cryptography" (Visitor)
- 10.06.2013. Matthew Hennessy: "Exploring probabilistic bisimulations." (Visitor)
- 19.06.2013. Claudio Sacerdoti Coen: "The computational content of classical and subtractive logic."
- 11.09.2013. Cosimo Laneve: Discussion on the new EU project "Envisage".
- 18.09.2013. Jacopo Mauro: Component Reconfiguration in the Presence of Conflicts.
- 25.09.2013. Claudio Guidi: About Jolie.
- 16.10.2013. Tudor A. Lascu: A Planning Tool Supporting the Deployment of Cloud Applications.
- 24.10.2013. Lionel Vaux: On the finiteness of recursive algebraic datatypes.
- 24.10.2013. Emmanuel Beffara: Proofs as schedules.
- 25.10.2013. Ugo Dal Lago: Probabilistic Applicative Bisimulation and Call-by-Value Lambda Calculi.
- 25.10.2013. Beniamino Accattoli: Linear Logic and Strong Normalization.
- 06.11.2013. Andrea Asperti: The cost of usage in the lambda calculus.
- 20.11.2013. Giulio Pellitta: A type system for lambda mu calculus.
- 04.12.2013. Ivan Lanese: Causal-Consistent Reversible Debugging.
- 11.12.2013. Meeting with INRIA representatives (Thierry Priol and Manuel Serrano).
- 18.13.2013. Ornela Dardha: Progress as Compositional Lock-Freedom.
2012
- 11.01.2012. Claudio Guidi: "Service Oriented Recursion"
- 18.01.2012. Elena Giachino: Presentation of a paper on combination of static and dynamic typing.
- 30.01.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks" (Visitor)
- 22.02.2012. Ornela Dardha: "Session Types Revisited"
- 07.03.2012. Alexandru Tudor Lascu: " Behavioural patterns and name creation" (Thesis Proposal)
- 14.03.2012. Matias Lee: "Probabilistic transition system specification: Congruence and full abstraction of bisimulation"
- 28.03.2012. Giulio Pellitta: "Implicit Computational Complexity for handy functional languages: control operators and scalability" (Thesis Proposal)
- 26.04.2012. Martin Avanzini: "A New Order-theoretic Characterisation of the Polytime Computable Functions" (Visitor)
- 09.05.2012. Raju Halder: " Extending Abstract Interpretation to New Applicative Scenarios" (Visitor)
- 23.05.2012. Luca Fossati: "Intensional and Extensional Characterisation of Global Progress in the pi-Calculus" (Visitor)
- 06.06.2012. Marco Gaboardi: "A language for differential privacy"
- 13.06.2012. Jean-Marie Madiot: "Duality and i/o types in pi calculus"
- 27.06.2012. Paolo Parisen Toldin: "An imperative characterization of probabilistic polynomial time"
- 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy" (Visitor)
- 11.09.2012. Barbara Petit: "Dependent Linear Types in a Call-by-value Scenario"
- 31.10.2012. Mariangiola Dezani. "Global and Session Types: An Introduction" (Visitor)
- 07.11.2012. Clément Aubert. "Characterizing co-NL by a Group Action" (Visitor)
- 21.11.2012. Tudor Alexandru Lascu. "Two tools for managing system's deployment and configuration"
- 28.11.2012. Focus Team Bologna. "Focus Evaluation Report and Activity Report 2012 (discussion)"
2011
- 19.01.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
- 26.01.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "
- 09.03.2011. Davide Sangiorgi : General discussions on Focus and Hats
- 16.03.2011. Jacopo Mauro : Discussion on the language Hop (team Indes at Inria Sophia)
- 30.03.2011. Davide Sangiorgi : Discussion on a paper on bisimulation for the lambda-calculus by V. Koutavs, B.P. Levy and E. Sumi
- 06.04.2011. Ornela Dardha : Discussion on a paper on logical techniques for handling software distribution by R. Di Cosmo and J. Vouillon
- 13.04.2011. Ugo Dal Lago : Discussion on a paper by Caires and Pfenning on the use of linear logic for service-oriented computing.
- 20.04.2011. Jerome Ferret (ENS Paris/INRIA): Presentation of ongoing research on models for biology.
- 04.05.2011. Claudio Mezzina (INRIA Grenoble): Presentation of ongoing research on reversible computation
- 11.05.2011. Paolo Parisen-Toldin: Presentation of ongoing research on probabilistic polynomial time.
- 18.05.2011. Ivan Lanese/Mario Bravetti: Report Lisbon workshop on types for processes
- 24.05.2011. General discussions on languages for web 2.0
- 25.05.2011. General discussions on languages for orchestration
- 08.05.2011. Beniamino Accattoli (INRIA Futur): The kingdom of polarity and the polarity of the kingdom
- 15.05.2011. General discussion on the Discotec conference cluster (Island)
- 22.06.2011. Riccardo Solmi: Presentation of the Whole platform and report on the Language Workbench and Code Generation conferences
- 21.09.2011. Paolo di Giamberardino (Università di Cagliari): Soft Session Types.
- 11.10.2011. Jacopo Mauro: Presentation of a paper dealing with orchestration in Hop.
- 22.11.2011. Discussion on Activity Report Focus 2011.
- 06.12.2011. Matias Lee: Semantics for interactive sequential systems and non-interference properties.
- 20.12.2011. Gianluigi Zavattaro: An autmata-like model for the Aeolus project
2010
- 20.01.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
- 27.01.2010. Ivan Lanese presented some recent work on evolvability
- 03.02.2010. Elena Giachino presented some models for software families (discussion on papers from Hats). Part I
- 10.02.2010. Elena Giachino presented some models per software families (discussion on papers from Hats). Part II
- 17.02.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"
- 03.03.2010. Mario Bravetti discussed the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
- 24.03.2010. Michael Lienhardt (INRIA Grenoble) "Components and Types: The component language Oz/K "
- 07.04.2010. Elena Giachino discussed the ABS language
- 28.04.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
- 19.05.2010. Davide Sangiorgi reported on the recent Hats meeting in Amsterdam; and Gianluigi Zavattaro discussed about evolvability in CCS
- 26.05.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)
- 16.06.2010. Ugo Dal Lago: " Functional Programming in Sublinear Space"
- 30.06.2010. Yannick Welsch: "Class equivalence and object immutability in Java"
- 10.09.2010. Ornela Dardha: Semantic Subtyping for Objects and Classes
- 15.09.2010. Davide Sangiorgi: report on the meeting Hats ; Ivan Lanese: report on Concur
- 29.09.2010. Reports on Lics and Concur from various people
- 06.10.2010. Marco Patrignani (U. Leuven): "Ownership types"
- 13.10.2010. Michael Lienhardt, report on some papers on evolvability of components
- 20.10.2010. Immo Grabe (CWI, Amsterdam): "Towards static deadlock detection in Creol "
- 03.11.2010. Davide Sangiorgi, discussion on the Inria Activity Report for Focus
- 10.11.2010. Michael Lienhardt, discussion on "delta models for evolvability/variability of objects".
- 15.11.2010. Lucian Wischik (Microsoft) "Asynchrony; a new language feature in C# and VB"
- 24.11.2010. Roberto Zunino (Università di Trento), "A Calculus of Contracting Processes"
- 15.12.2010. Inria/University of Bologna meeting, see details here