Difference: ProjectSeminars (1 vs. 112)

Revision 11216 Dec 2018 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 16 to 16
 
  • 15.11.2018. Thomas Leventis: "Taylor Expansion of lambda terms and differential linear logic."
  • 22.11.2018. Andrea Condoluci: "A(b)normal Environments."
  • 29.11.2018. Ugo Dal Lago: "Game Semantics and probabilistic higher-order computation."
Changed:
<
<
>
>
  • 13.12.2018. Nao Hirokawa: "Transformations for Lazy Evaluation and Theorem Proving."
  • 17.12.2018. Claudia Faggian: "Probabilistic Lambda Calculus -- beyond deterministic evaluation."
 

2017

Revision 11107 Dec 2018 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 11 to 11
 
  • 05.06.2018. Gabriel Scherer: "Keep (re)playing until your get all the successes."
  • 19.06.2018. Ozalp Babaoglu: "Cognified Distributed Computing."
  • 03.07.2018. Giulio Guerrieri: "Types of Fireballs."
Added:
>
>
  • 12.09.2018. Luis Llana: "Probabilistic software product lines."
  • 19.09.2018. Emilio Tuosto: "On pomsets as models of asynchronous message-passing languages."
  • 15.11.2018. Thomas Leventis: "Taylor Expansion of lambda terms and differential linear logic."
  • 22.11.2018. Andrea Condoluci: "A(b)normal Environments."
  • 29.11.2018. Ugo Dal Lago: "Game Semantics and probabilistic higher-order computation."
 

Revision 11018 Jun 2018 - Main.FrancescoGavazzo

Line: 1 to 1
 

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."
Added:
>
>
  • 30.01.2018. Ivan Lanese: "A reversibile debugger for Erlang."
  • 06.03.2018. Francesco Gavazzo: "Towards Programming Languages for Machine Learning."
  • 08.05.2018. Adrien Durier: "Call-by-Value Lambda-Calculus, Tree Structures for Call-by-Value and Process Representations for Them."
  • 29.05.2018. Gabriele Vanoni: "On Randomised Strategies in the Lambda-Calculus."
  • 05.06.2018. Gabriel Scherer: "Keep (re)playing until your get all the successes."
  • 19.06.2018. Ozalp Babaoglu: "Cognified Distributed Computing."
  • 03.07.2018. Giulio Guerrieri: "Types of Fireballs."
 

2017

  • 08.02.2017. Ugo Dal Lago: "Report on conferences and workshops."

Revision 10916 Jan 2018 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

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

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."

Revision 10823 Nov 2017 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 8 to 8
 
  • 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."
Added:
>
>
  • 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."
Added:
>
>
  • 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."
 

Revision 10723 May 2017 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

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

2017

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

Revision 10602 Apr 2017 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

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

2017

  • 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."

 

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."

Revision 10506 Dec 2016 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2016

  • 20.01.2016. Charles Grellois: "Higher-order model checking."
Changed:
<
<
  • 04.02.2015. Marco Bernardo: "Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems."
  • 16.03.2015. Vincenzo Mastandrea: "Deadlock analysis for active objects with implicit synchronization."
  • 23.03.2015. Guillermo Román Díez: "Resource Analysis."
>
>
  • 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."

Revision 10428 Jun 2016 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2016

  • 20.01.2016. Charles Grellois: "Higher-order model checking."
  • 04.02.2015. Marco Bernardo: "Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems."
  • 16.03.2015. Vincenzo Mastandrea: "Deadlock analysis for active objects with implicit synchronization."
  • 23.03.2015. Guillermo Román Díez: "Resource Analysis."
 

2015

  • 28.01.2015. Giovanni Pardini: "Lazy Security Controllers."
  • 04.02.2015. Giulio Pellitta: "Automated Security Proof for Symmetric Encryption Modes."

Revision 10302 Jan 2016 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 21 to 21
 
  • 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."
Changed:
<
<
  • 16.12.2015. Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproductibility of Science and Technology."
>
>
  • 16.12.2015. Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproducibility of Science and Technology."
 

2014

Revision 10202 Jan 2016 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 20 to 20
 
  • 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."
Added:
>
>
  • 14.12.2015. Ales Bizjak: "Step-Indexed Logical Relations for Probability."
  • 16.12.2015. Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproductibility of Science and Technology."
 

2014

Revision 10104 Dec 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 18 to 18
 
  • 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."
Added:
>
>
  • 11.11.2015. Thomas Leventis: " Theories in Probabilistic lambda-calculus."
  • 25.11.2015. Mirko Viroli: "Perspectives on Aggregate Computing."

 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 10009 Nov 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 17 to 17
 
  • 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."
Added:
>
>
  • 09.09.2015. Giuseppe De Ruvo: "An Unusual Context for Formal Verification: Wiki Evolution."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9910 Jun 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 16 to 16
 
  • 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."
