BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of FORTE/FMOODS 2013 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T103000 DTEND;TZID=Europe/Rome:20130603T110000 SUMMARY:FORTE: Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130604T103000 DTEND;TZID=Europe/Rome:20130604T110000 SUMMARY:FORTE: Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130605T103000 DTEND;TZID=Europe/Rome:20130605T110000 SUMMARY:FORTE: Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T160000 DTEND;TZID=Europe/Rome:20130603T163000 SUMMARY:FORTE: Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130604T160000 DTEND;TZID=Europe/Rome:20130604T163000 SUMMARY:FORTE: Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130605T160000 DTEND;TZID=Europe/Rome:20130605T163000 SUMMARY:FORTE: Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T123000 DTEND;TZID=Europe/Rome:20130603T143000 SUMMARY:FORTE: Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130604T123000 DTEND;TZID=Europe/Rome:20130604T143000 SUMMARY:FORTE: Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130605T123000 DTEND;TZID=Europe/Rome:20130605T143000 SUMMARY:FORTE: Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130604T163000 DTEND;TZID=Europe/Rome:20130604T220000 SUMMARY:FORTE: Social Event and Dinner LOCATION: DESCRIPTION:Social Event and Dinner\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T093000 DTEND;TZID=Europe/Rome:20130603T103000 SUMMARY:FORTE: Keynote LOCATION: DESCRIPTION:Keynote (Chair: Dirk Beyer / Michele Boreale)\nTevfik Bultan\nU C Santa Barbara\, USA\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T110000 DTEND;TZID=Europe/Rome:20130603T123000 SUMMARY:FORTE: Verification LOCATION: DESCRIPTION:Verification (Chair: Domagoj Babic)\n\nFormal Analysis of a Dis tributed Algorithm for Tracking Progress\nMartin Abadi\, Frank McSherry\, D erek Murray\, and Thomas Rodeheffer\nMicrosoft Research\, USA\n\nA Case Stu dy in Formal Verification using Multiple Explicit Heaps\nWojciech Mostowski \nUniversity of Twente\, Netherlands\n\nParameterized Verification of Track Topology Aggregation Protocols\nSergio Feo-Arenis and Bernd Westphal\nUniv ersity of Freiburg\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T143000 DTEND;TZID=Europe/Rome:20130603T160000 SUMMARY:FORTE: Types LOCATION: DESCRIPTION:Types (Chair: Martin Abadi)\n\nMonitoring Networks through Mult iparty Session Types\nLaura Bocchi\, Tzu-Chun Chen\, Romain Demangeon\, Koh ei Honda\, and Nobuko Yoshida\nQueen Mary\, University of London\, UK\; Uni versity of Leicester\, UK\; Imperial College London\, UK\n\nSemantic Subtyp ing for Objects and Classes\nOrnela Dardha\, Daniele Gorla\, and Daniele Va racca\nUniversity of Bologna\, Italy\; University of Rome La Sapienza\, Ita ly\; University Paris Diderot\, France\n\nPolymorphic Types for Leak Detect ion in a Session-Oriented Functional Language\nViviana Bono\, Luca Padovani \, and Andrea Tosatto\nUniversità di Torino\, Italy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130603T163000 DTEND;TZID=Europe/Rome:20130603T173000 SUMMARY:FORTE: Testing LOCATION: DESCRIPTION:Testing (Chair: Wojciech Mostowski)\n\nPassive Testing with Asy nchronous Communications\nRob Hierons\, Mercedes Merayo\, and Manuel Nuñez\ nBrunel University\, UK\; Universidad Complutense de Madrid\, Spain\; UCM\, Spain\n\nInput-Output Conformance Simulation (iocos) for Model Based Testi ng\nLuis Llana\, Rafael Martínez-Torres\, and Carlos Gregorio-Rodríguez\nUn iversidad Complutense de Madrid\, Spain\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130604T110000 DTEND;TZID=Europe/Rome:20130604T123000 SUMMARY:FORTE: DisCoTec Joint Session LOCATION: DESCRIPTION:DisCoTec Joint Session\nAndreas Griesmayer and Alessio Lomuscio \nImperial College London\, UK\n\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130604T143000 DTEND;TZID=Europe/Rome:20130604T160000 SUMMARY:FORTE: Model Checking LOCATION: DESCRIPTION:Model Checking (Chair: Tevfik Bultan)\n\nFormal Verification of Distributed Branching Multiway Synchronization Protocols\nHugues Evrard an d Frederic Lang\nInria\, France\; INRIA Rhône-Alpes\, France\n\nAn Abstract Framework for Deadlock Prevention in BIP\nPaul Attie\, Saddek Bensalem\, M arius Bozga\, Mohamad Jaber\, Joseph Sifakis\, and Fadi Zaraket\nAmerican U niversity of Beirut\, Lebanon\; VERIMAG\, France\; American University of b eirut\, Lebanon\n\nBounded Model Checking of Graph Transformation Systems v ia SMT Solving\nTobias Isenberg\, Dominik Steenken\, and Heike Wehrheim\nUn iversity of Paderborn\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130605T110000 DTEND;TZID=Europe/Rome:20130605T123000 SUMMARY:FORTE: Automata LOCATION: DESCRIPTION:Automata (Chair: Hanne Riis Nielson)\n\nVerification of Directe d Acyclic Ad Hoc Networks\nParosh Aziz Abdulla\, Mohamed Faouzi Atig\, and Othmane Rezine\nUppsala University\, Sweden\n\nTransducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels\nJay Thakkar\ , Aditya Kanade\, and Rajeev Alur\nIndian Institute of Science\, India\; Un iversity of Pennsylvania\, USA\n\nAsynchronously Communicating Visibly Push down Systems\nDomagoj Babic and Zvonimir Rakamaric\nFacebook\, USA\; School of Computing\, University of Utah\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130605T143000 DTEND;TZID=Europe/Rome:20130605T160000 SUMMARY:FORTE: Distribution and Concurrency LOCATION: DESCRIPTION:Distribution and Concurrency (Chair: Nobuko Yoshida)\n\nA Timed Component Algebra for Services\nBenoit Delahaye\, José Luiz Fiadeiro\, Axe l Legay\, and Antónia Lopes\nINRIA/IRISA\, France\; Royal Holloway\, Univer sity of London\, UK\; University of Lisbon\, Portugal\n\nProbabilistic Anal ysis of the Quality Calculus\nHanne Riis Nielson and Flemming Nielson\nTech nical University of Denmark\, Denmark\n\nMay-Happen-in-Parallel Based Deadl ock Analysis for Concurrent Objects\nAntonio E. Flores-Montoya\, Elvira Alb ert\, and Samir Genaim\nTechnische Universität Darmstadt\, Germany\; Complu tense University of Madrid\, Spain\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20131116T064151Z DTSTAMP:20131116T064151Z DTSTART;TZID=Europe/Rome:20130605T163000 DTEND;TZID=Europe/Rome:20130605T173000 SUMMARY:FORTE: Security LOCATION: DESCRIPTION:Security (Chair: Emilio Tuosto)\n\nLintent: Towards Security Ty pe-Checking of Android Applications\nMichele Bugliesi\, Stefano Calzavara\, and Alvise Spanò\nUniversità Ca Foscari Venezia\, Italy\; Ca Foscari Unive rsity of Venice\, Italy\n\nHonesty by Typing\nMassimo Bartoletti\, Alceste Scalas\, Emilio Tuosto\, and Roberto Zunino\nUniversita' degli Studi di Cag liari\, Italy\; University of Cagliari\, Italy\; University of Leicester\, UK\; Università degli Studi di Trento\, Italy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR