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