Added:
>
>
  • 10.06.2015. Martin Avanzini: "Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9805 Jun 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 13 to 13
 
  • 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."
Added:
>
>
  • 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."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9715 Apr 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 10 to 10
 
  • 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."
Changed:
<
<
>
>
  • 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."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9618 Mar 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 8 to 8
 
  • 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."
Changed:
<
<
  • 10.03.2015. Jean-Bernard Stefani: "Location graphs: yet another global computing model (but with reason)."
>
>
  • 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."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9510 Mar 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 8 to 8
 
  • 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."
Added:
>
>
  • 10.03.2015. Jean-Bernard Stefani: "Location graphs: yet another global computing model (but with reason)."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9424 Feb 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 7 to 7
 
  • 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."
Added:
>
>
  • 25.02.2015. Henning Kerstan: "Probabilistic Transition Systems."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9314 Feb 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2015

  • 28.01.2015. Giovanni Pardini: "Lazy Security Controllers."
  • 04.02.2015. Giulio Pellitta: "Automated Security Proof for Symmetric Encryption Modes."
Added:
>
>
  • 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."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9230 Jan 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2015

  • 28.01.2015. Giovanni Pardini: "Lazy Security Controllers."
Added:
>
>
  • 04.02.2015. Giulio Pellitta: "Automated Security Proof for Symmetric Encryption Modes."
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."

Revision 9128 Jan 2015 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2015

  • 28.01.2015. Giovanni Pardini: "Lazy Security Controllers."
 

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."

Revision 9016 Dec 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2014

Line: 23 to 23
 
  • 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."
Added:
>
>
  • 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."

Revision 8903 Dec 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2014

Line: 21 to 21
 
  • 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."
Added:
>
>
  • 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."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8810 Nov 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2014

Line: 20 to 20
 
  • 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."
Added:
>
>
  • 12.11.2014. Herbert Wiklicky: "Quantitative Aspects in Program Synthesis."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8728 Oct 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

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

2014

Line: 19 to 19
 
  • 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."
Added:
>
>
  • 29.10.2014. Martin Avanzini: "Automated Complexity Analysis of Term Rewrite Systems."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8613 Oct 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

Changed:
<
<
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
>
>
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
 

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."
Line: 17 to 17
 
  • 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."
Added:
>
>
  • 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."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8507 Jul 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 16 to 16
 
  • 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."
Added:
>
>
  • 02.07.2014. Enrico Tassi: "An extension of lambda-prolog for the implementation of proof assistants."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8423 Jun 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 15 to 15
 
  • 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."
Changed:
<
<
  • 25.06.2014. Enrico Tassi: "An extension of lambda-prolog for the implementation of proof assistants."
>
>
  • 25.06.2014. Jean-Marie Madiot: "The power of bisimulations up to."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8323 Jun 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 15 to 15
 
  • 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."
Added:
>
>
  • 25.06.2014. Enrico Tassi: "An extension of lambda-prolog for the implementation of proof assistants."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8209 Jun 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 14 to 14
 
  • 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."
Added:
>
>
  • 11.06.2014. Mario Bravetti: "Reduction Semantics in Markovian Process Algebra."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8120 May 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 13 to 13
 
  • 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.
Added:
>
>
  • 21.05.2014. Wolf Zimmermann: "Automatic Protocol Conformance Checking in Component-Based and Service-Oriented Systems."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 8012 May 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 12 to 12
 
  • 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."
Added:
>
>
  • 14.05.2014. Jean-Marie Madiot: Presentation of a paper on parameterized coinduction.
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 7911 May 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 11 to 11
 
  • 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.
Added:
>
>
  • 13.05.2014. Sandro Etalle: "Signature-Less Network Intrusion Detection: from the research table to the production environments."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 7827 Apr 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 10 to 10
 
  • 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."
Added:
>
>
  • 30.04.2014. Jean-Marie Madiot: Interplay between symmetry (input/output) and subtyping in calculi for mobile processes.
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 7711 Apr 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 9 to 9
 
  • 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."
Added:
>
>
  • 16.04.2014. Fabrizio Montesi: "Choreographic Programming."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 7603 Apr 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 8 to 8
 
  • 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."
Added:
>
>
  • 09.04.2014. Mauro Caporuscio: "Prime: A middleware support for fluid distributed systems."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 7502 Apr 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 7 to 7
 
  • 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.
Added:
>
>
  • 02.04.2014. Beniamino Accattoli: "Lambda calculus and the invariance thesis."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."

Revision 7410 Mar 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Line: 6 to 6
 
  • 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."
Added:
>
>
  • 12.03.2014. Davide Sangiorgi: Discussion on coinductive and inductive proof techniques.
 

2013

Changed:
<
<
  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."
>
>
  • 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.

Revision 7303 Mar 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

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."
Added:
>
>
  • 05.03.2014. Davide Bresolin: "Recent advances in Propositional Interval Temporal Logics."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."

