LFMTP 2014: 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

LFMTP is a long-standing forum for presenting state-of-the-art techniques and discuss progress in the area of logical frameworks and meta-languages. This workshop brings together designers, implementers, and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressivity and lucidity of the reasoning process.

This year, LFMTP is affiliated with CSL-LICS 2014 and IJCAR 2014 and held as part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic (VSL).

IMPORTANT DATES

  • Paper Submission: May 2
  • Notification: June 3
  • Final papers due: June 19
  • Workshop: July 17

More details are on the LFMTP workshop web page.

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.