Program Committee
Program chairs
- Raymond Devillers (Université libre de Bruxelles, Belgium)
- Antti Valmari (Tampereen Teknillinen Yliopisto, Finland)
PC members
|
|
Workshop and Tutorial Co-chairs
- Jörg Desel, FernUniversität in Hagen, Germany
- Jetty Kleijn, Universiteit Leiden, Netherlands
Program Committee
Program chairs
- Stefan Haar (INRIA/LSV, CNRS & ENS de Cachan, France)
- Roland Meyer (Department of Computer Science, University of Kaiserslautern, Germany)
PC members
|
|
Steering Committee
|
|
Steering Committee
- Benoit Caillaud, France
- Alex Kondratyev, USA
- Alex Yakovlev, UK (chair)
- Jordi Cortadella, Spain
- Luciano Lavagno, Italy
- Jörg Desel, Germany
- Antti Valmari, Finland
Organisation Commitee
The conferences are organised by the formal methods and verification group, computer science department, science faculty, ULB
- Organisation chair: Gilles Geeraerts, ULB. Contact: gigeerae [at] ulb.ac.be
- Tools exhibition chair: Thomas Brihaye, UMons
- Publicity chair: Thierry Massart, ULB
Sponsors
The PN 2015 and ACSD 2015 conferences are supported by:
 |
The Université libre Bruxelles, venue of the conference. | |
|
IEEE (Technical co-sponsor). | |
|
The IEEE computer society (Technical co-sponsor). | |
|
The IEEE Technical committee on Very Large Scale Integration (Technical co-sponsor). | |
|
The Fonds National de la Recherche Scientifique FRS/F.N.R.S.. | |
|
VisitBrussels. | |
|
Galler, chocolatier. |
You might also be interested by our sister conferences that are also supported by the IEEE TCVLSI:
- ASAP 2015, IEEE International Conference on Application-specific Systems, Architectures and Processors, http://www.eecg.toronto.edu/asap2015/, July 27-29, 2015, Toronto, Canada
- ISVLSI 2015, IEEE Computer Society Symposium on< VLSI, http://www.isvlsi.org/, July 08-10, 2015, Montpellier, France
- iNIS 2015, IEEE International Symposium on Nanoelectronic and Information Systems, http://www.inisweb.org/", December 21-23, 2015, Indore, India
- ASYNC 2015, IEEE International Symposium on Asynchronous Circuits and Systems, http://ee.usc.edu/async2015/, May 4-6, 2015, Mountain View, CA, USA
- MSE 2015, IEEE Computer Society International Conference on Microelectronic Systems Education, http://www.mseconference.org/, May 20-21, 2015, Pittsburgh, Pennsylvania, USA
- IWLS 2015, International Workshop on Logic & Synthesis, http://www.iwls.org/, June 12-13, 2015, Mountain View, CA, USA
- SLIP 2015, ACM/IEEE System Level Interconnect Prediction, http://www.sliponline.org/, June 6th, 2015, San Francisco, CA, USA
- ECMSM 2015, IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics, http://ecmsm2015.tul.cz/, June 22-24, 2015, Liberec, Czech Republic
- ARITH 2015, IEEE Symposium on Computer Arithmetic, http://arith22.gforge.inria.fr/, June 24th, 2015, Lyon, France
- VLSID 2015, International Conference on VLSI Design, http://vlsidesignconference.org/, Jan 3-7, 2015, Bangalore, India.