top of page

programme

This symposium will be constituted by several activities:

PROGRAMME OVERVIEW (soon)

conference

3 to 5 of April

 

  • with papers presentation and debate around the subject by researchers dedicated to this domain

    • Master classes

    • Thematic sessions, assembling several presentations by invited researchers and of accepted papers followed by debate.

 

exhibition

2 to 6 of April

 

  • Exhibition of works developed using formal methods in architecture

 

 

software tool

2 of April

  • PRESENTATION of DepthSpace3D, a space syntax 3D digital tool, developed by Opo'arch Project (LIA | ESAP) open to academic and scientific communities.

 

 

workshops

2 of April

 

  • postgraduate workshops with short theoretical introduction and focus on use of digital tools.

 

 

activities & extras

2 to 6 of April

 

  • parallel social activities 

  • LinkedIn Social Icon
  • Wix Facebook page
  • Wix Twitter page
  • Wix Google+ page

© 2015 design by Cristina Paixão

contact

4th international symposium - formal methods in architecture

Largo de S. Domingos, 80

4050-545 PORTO

Tel: 223 392 130

e-mail: arch.formalmethods@gmail.com

bottom of page