MeMo 2014 – 1st International Workshop on Meta Models for Process Languages

The 1st International Workshop on Meta Models for Process Languages (MeMo) 2014 is a new workshop, affiliated to DisCoTec series of federated conference, which will be held in Berlin on June 6, 2014.

The goal of the workshop is to bring together researchers working on the development of theory and tools for meta models for process languages – to share insights, uncover similarities and differences, possibilities for cross-fertilization and stimulate further research in this exciting area. The workshop will be welcoming old and new members of the community alike.

In addition to presentations of contributed papers the workshop will offer two 1-hour tutorials (one about psi-calculus by J. Parrow, and one about Bigraphical Reactive Systems by myself), a poster session and a round-table discussion at the end of the workshop.

Important dates:

  • Abstract regular papers: 20 March 2014
  • Submission regular papers: 24 March 2014 4 April 2014
  • Notification regular papers: 25 April 2014
  • Camera-ready copy: 5 May 2014
  • Submission posters: 28 April 2014
  • Notification posters: 5 May 2014​

For further details, see the web page of MeMo 2014.

“Superiore alla media”

Come è noto, da pochi giorni sono uscite le valutazioni dell’Agenzia Nazionale di Valutazione del Sistema Universitario e della Ricerca (ANVUR), e già si scatenano le inevitabili polemiche – che non intendo riprendere in questa sede. In questo post, voglio segnalare l’eccellente performance del Dipartimento di Matematica e Informatica dell’Università di Udine. Complessivamente per l’area 01 (Matematica e Informatica), Udine si piazza terza su 22 (Tabella 3.5 del rapporto finale), ossia 86º percentile. Più specificatamente, il settore INF/01 al DIMI è 5º su 30, ossia all’83º percentile (Tabella 4.7).
“Il Quotidiano FVG” ha riassunto questi risultati in un articolo giornalistico che riporto qui: Valutazione Anvur 2013. Come si vede da questa tabella, la nostra area è quella che ha ottenuto il migliore piazzamento, confrontando con le altre aree all’interno dell’ateneo udinese. Sarebbe bello che questo risultato venisse riconosciuto…

Seminario “Duality for Transition Systems”

Il giorno 27 maggio 2013, ore 14:00-15:00, presso l’Aula Multimediale del DIMI, Università di Udine, il prof. Prakash Panangaden (McGill University) terrà un seminario su Duality for Transition Systems.

Abstract
In this talk we consider the problem of representing and reasoning about
systems, especially probabilistic systems, with hidden state. We consider
transition systems where the state is not completely visible to an outside
observer. Instead, there are observables that partly identify the state.
We show that one can interchange the notions of state and observation and
obtain what we call a dual system. The double dual gives a minimal
representation of the behaviour of the original system. We extend this to
nondeterministic systems and to probabilistic transition systems and
finally to partially observable Markov decision processes (POMDPs).

This research began with joint work with colleagues from McGill especially
Doina Precup and Chris Hunt. The recent categorical understanding is
joint work with Clemens Kupke and Nick Bezhanishvili.

Assegno di ricerca su Sicurezza di Femtocelle

È disponibile da subito un assegno di ricerca della durata di 12 mesi per uno studio riguardante la sicurezza delle reti cellulari di nuova generazione (UMTS e LTE) basate su femtocelle. L’attività verrà svolta in collaborazione con una nota azienda di sicurezza informatica regionale, e comprende sia un’attività di analisi e progetto, sia una parte di implementazione di un tool prototipale per il testing dei dispositivi di rete (BTS) per le femtocelle.

Il candidato ideale dovrebbe avere buone conoscenze dei protocolli di rete, e possibilmente delle metodologie di testing. Il candidato deve essere in possesso di una laurea specialistica o magistrale in Informatica, Ingegneria Elettronica o Informatica, o equivalenti.

Se vi può interessare, contattatemi al più presto.

Bigraph 2013

Attending BIGRAPH 2013 at the IT University, Copenhagen. Pleasantly surprised of many interesting applications of bigraphs that we were not aware of, from architectural refinements to unmanned veichles coordination. Yes, serious stuff.

Third International Workshop on Bigraphs (Bigraph 2013)

Do you work on or with bigraphs? Do you want to learn about bigraphs? Then you have to participate to the Third International Workshop on Bigraphs (Bigraphs 2013), to be held at the IT University of Copenhagen on 16 February 2013.
Speakers are invited to submit an abstract of no more than two pages as a proposal for a talk to be given during the workshop. Any research related to bigraphs is within scope. Summaries of work in progress or intended future research are also welcome.
Deadline for submissions: 21 January 2013.
For more details, see the workshop web page.