page_view

New Article: "A Categorical Account for the Specification of Replicated Data Type"

The article "A Categorical Account for the Specification of Replicated Data Type" by Fabio Gadducci, Hernán Melgratti, Matteo Sammartino and Christian Roldán was accepted for publication at 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.(FSTTCS), Bombay, India, 2019.

Undefined

STINT Workshop on Assured Software Engineering

STINT Workshop on Assured Software Engineering

 

Undefined

New Article: “Bayesian network semantics for Petri nets”

The article "Bayesian network semantics for Petri nets" by R. Bruni, H. Melgrati and U.

Undefined

C. Roldán will co-chair the 9th Young Researchers Workshop on Concurrency Theory at CONCUR 2019.

Christian Roldán co-chairs in 9th Young Researchers Workshop on Concurrency Theory, Workshop at CONCUR 2019. 31 August 2019, Amsterdam, Netherlands.

Undefined

Sebastián Uchitel is Associate Editor for Communications of the ACM.

Sebastián Uchitel is Associate Editor for Communications of the ACM.
Undefined

Pages