Revision 7222 Feb 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

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."
Changed:
<
<
  • 25.02.2014. Jean-Bernard Stefani: "Strong isolation in actor systems."
>
>
  • 26.02.2014. Jean-Bernard Stefani: "Strong isolation in actor systems."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."

Revision 7121 Feb 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

Changed:
<
<
  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus".
>
>
  • 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."
Added:
>
>
  • 25.02.2014. Jean-Bernard Stefani: "Strong isolation in actor systems."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."

Revision 7005 Feb 2014 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus".
Added:
>
>
  • 05.02.2014. Ugo Dal Lago, Giulio Pellitta: "Discussion on papers presented at POPL and LPAR."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."

Revision 6909 Jan 2014 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
Added:
>
>

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus".
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."
  • 25.02.2013. Marco Bernardo: "The ULTraS? Framework:New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum." (Visitor)

Revision 6817 Dec 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 28 to 28
 
  • 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).
Added:
>
>
  • 18.13.2013. Ornela Dardha: Progress as Compositional Lock-Freedom.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 6711 Dec 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 27 to 27
 
  • 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.
Added:
>
>
  • 11.12.2013. Meeting with INRIA representatives (Thierry Priol and Manuel Serrano).
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"
Line: 50 to 51
 
  • 28.11.2012. Focus Team Bologna. "Focus Evaluation Report and Activity Report 2012 (discussion)"

2011

Changed:
<
<
  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "
  • 9.3.2011. Davide Sangiorgi : General discussions on Focus and Hats
  • 16.3.2011. Jacopo Mauro : Discussion on the language Hop (team Indes at Inria Sophia)
  • 30.3.2011. Davide Sangiorgi : Discussion on a paper on bisimulation for the lambda-calculus by V. Koutavs, B.P. Levy and E. Sumi
  • 6.4.2011. Ornela Dardha : Discussion on a paper on logical techniques for handling software distribution by R. Di Cosmo and J. Vouillon
  • 13.4.2011. Ugo Dal Lago : Discussion on a paper by Caires and Pfenning on the use of linear logic for service-oriented computing.
  • 20.4.2011. Jerome Ferret (ENS Paris/INRIA): Presentation of ongoing research on models for biology.
  • 4.5.2011. Claudio Mezzina (INRIA Grenoble): Presentation of ongoing research on reversible computation
  • 11.5.2011. Paolo Parisen-Toldin: Presentation of ongoing research on probabilistic polynomial time.
  • 18.5.2011. Ivan Lanese/Mario Bravetti: Report Lisbon workshop on types for processes
  • 24.5.2011. General discussions on languages for web 2.0
  • 25.5.2011. General discussions on languages for orchestration
  • 8.5.2011. Beniamino Accattoli (INRIA Futur): The kingdom of polarity and the polarity of the kingdom
  • 15.5.2011. General discussion on the Discotec conference cluster (Island)
  • 22.6.2011. Riccardo Solmi: Presentation of the Whole platform and report on the Language Workbench and Code Generation conferences
  • 21.9.2011. Paolo di Giamberardino (Università di Cagliari): Soft Session Types.
>
>
  • 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.
Changed:
<
<
  • 6.12.2011. Matias Lee: Semantics for interactive sequential systems and non-interference properties.
>
>
  • 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
Added:
>
>
 

2010

Changed:
<
<
  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability
  • 3.2.2010. Elena Giachino presented some models for software families (discussion on papers from Hats). Part I
  • 10.2.2010. Elena Giachino presented some models per software families (discussion on papers from Hats). Part II
  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"
  • 3.3.2010. Mario Bravetti discussed the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
  • 24.3.2010. Michael Lienhardt (INRIA Grenoble) "Components and Types: The component language Oz/K "
  • 7.4.2010. Elena Giachino discussed the ABS language
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
  • 19.5.2010. Davide Sangiorgi reported on the recent Hats meeting in Amsterdam; and Gianluigi Zavattaro discussed about evolvability in CCS
  • 26.5.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)
  • 16.6.2010. Ugo Dal Lago: " Functional Programming in Sublinear Space"
  • 30.6.2010. Yannick Welsch: "Class equivalence and object immutability in Java"
  • 15.9.2010. Davide Sangiorgi: report on the meeting Hats ; Ivan Lanese: report on Concur
  • 29.9.2010. Reports on Lics and Concur from various people
  • 6.10.2010. Marco Patrignani (U. Leuven): "Ownership types"
>
>
  • 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 "
Changed:
<
<
  • 3.11.2010. Davide Sangiorgi, discussion on the Inria Activity Report for Focus
>
>
  • 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"

Revision 6605 Dec 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 25 to 25
 
  • 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.
Changed:
<
<
  • 20.11.2013. Giulio Pellita: A type system for lambda calculus.
