Conferences and talks of Carlo A. Furia

• LASER Summer School on Software Engineering (Tools for Practical Software Verification). 4--10 September 2011, Procchio (Elba Island), Italy.
• On Relaxing Metric Information in Linear Temporal Logic. TIME'11, 13th September 2011. Lübeck, Germany.
• ICSE 2011 (International Conference on Software Engineering). 21--28 May 2011, Honolulu, HI, USA.
• Contracts for Verification -- a personal perspective.
  Eiffel at 25, 24th November 2010. Zurich, Switzerland.
• What's Decidable About Sequences?
  ATVA'10, 22nd September 2010. Singapore.
• LASER Summer School on Software Engineering (Empirical Software Engineering). 5--11 September 2010, Procchio (Elba Island), Italy.
• Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
  ICECCS'10, 25th March 2010. Oxford, UK.
• Inferring loop invariants using postconditions.
  IFIP WG 2.3 meeting 50, 3rd March 2010. Lachen, Switzerland.
• Towards Relaxing Metric Information in Linear Temporal Logic.
  ICTCS 2009 (Italian Conference on Theoretical Computer Science). 29th September 2009. Cremona, Italy.
  
• TOOLS-EUROPE 2009 (International Conference on Objects, Models, Components, Patterns). 29 June--3 July 2009, Zürich, Switzerland.
• ICSE 2009 (International Conference on Software Engineering). 16--24 May 2009, Vancouver, Canada.
• Practical Automated Partial Verification of Multi-Paradigm Real-Time Models.
  ICFEM'08, 30th October 2008. Kitakyushu, Japan.
• Practical Efficient Modular Linear-Time Model-Checking.
  ATVA'08, 22nd October 2008. Seoul, South Korea.
• DNTTT 2008 (Developments and New Tracks in Trace Theory). 9--11 October 2008, Cremona, Italy.
• MTL with Bounded Variability: Decidability and Complexity.
  FORMATS'08, 15th September 2008. Saint-Malo, France.
• Tomorrow and All Our Yesterdays: MTL Satisfiability over the Integers.
  ICTAC'08, 2nd September 2008. Istanbul, Turkey.
• Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation.
  FM'08, 28th May 2008. Turku (Åbo), Finland.
• On the Expressiveness of MTL Variants.
  FORMATS'07, 4th October 2007. Salzburg, Austria.
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling: Framework and Applications.
  EPFL, 25th June 2007. Lausanne, Switzerland.
• Modeling the Environment in Software-Intensive Systems.
  MiSE'07, 20th May 2007. Minneapolis, MN, USA.
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
  FORMATS'06, 25th September 2006. Paris, France.
• Quantum Informatics: A Survey.
  Dipartimento di Elettronica e Informazione, Politecnico di Milano, 12th January 2006.
• Compositionality and Integration for Real-Time Systems.
  EPFL, 20th October 2005. Lausanne, Switzerland.
• International School for Computer Science Researchers 2005 (Formal Methods: Theory and Practice). 10--23 July 2005, Lipari Island, Italy.
• Automated Compositional Proofs for Real-Time Systems.
  FASE'05, 8th April 2005. Edinburgh, UK.
• Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems.
  ISCIS'04, 29th October 2004. Kemer--Antalya, Turkey.
• Compositional Proofs for Real-Time Systems.
  GIIS'04, 30th September 2004. Benevento, Italy.
• Fourth Canadian Summer School on Quantum Information. 21--25 June 2004, Waterloo, Canada.