Josep Carmona

My face
Josep Carmona Vargas
jcarmona [ A ] cs [ B ] upc [ C ] edu
(Personal: joseph [ dot ] carmona [ at ] gmail [ dot ] com)
Department of Computer Science
Universitat Politecnica de Catalunya (UPC)
Campus Nord - Edifici Omega
Room 318. Telephone: 93 413 78 53
A = B = C => "."


Teaching Compilers and Concurrent and Distributed Programming at the Facultat d'Informatica de Barcelona (FIB) .


Member of the ALBCOM research group.

An old list of publications can be found here. For an up-to-date list, go to DBLP.


Process Mining: Milestones & Challenges" (VISEO, September 2013)

Professional activities

Member of the IEEE Task Force on Process Mining
(see the Process Mining Manifiesto)

PC Chair in:

Application of Concurrency to System Design (ACSD'11)

PC member in: 

ASYNC'08 , CHINA'08APNOC'09 , ACSD'10 , APNOC'10 , ART'10 , ACSD'11 , Petri Nets'11,
ART'11, Petri Nets'12 , ACSD'12


PMLAB: an scripting environment for process mining

Genet: a tool for the synthesis and mining of Petri nets.

Moebius: a tool for the structural synthesis of asynchronous circuits.

Other stuff

Here you can find another picture of me.