>
>
  • 20.11.2013. Giulio Pellitta: A type system for lambda mu calculus.
 
  • 04.12.2013. Ivan Lanese: Causal-Consistent Reversible Debugging.

2012

Revision 6504 Dec 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 26 to 26
 
  • 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 Pellita: A type system for lambda calculus.
Added:
>
>
  • 04.12.2013. Ivan Lanese: Causal-Consistent Reversible Debugging.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 6420 Nov 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 25 to 25
 
  • 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.
Added:
>
>
  • 20.11.2013. Giulio Pellita: A type system for lambda calculus.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 6311 Nov 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 24 to 24
 
  • 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.
Added:
>
>
  • 06.11.2013. Andrea Asperti: The cost of usage in the lambda calculus.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 6224 Oct 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 20 to 20
 
  • 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.
Added:
>
>
  • 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.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 6116 Oct 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 19 to 19
 
  • 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.
Added:
>
>
  • 16.10.2013. Tudor A. Lascu: A Planning Tool Supporting the Deployment of Cloud Applications.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 6011 Oct 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 18 to 18
 
  • 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.
Added:
>
>
  • 25.09.2013. Claudio Guidi: About Jolie.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5918 Sep 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 17 to 17
 
  • 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".
Added:
>
>
  • 18.09.2013. Jacopo Mauro: Component Reconfiguration in the Presence of Conflicts.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5811 Sep 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 16 to 16
 
  • 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."
Added:
>
>
  • 11.09.2013. Cosimo Laneve: Discussion on the new EU project "Envisage".
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5719 Jun 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 15 to 15
 
  • 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)
Added:
>
>
  • 19.06.2013. Claudio Sacerdoti Coen: "The computational content of classical and subtractive logic."
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5611 Jun 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 14 to 14
 
  • 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)
Added:
>
>
  • 10.06.2013. Matthew Hennessy: "Exploring probabilistic bisimulations." (Visitor)
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5529 May 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 13 to 13
 
  • 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)
Added:
>
>
  • 29.05.2013. Gilles Barthe: "Talk on Security and Cryptography" (Visitor)
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5422 May 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 12 to 12
 
  • 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"
Added:
>
>
  • 22.05.2013. Andrei Dorman: "Concurrent Interaction Nets and Graph Rewriting" (Visitor)
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5314 May 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 10 to 10
 
  • 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"
Added:
>
>
  • 17.04.2013. Ivan Lanese
  • 15.05.2013. Riccardo Solmi: "CodeGeneration 2013 + Language Workbench Challenge"
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5204 Apr 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 9 to 9
 
  • 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)
Added:
>
>
  • 10.04.2013. Jean-Marie Madiot: "Name-passing calculi: from fusions to preorders and types"
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5103 Apr 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 8 to 8
 
  • 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."
Changed:
<
<
  • 03.04.2013. Simon Gay: Tutorial on Session Types. (Visitor)
>
>
  • 03.04.2013. Simon Gay: "Programs + Communication Structures = Systems" (Visitor)
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 5027 Mar 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Line: 7 to 7
 
  • 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.
Added:
>
>
  • 27.03.2013. Michael Lodi: "Viruses and Self-modifying Programs."
  • 03.04.2013. Simon Gay: Tutorial on Session Types. (Visitor)
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 4920 Mar 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures 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."
Changed:
<
<
  • 13.03.2013. Discussion on POPL 2013 paper talks.
>
>
  • 13.03.2013. Bologna Focus Team: Discussion on POPL 2013 paper talks.
  • 20.03.2013. Elena Giachino: Discussion on Research Activity.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 4814 Mar 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures 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."
Added:
>
>
  • 13.03.2013. Discussion on POPL 2013 paper talks.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"

Revision 4725 Feb 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Changed:
<
<
  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus"
  • 25.02.2013. Marco Bernardo: "The ULTraS? Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum" (Visitor)
>
>
  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures 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."
 

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.

Revision 4618 Feb 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

Revision 4512 Feb 2013 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus"
  • 25.02.2013. Marco Bernardo: _"The ULTraS? Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Changed:
<
<
and Their Spectrum"_
>
>
and Their Spectrum"_ (Visitor)
 

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.
Line: 20 to 20
 
  • 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"
Changed:
<
<
  • 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy"
>
>
  • 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy" (Visitor)
 
  • 11.09.2012. Barbara Petit: "Dependent Linear Types in a Call-by-value Scenario"
Changed:
<
<
  • 31.10.2012. Mariangiola Dezani. "Global and Session Types: An Introduction"
  • 07.11.2012. Clément Aubert. "Characterizing co-NL by a Group Action"
>
>
  • 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)"

Revision 4412 Feb 2013 - Main.OrnelaDardha

Line: 1 to 1
Deleted:
<
<
 

Focus Meetings

Changed:
<
<
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
>
>
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus"
  • 25.02.2013. Marco Bernardo: "The ULTraS? Framework: New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum"
 

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.

