Ho appena saputo che il premio del Capitolo Italiano dell’EATCS per la migliore tesi magistrale in informatica teorica del 2016 è stato assegnato alla tesi Le Simulazioni Lasche: Definizione, Applicazioni e Computazione Distribuita di Alessio Mansutti, di cui sono stato relatore (e Marco Peressotti correlatore).
The Call for Papers for the 2017 edition of “Logical Frameworks and Meta Languages:
Theory and Practice.” is out: see the workshop webpage.
This year LFMTP is hosted by FSCD 2017 and co-located with ICFP 2017 and other 10 workshops: EUTypes, HDRA, HoTT, IFIP, IWC, SD, String, TLLA, UNIF and WPTE. September will be great in Oxford, so submit to LFMTP 2017.
I am honored to serve in the Program Committee of the Special Track on Coordination Models, Languages and Applications of the ACM SAC 2016 conference. Please consider to submit your papers about models, formalisms and mechanisms to describe concurrent and distributed computations, in due time!
The program of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) is online at http://discotec2015.inria.fr/memo-2015/.
The paper Structural Operational Semantics for Continuous State Stochastic Transition Systems by Giorgio Bacci and myself has been published on Journal of Computer and System Sciences 81 (2015).
Mercoledì 28 maggio alle 9:30 in Sala Riunioni del DiMI, il dott. Filippo Bonchi, Chargé de Recherche CNRS presso l’Ecole Normale Supérieure di Lione, terrà il seguente seminario riguardante recenti suoi risultati:
Coinduction Up-To (and some applications to equivalence checking)
Abstract: Coinduction proof principles, and their enhancements by means of up-to techniques, are widely used for reasoning about automata and processes. In this talk, I will consider bisimulation up-to congruence as a technique for proving language equivalence of non-deterministic finite automata. This technique can be effectively implemented in an algorithm that exponentially improves the state of the art.
Tutti gli interessati sono invitati a partecipare.
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).
- Paper Submission: May 2
- Notification: June 3
- Final papers due: June 19
- Workshop: July 17
More details are on the LFMTP workshop web page.
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.
- Abstract regular papers:
20 March 2014
- Submission regular papers:
24 March 20144 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.
Per gli studenti e i tesisti: sarò assente dal 18 al 20 febbraio 2014, per partecipare al 2nd General Meeting del PRIN CINA. Spero di riuscire comunque a pubblicare su Esse3 i risultati dello scritto di Reti di Calcolatori del 17 febbraio prima dell’alba del 21…