From Louvain Verification Lab

News: LVL News

RSS LVL news



Sebastien Combefis becomes a Doctor
On Wednesday 20. December 2013, Sébastien Combéfis brilliantly passed the public defense of his doctorate thesis entitled "A Formal Framework for the Analysis of Human-Machine Interactions".


Papers accepted at SR 2013 and NFM 2013
Simon Busard and Charles Pecheur had a paper accepted at SR 2013, and another paper accepted at NFM 2013.


FMICS 2013
FMICS 2013 will take place in Madrid in September.


Jose Vander Meulen completes his PhD
On Friday 17. April, José Vander Meulen brilliantly passed the public defense of his doctorate thesis entitled "Combining Partial Order Reduction with Symbolic Model Checking".


Paper accepted at iWIGP2012
Simon Busard and Charles Pecheur had a paper accepted at IWIGP 2012.


LVL is organizing an HMI meeting this week (November 17, 2011)
LVL is organizing and hosting a meeting focused on Human Machine Interaction this week, on the theme of Models and Tools for Human-Machine Interaction.


Two papers presented at workshops at ASE 2011 including one best paper
Two papers were accepted and presented at MALETS and JPF workshops which took place at ASE 2011. The MALETS paper is the best paper of the workshop.


Paper accepted at SMC 2011
Sébastien Combéfis and Charles Pecheur had a full paper accepted at SMC 2011.


LVL Tools now available
A new Tools section is now available on the LVL website.


Two papers at NFM 2011
José Vander Meulen and Charles Pecheur had a full paper and a tool paper accepted at NFM 2011.


Simon Busard joins LVL
The LVL team welcomes new researcher Simon Busard.


LVL site goes public
The LVL site is now stable, operational and open to public visit.


ASE 2010 in Antwerp in September
Charles Pecheur is chairing the 25th IEEE/ACM International Conference on Automated Software Engineering, which will be held in Antwerp, Belgium, 20-24 September 2010.


Publications database is up
The LVL publications database is up and running, see Publications.


First release of LVL website
The new LVL website is up and running!


Retrieved from http://lvl.info.ucl.ac.be/News/News
Page last modified on May 06, 2010