Revision 4329 Nov 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
Line: 21 to 21
 
  • 31.10.2012. Mariangiola Dezani. "Global and Session Types: An Introduction"
  • 07.11.2012. Clément Aubert. "Characterizing co-NL by a Group Action"
  • 21.11.2012. Tudor Alexandru Lascu. "Two tools for managing system's deployment and configuration"
Added:
>
>
  • 28.11.2012. Focus Team Bologna. "Focus Evaluation Report and Activity Report 2012 (discussion)"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 4215 Nov 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
Line: 20 to 20
 
  • 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"
  • 07.11.2012. Clément Aubert. "Characterizing co-NL by a Group Action"
Added:
>
>
  • 21.11.2012. Tudor Alexandru Lascu. "Two tools for managing system's deployment and configuration"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 4107 Nov 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
Line: 19 to 19
 
  • 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy"
  • 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"
Added:
>
>
  • 07.11.2012. Clément Aubert. "Characterizing co-NL by a Group Action"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 4001 Nov 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
Line: 18 to 18
 
  • 27.06.2012. Paolo Parisen Toldin: "An imperative characterization of probabilistic polynomial time"
  • 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy"
  • 11.09.2012. Barbara Petit: "Dependent Linear Types in a Call-by-value Scenario"
Added:
>
>
  • 31.10.2012. Mariangiola Dezani. "Global and Session Types: An Introduction"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3925 Oct 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

Changed:
<
<
The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
>
>
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
 

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.
Line: 16 to 16
 
  • 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"
Added:
>
>
  • 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy"
 
  • 11.09.2012. Barbara Petit: "Dependent Linear Types in a Call-by-value Scenario"

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"

Revision 3811 Sep 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 16 to 16
 
  • 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"
Added:
>
>
  • 11.09.2012. Barbara Petit: "Dependent Linear Types in a Call-by-value Scenario"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3728 Jun 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 15 to 15
 
  • 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"
Added:
>
>
  • 27.06.2012. Paolo Parisen Toldin: "An imperative characterization of probabilistic polynomial time"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3613 Jun 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 14 to 14
 
  • 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"
Added:
>
>
  • 13.06.2012. Jean-Marie Madiot: "Duality and i/o types in pi calculus"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3506 Jun 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 13 to 13
 
  • 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)
Added:
>
>
  • 06.06.2012. Marco Gaboardi: "A language for differential privacy"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3423 May 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 12 to 12
 
  • 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)
Added:
>
>
  • 23.05.2012. Luca Fossati: "Intensional and Extensional Characterisation of Global Progress in the pi-Calculus" (Visitor)
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3310 May 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 11 to 11
 
  • 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)
Added:
>
>
  • 09.05.2012. Raju Halder: " Extending Abstract Interpretation to New Applicative Scenarios" (Visitor)
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3226 Apr 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

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.
Changed:
<
<
  • 30.01.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks"
>
>
  • 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)
Added:
>
>
  • 26.04.2012. Martin Avanzini: "A New Order-theoretic Characterisation of the Polytime Computable Functions" (Visitor)
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3128 Mar 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 7 to 7
 
  • 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"
  • 22.02.2012. Ornela Dardha: "Session Types Revisited"
Changed:
<
<
  • 07.03.2012. Alexandru Tudor Lascu: " Behavioural patterns and name creation"(Thesis Proposal)
>
>
  • 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"
Added:
>
>
  • 28.03.2012. Giulio Pellitta: "Implicit Computational Complexity for handy functional languages: control operators and scalability" (Thesis Proposal)
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 3013 Mar 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 8 to 8
 
  • 30.01.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks"
  • 22.02.2012. Ornela Dardha: "Session Types Revisited"
  • 07.03.2012. Alexandru Tudor Lascu: " Behavioural patterns and name creation"(Thesis Proposal)
Added:
>
>
  • 14.03.2012. Matias Lee: "Probabilistic transition system specification: Congruence and full abstraction of bisimulation"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 2907 Mar 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

2012

Changed:
<
<
  • 11.1.2012. Claudio Guidi: "Service Oriented Recursion"
  • 18.1.2012. Elena Giachino: Presentation of a paper on combination of static and dynamic typing.
  • 30.1.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks"
  • 22.2.2012. Ornela Dardha: "Session Types Revisited"
>
>
  • 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"
  • 22.02.2012. Ornela Dardha: "Session Types Revisited"
  • 07.03.2012. Alexandru Tudor Lascu: " Behavioural patterns and name creation"(Thesis Proposal)
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 2822 Feb 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

2012

  • 11.1.2012. Claudio Guidi: "Service Oriented Recursion"
  • 18.1.2012. Elena Giachino: Presentation of a paper on combination of static and dynamic typing.
Changed:
<
<
  • 30.1.2012. Peter Hofner: Formal Methods for Wireless Mesh Networks.
