r107 - 23 May 2017 - 09:02:23 - FrancescoGavazzo?You are here: TWiki >  Main Web > ProjectSeminars

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"

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."
  • 23.05.2017. Marco Carbone: "Multiparty Session types and Linear Logic."

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
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r107 < r106 < r105 < r104 < r103 | More topic actions
 
Powered by TWiki
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services.
By continuing to navigate the website you consent to the use of cookies. To learn more, or deny your consent, consult the privacy policy
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.