camilorocha.info
Camilo Rocha
http://www.camilorocha.info/home
This is the homepage of Camilo Rocha. I am an Associate Professor in the Department of Electronics and Computer Science at the. I earned a B.S. and a M.Sc. degree in Informatics from the Universidad de los Andes. Bogotá), and a M.Sc. degree in Mathematics and a Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign. My main research interests are in formal methods, algorithms, and software engineering, more specifically on techniques for building reliable software systems.
nigam.info
Vivek Nigam’s Homepage
http://www.nigam.info/index.html
What I am working on. Equivalent to Associate Professor). Federal University of Paraíba. X76;ivek.nigam@gmail.com. Raquo; Invited Speaker at LAP’16. Raquo; External Reviewer of POPL’17. Raquo; PC member of FTSCS’16. Raquo; PC member of Linearity’16. Raquo; Co-Chair of LSFA’16. Raquo; All events. Raquo; Our paper Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. Raquo; Our paper Time-Sensitive Distributed Systems. Raquo; All posts. Formal Spec...
lsfa2016.mat.unb.br
LSFA2016
http://lsfa2016.mat.unb.br/index.html
June 25-26, 2016. Check the Title and Abstract. Of our Invited Talks! Universidade Nova de Lisboa). LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, with Applications. June 25-26, 2016. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide. Foundations for formal specification of systems and programming languages, supporting tool development and reasoning. Topics of interest to this forum include, but are not limited to:.