>
>
  • 30.1.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks"
  • 22.2.2012. Ornela Dardha: "Session Types Revisited"
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 2710 Feb 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

2012

  • 11.1.2012. Claudio Guidi: "Service Oriented Recursion"
  • 18.1.2012. Elena Giachino: Presentation of a paper on combination of static and dynamic typing.
Added:
>
>
  • 30.1.2012. Peter Hofner: Formal Methods for Wireless Mesh Networks.
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "

Revision 2626 Jan 2012 - Main.OrnelaDardha

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Added:
>
>

2012

  • 11.1.2012. Claudio Guidi: "Service Oriented Recursion"
  • 18.1.2012. Elena Giachino: Presentation of a paper on combination of static and dynamic typing.
 

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "
Line: 19 to 22
 
  • 8.5.2011. Beniamino Accattoli (INRIA Futur): The kingdom of polarity and the polarity of the kingdom
  • 15.5.2011. General discussion on the Discotec conference cluster (Island)
  • 22.6.2011. Riccardo Solmi: Presentation of the Whole platform and report on the Language Workbench and Code Generation conferences
Changed:
<
<
  • 21.9.2011. Paolo di Giamberardino (Università di Cagliari): Soft Session Types
>
>
  • 21.9.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.
  • 6.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.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 2522 Sep 2011 - Main.UgoDallago

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 19 to 19
 
  • 8.5.2011. Beniamino Accattoli (INRIA Futur): The kingdom of polarity and the polarity of the kingdom
  • 15.5.2011. General discussion on the Discotec conference cluster (Island)
  • 22.6.2011. Riccardo Solmi: _Presentation of the Whole platform and report on the Language Workbench and Code Generation conferences _
Added:
>
>
  • 21.9.2011. Paolo di Giamberardino (Università di Cagliari): Soft Session Types
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 2429 Jun 2011 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 16 to 16
 
  • 18.5.2011. Ivan Lanese/Mario Bravetti: Report Lisbon workshop on types for processes
  • 24.5.2011. General discussions on languages for web 2.0
  • 25.5.2011. General discussions on languages for orchestration
Changed:
<
<
>
>
  • 8.5.2011. Beniamino Accattoli (INRIA Futur): The kingdom of polarity and the polarity of the kingdom
  • 15.5.2011. General discussion on the Discotec conference cluster (Island)
  • 22.6.2011. Riccardo Solmi: _Presentation of the Whole platform and report on the Language Workbench and Code Generation conferences _
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 2306 Jun 2011 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 14 to 14
 
  • 4.5.2011. Claudio Mezzina (INRIA Grenoble): Presentation of ongoing research on reversible computation
  • 11.5.2011. Paolo Parisen-Toldin: Presentation of ongoing research on probabilistic polynomial time.
  • 18.5.2011. Ivan Lanese/Mario Bravetti: Report Lisbon workshop on types for processes
Added:
>
>
  • 24.5.2011. General discussions on languages for web 2.0
  • 25.5.2011. General discussions on languages for orchestration
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"

Revision 2226 Apr 2011 - Main.UgoDallago

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 10 to 10
 
  • 30.3.2011. Davide Sangiorgi : Discussion on a paper on bisimulation for the lambda-calculus by V. Koutavs, B.P. Levy and E. Sumi
  • 6.4.2011. Ornela Dardha : Discussion on a paper on logical techniques for handling software distribution by R. Di Cosmo and J. Vouillon
  • 13.4.2011. Ugo Dal Lago : Discussion on a paper by Caires and Pfenning on the use of linear logic for service-oriented computing.
Changed:
<
<
  • 40.4.2011. Jerome Ferret (ENS Paris/INRIA): Presentation of ongoing research on models for biology.
>
>
  • 20.4.2011. Jerome Ferret (ENS Paris/INRIA): Presentation of ongoing research on models for biology.
 
  • 4.5.2011. Claudio Mezzina (INRIA Grenoble): Presentation of ongoing research on reversible computation
Changed:
<
<
  • 11.5.2011. Paolo Parisen-Toldin: Presentation of ongoing research on linear logic.
>
>
  • 11.5.2011. Paolo Parisen-Toldin: Presentation of ongoing research on probabilistic polynomial time.
 
  • 18.5.2011. Ivan Lanese/Mario Bravetti: Report Lisbon workshop on types for processes

2010

Revision 2121 Apr 2011 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 9 to 9
 
  • 16.3.2011. Jacopo Mauro : Discussion on the language Hop (team Indes at Inria Sophia)
  • 30.3.2011. Davide Sangiorgi : Discussion on a paper on bisimulation for the lambda-calculus by V. Koutavs, B.P. Levy and E. Sumi
  • 6.4.2011. Ornela Dardha : Discussion on a paper on logical techniques for handling software distribution by R. Di Cosmo and J. Vouillon
