FACS 2017

Conference on Formal Aspects of Component Software

[FACS 2017 @facs2017]

The videos of talk by Catuscia Palamidesi and Farhad Arbab are now available on our website!
Go to https://t.co/OGWjmwyiRu

[FACS 2017 @facs2017]

The photos are now available at https://t.co/UiJTVw9fB3
#FACS2017

[INESC TEC @INESCTEC]

#FACS2017 ended today. It was organised by HASLab/INESC TEC. Thank you all the participants who joined us in Braga, Portugal! #software

[FACS 2017 @facs2017]

The next edition of #FACS will be held in #SouthKorea! See you there!

[FACS 2017 @facs2017]

Best Student Paper Award | #FACS2017
Compositional Model Checking Is Lively by Sander de Putter and Anton Wijs
https://t.co/yFiL2m43SK

[FACS 2017 @facs2017]

Best Paper Award | #FACS2017
Guarded Terms for Rewriting Modulo SMT by Kyungmin Bae and Camilo Rocha
https://t.co/UHlF2xw0Lk

[FACS 2017 @facs2017]

#FACS2017 came to an end! We are waiting for the next editon in South Korea. See you there!

[FACS 2017 @facs2017]

The last day of #FACS2017 is starting with @MohamadJaber85 discussing Correctness-by-Learning of Infinite-State Component-based Systems.

[FACS 2017 @facs2017]

Say cheese for #FACS2017!
#socialevent

[FACS 2017 @facs2017]

Welcome to the 3rd day of #FACS2017. This morning, Catuscia Palamidessi, Director of Research at INRIA Saclay, gave an interesting keynote.

[FACS 2017 @facs2017]

The second day of #FACS2017 came to an end.
#conference

[FACS 2017 @facs2017]

The first paper presentation is being presented! Read more about Component-Based Modeling in Mediator at https://t.co/FgaPPfs5N6

[FACS 2017 @facs2017]

We are concluding the 1st day of #FACS2017 with Doctoral Track by our doctoral students.

[FACS 2017 @facs2017]

Our tutorial on Interaction Centric Programming with Farhad Arbab, a Full Professor at Leiden University. https://t.co/mBLEjF1LB7

[FACS 2017 @facs2017]

#FACS2017 started very well!
#openingsession

[FACS 2017 @facs2017]

We are ready for tomorrow! We are waiting for you!
#FACS2017

[FACS 2017 @facs2017]

Farhad Arbab will start #FACS2017 with an exciting tutorial on Interaction Centric Programming. https://t.co/mBLEjF1LB7

[FACS 2017 @facs2017]

You can bring the schedule for the sessions and events, together with some extra information, by installing the free #EventBaseApp.

[FACS 2017 @facs2017]

Are you preparing your travel to #Braga? We are waiting for you! If you have any doubt, please contact us through our email!
#facs2017

[FACS 2017 @facs2017]

If you are planning to use trains to get to #facs2017, in #Braga, know that you can buy tickets online at https://t.co/epTOqsfVKx.