Copenhagen Programming Language Seminar
enpa (PEtri Nets for Program Analysis) was a simple idea of using Petri nets to model programs and study their termination. However, it soon turned out to be too weak for practical use. By developing it further, I came out with the notion of Resource Control Graphs.
Neil Jones. Administrative host:
Camilla Torp-Smith. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org