Added:
>
>
  • 13.4.2011. Ugo Dal Lago : Discussion on a paper by Caires and Pfenning on the use of linear logic for service-oriented computing.
  • 40.4.2011. Jerome Ferret (ENS Paris/INRIA): Presentation of ongoing research on models for biology.
  • 4.5.2011. Claudio Mezzina (INRIA Grenoble): Presentation of ongoing research on reversible computation
  • 11.5.2011. Paolo Parisen-Toldin: Presentation of ongoing research on linear logic.
  • 18.5.2011. Ivan Lanese/Mario Bravetti: Report Lisbon workshop on types for processes
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 2005 Apr 2011 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"
Line: 6 to 6
 
  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "
  • 9.3.2011. Davide Sangiorgi : General discussions on Focus and Hats
Changed:
<
<
  • 16.1.2011. Jacopo Mauro : Discussion on the language Hop (team Indes at Inria Sophia)
>
>
  • 16.3.2011. Jacopo Mauro : Discussion on the language Hop (team Indes at Inria Sophia)
  • 30.3.2011. Davide Sangiorgi : Discussion on a paper on bisimulation for the lambda-calculus by V. Koutavs, B.P. Levy and E. Sumi
  • 6.4.2011. Ornela Dardha : Discussion on a paper on logical techniques for handling software distribution by R. Di Cosmo and J. Vouillon
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 1913 Mar 2011 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
Added:
>
>
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "
  • 9.3.2011. Davide Sangiorgi : General discussions on Focus and Hats
  • 16.1.2011. Jacopo Mauro : Discussion on the language Hop (team Indes at Inria Sophia)
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 1823 Jan 2011 - Main.UgoDallago

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

Revision 1716 Jan 2011 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

Changed:
<
<
The meetings take place on the Wednesday's, between 12.00 and 13.00
>
>
The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"

2011

  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability

Revision 1621 Dec 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 25 to 25
 
  • 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"
Added:
>
>
  • 15.12.2010. Inria/University of Bologna meeting, see details here

Revision 1521 Nov 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 22 to 22
 
  • 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 "
  • 3.11.2010. Davide Sangiorgi, discussion on the Inria Activity Report for Focus
Added:
>
>
  • 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"

Revision 1408 Nov 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 19 to 19
 
  • 15.9.2010. Davide Sangiorgi: report on the meeting Hats ; Ivan Lanese: report on Concur
  • 29.9.2010. Reports on Lics and Concur from various people
  • 6.10.2010. Marco Patrignani (U. Leuven): "Ownership types"
Added:
>
>
  • 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 "
  • 3.11.2010. Davide Sangiorgi, discussion on the Inria Activity Report for Focus

Revision 1302 Oct 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 17 to 17
 
  • 16.6.2010. Ugo Dal Lago: " Functional Programming in Sublinear Space"
  • 30.6.2010. Yannick Welsch: "Class equivalence and object immutability in Java"
  • 15.9.2010. Davide Sangiorgi: report on the meeting Hats ; Ivan Lanese: report on Concur
Added:
>
>
  • 29.9.2010. Reports on Lics and Concur from various people
  • 6.10.2010. Marco Patrignani (U. Leuven): "Ownership types"

Revision 1218 Sep 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 16 to 16
 
  • 26.5.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)
  • 16.6.2010. Ugo Dal Lago: " Functional Programming in Sublinear Space"
  • 30.6.2010. Yannick Welsch: "Class equivalence and object immutability in Java"
Added:
>
>
  • 15.9.2010. Davide Sangiorgi: report on the meeting Hats ; Ivan Lanese: report on Concur

Revision 1124 Jun 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 14 to 14
 
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
  • 19.5.2010. Davide Sangiorgi reported on the recent Hats meeting in Amsterdam; and Gianluigi Zavattaro discussed about evolvability in CCS
  • 26.5.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)
Added:
>
>
  • 16.6.2010. Ugo Dal Lago: " Functional Programming in Sublinear Space"
  • 30.6.2010. Yannick Welsch: "Class equivalence and object immutability in Java"

Revision 1025 May 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 12 to 12
 
  • 24.3.2010. Michael Lienhardt (INRIA Grenoble) "Components and Types: The component language Oz/K "
  • 7.4.2010. Elena Giachino discussed the ABS language
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
Changed:
<
<
  • 19.5.2010. Gianluigi Zavattaro discussed about evolvability in CCS
>
>
  • 19.5.2010. Davide Sangiorgi reported on the recent Hats meeting in Amsterdam; and Gianluigi Zavattaro discussed about evolvability in CCS
 
  • 26.5.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)

Revision 924 May 2010 - Main.DavideSangiorgi

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 13 to 13
 
  • 7.4.2010. Elena Giachino discussed the ABS language
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
  • 19.5.2010. Gianluigi Zavattaro discussed about evolvability in CCS
Added:
>
>
  • 26.5.2010. Marco Gaboardi: " Stream Programs Analysis" (sala riunioni 2)

