Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Damiano Zanardini Web page
[go: Go Back, main page]
Home
Research
Publications
Teaching
Pictures
How science is important in our dept :-)
Dictyota Adnata Zanardini
Damiano Zanardini
PhD
CLIP lab
Universidad Politécnica de Madrid
damianofi [dot] upm [dot] es
damianoclip [dot] dia [dot] fi [dot] upm [dot] es
damiano [dot] zanardinigmail [dot] com




I have a paper on Abstract Slicing accepted at SCAM 2008
We have a paper on the COSTA system accepted in FMCO 2007 post-proceedings
I'm co-organizing and co-chairing the 18th edition of WLPE: Workshop on Logic-based methods in Programming Environments