CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society

La riunione inizierà il 19 Gennaio 2016 alle 14:00 e si concluderà il 21 Gennaio 2016 alle 14:00.

La riunione avrà luogo presso

• Sala Conferenze “Mauro Fratini”
• c/o Banca di Credito Cooperativo di Civitanova Marche e Montecosaro
• Vicolo Nettuno 29, 62012
• Civitanova Marche

Per chi venisse in macchina, ci sono a disposizione molti parcheggi non a pagamento vicino al luogo della conferenza:

• nell'ultimo tratto del Lungomare Sergio Piermanni che termina su Via Trento (adiacente al porto e a Largo Donatori di Sangue), proseguendo anche in Via Santorre di Santarosa
• lungo tutta la Via Leonardo Da Vinci
• di fronte alla chiesa di Cristo Re accessibile da Viale Giacomo Matteotti.

Parcheggi non a pagamento alternativi, ma un po' più lontani sono:

• adiacenti a Via Adriano Cecchetti (angolo con Viale Santa Rita e angolo con Via San Callisto Caravario)
• dietro al concessionario Volkswagen “Via Vai”, accessibile da Strada Statale 16 → Rotonda Loriblu → Via Civitanova → Via Castellara
• parcheggio della stazione, accessibile da Strada Statale 16 → Via Guglielmo Marconi (poco consigliato lasciare l'auto di notte)

Il luogo del meeting è situato nel centro della città. Alcuni alberghi nei pressi sono:

• Palace Hotel, 4 stelle, Piazza Rosselli 6 (singola: 56 Euro, doppia uso singola: 68 euro)
• Hotel Chiaraluna, 4 stelle, Via Del Grappa 37 - Viale Vittorio Veneto 89 (singola: 65 Euro, doppia uso singola: 75 Euro)
• Hotel Dimorae, 3 stelle, Via Santorre di Santarosa 29 (singola: 72 Euro, poche camere disponibili)
• Hotel Aquamarina, Hotel a 3 stelle, Viale Matteotti 47 (singola: 40 Euro, doppia uso singola: 55 euro)

Al momento della prenotazione, per usufruire delle tariffe sopra riportate è necessario segnalare la partecipazione a meeting organizzato da Università di Camerino.

La cena sociale di mercoledì 20 e i pranzi di mercoledì 20 e giovedì 21 si terranno presso il Ristorante “Da Enzo dal 1971”, Corso Dalmazia 213, Civitanova Marche. Non è previsto il pranzo per martedì 19.

Il ristorante è specializzato in pesce, ma su richiesta potrà preparare anche piatti alternativi a base di carne o verdura. A meno di vostre segnalazioni via email (indirizzate a francesco.tiezzi@unicam.it e luca.tesei@unicam.it) assumiamo che il menù di pesce (non gluten-free) vada bene per tutti.

Per raggiungere il ristorante dalla sala conferenze percorrere Vicolo Nettuno, in direzione opposta al mare, per circa 50 metri quindi girare a destra su Corso Dalmazia e procedere fino a quasi la fine del corso al numero 213. Il tempo di percorrenza a piedi è di circa cinque minuti.

• 15:00 - 16:0
  • General Description of Network Systems (Ugo Montanari)
  • Business process analysis using a concurrency model (Roberto Bruni)

• 16:00 - 16:30 coffee break

• 16:00 - 17:30
  • Multilevel Transitive and Intransitive Non-Interference, Causally (Alessandro Beggiato)
  • Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems (Marco Bernardo and Marino Miculan)

• 8:30 - 10:30
  • From Featured Transition Systems to Modal Transition Systems with Variability Constraints: A Model Transformation (Maurice ter Beek)
  • Weak Bisimulation and Causality (Francesco Gavazzo)
  • Parallel Monitors for Self-Adaptive Sessions (Mario Coppo)
  • Towards local orchestration of global choreographies (Hugo Viera)

• 10:30 - 11:00 coffee break

• 11:00 - 12:30
  • Reversible Sessions Using Monitors (Claudio Mezzina)
  • Reachability analysis of Markov models via Generating functions (Arpit Sharma)
  • A Constrained ECA Language Supporting Formal Verification of WSNs (Leonardo Mostarda)

• 12:30 - 14:00 pranzo presso il Ristorante “Da Enzo”, Corso Dalmazia 213, Civitanova Marche

• 14:00 - 15:30
  • On Properties of Policy-based Specifications (Andrea Margheri)
  • Aliasing control in an imperative pure calculus (Elena Zucca)
  • Optimal Scheduling for Mobile Cloud Computing Applications via Model Checking (Andrea Morichetta)

• 15:30 - 16:00 coffee break

• 16:00 - 17:30
  • ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics (Marco Bernardo)
  • On computational fields, self-stabilisation, and compositionality (Mirko Viroli)
  • Chasing the Foundation of Aggregate Computing (Mirko Viroli)

• 20:00 Cena Sociale presso il Ristorante “Da Enzo”, Corso Dalmazia 213, Civitanova Marche

• 8:30 - 10:30
  • An Operational Semantics of BPMN 2.0 Collaboration (Andrea Polini)
  • An Attributed-based Calculus (Rocco De Nicola)
  • Specifying and verifying CAS with CARMA and its tools (Michele Loreti)
  • Formal methods for web session security (Stefano Calzavara)

• 10:30 - 11:00 coffee break

• 11:00 - 12:30
  • Nested Open Memory Transactions in Haskell (Marino Miculan)
  • Twitlang(er): interactions Modeling Language (and Interpreter) for Twitter (Francesco Tiezzi)
  • From Big Data to Interactive Computation (Emanuela Merelli)

• 12:30 - 14:00 pranzo presso il Ristorante “Da Enzo”, Corso Dalmazia 213, Civitanova Marche

Flavio Corradini (http://www.cs.unicam.it/corradini/) Luca Tesei (http://www.cs.unicam.it/tesei/) Francesco Tiezzi (http://tiezzi.unicam.it/)