Revision 823 May 2010 - Main.UgoDallago

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00
Line: 12 to 12
 
  • 24.3.2010. Michael Lienhardt (INRIA Grenoble) "Components and Types: The component language Oz/K "
  • 7.4.2010. Elena Giachino discussed the ABS language
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"
Added:
>
>
  • 19.5.2010. Gianluigi Zavattaro discussed about evolvability in CCS

Revision 728 Apr 2010 - Main.UgoDallago

Line: 1 to 1
 

Focus Meetings

Changed:
<
<
The meetings take place on the Wednesday's, between 12 and 13
>
>
The meetings take place on the Wednesday's, between 12.00 and 13.00
 

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability
Line: 9 to 9
 
  • 10.2.2010. Elena Giachino presented some models per software families (discussion on papers from Hats). Part II
  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"
  • 3.3.2010. Mario Bravetti discussed the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
Changed:
<
<
  • 24.3.2010. Michael Lienhardt (Inria Grenoble) "Components and Types: The component language Oz/K "
>
>
  • 24.3.2010. Michael Lienhardt (INRIA Grenoble) "Components and Types: The component language Oz/K "
 
  • 7.4.2010. Elena Giachino discussed the ABS language
Added:
>
>
  • 28.4.2010. Stefania Gnesi (ISTI-CNR): "A logical framework to deal with variability"

Revision 609 Apr 2010 - Main.UgoDallago

Line: 1 to 1
 

Focus Meetings

The meetings take place on the Wednesday's, between 12 and 13
Line: 6 to 6
 
  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability
  • 3.2.2010. Elena Giachino presented some models for software families (discussion on papers from Hats). Part I
Changed:
<
<
  • 10.2.2010. Elena Giachino: modelli per software family (discussion on papers from Hats). Part II
>
>
  • 10.2.2010. Elena Giachino presented some models per software families (discussion on papers from Hats). Part II
 
  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"
Changed:
<
<
  • 3.3.2010. Mario Bravetti discussed something about the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
>
>
  • 3.3.2010. Mario Bravetti discussed the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
 
  • 24.3.2010. Michael Lienhardt (Inria Grenoble) "Components and Types: The component language Oz/K "
Added:
>
>
  • 7.4.2010. Elena Giachino discussed the ABS language

Revision 526 Mar 2010 - Main.UgoDallago

Line: 1 to 1
Deleted:
<
<

Focus meetings 2010

 
Added:
>
>

Focus Meetings

 The meetings take place on the Wednesday's, between 12 and 13
Changed:
<
<
  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"

  • 27/01/10. Ivan Lanese will present some recent work on evolvability

  • 3/02/10. Elena Giachino: modelli per software family (discussion on papers from Hats). Part I

  • 10/02/10. Elena Giachino: modelli per software family (discussion on papers from Hats). Part II

  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"

  • 3.3.2010. Mario Bravetti. Discussion on the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009: 470-494. "

  • 24.3.2010. Michael Lienhardt (Inria Grenoble) "Components and Types: The component language Oz/K "
>
>

2010

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"
  • 27.1.2010. Ivan Lanese presented some recent work on evolvability
  • 3.2.2010. Elena Giachino presented some models for software families (discussion on papers from Hats). Part I
  • 10.2.2010. Elena Giachino: modelli per software family (discussion on papers from Hats). Part II
  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"
  • 3.3.2010. Mario Bravetti discussed something about the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009"
  • 24.3.2010. Michael Lienhardt (Inria Grenoble) "Components and Types: The component language Oz/K "

Revision 423 Mar 2010 - Main.DavideSangiorgi

Line: 1 to 1
 
Added:
>
>

Focus meetings 2010

The meetings take place on the Wednesday's, between 12 and 13

  • 20.1.2010 Alessio Guglielmi (University of Bath and LORIA & INRIA Nancy-Grand Est): "Normalisation with Atomic Flows"

  • 27/01/10. Ivan Lanese will present some recent work on evolvability

  • 3/02/10. Elena Giachino: modelli per software family (discussion on papers from Hats). Part I

  • 10/02/10. Elena Giachino: modelli per software family (discussion on papers from Hats). Part II

  • 17.2.2010. Laura Bocchi: "A theory of design-by-contract for distributed multiparty interactions"

  • 3.3.2010. Mario Bravetti. Discussion on the paper "Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009: 470-494. "

  • 24.3.2010. Michael Lienhardt (Inria Grenoble) "Components and Types: The component language Oz/K "

Revision 304 Feb 2010 - Main.FerdinandaCamporesi

Line: 1 to 1
Changed:
<
<
to be...
>
>

Revision 204 Feb 2010 - Main.FerdinandaCamporesi

Line: 1 to 1
Changed:
<
<
>
>
to be...

Revision 111 Jan 2010 - Main.UgoDallago

Line: 1 to 1
 
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.