CUSO Winter School in Computer Science
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
misc
presentations
README.md
_config.yml

README.md

Modelling of knowledge and the cyber-physical systems

February 5 - February 9, 2018 Champéry, Switzerland

Overview

This Winter School presents in the form of tutorials (for non-specialists) the various principles and techniques for the modelling of knowledge and the cyber-physical systems. Although these two domains are distinct as research themes, we would like to show that they are complementary and that they can be inspired from each other. The presenters , who are renowned researchers in their respective fields will present among other topics, formal techniques for modelling cyber-physical systems and techniques and tools for knowledge engineering.

Furthermore, student participants are asked to bring a poster of their research work, either existing results or ongoing research that they are currently conducting.

Organizers

  • Prof. Gilles Falquet, University of Geneva
  • Dr. Pierre Leone, University of Geneva
  • Prof. Didier Buchs, University of Geneva

Important Dates

  • Registration deadline: November 15, 2017
  • Winter School: February - 5 - 9, 2018

Venue

The winter school will take place at hotel Hotel Suisse in Champéry in the Swiss Alps. From Champéry, you will find an easy acces to one of the largest ski arena in the world: Portes du Soleil.

Portes du Soleil

Access

Hotel Suisse,Champéry

  • Address : Rue du Village 55, 1874 Champéry, Switzerland
  • Phone number : 0041 24 479 07 07
<iframe src="https://www.google.com/maps/embed?pb=!1m28!1m12!1m3!1d3893.4204013840267!2d6.86716834987195!3d46.17817944599105!2m3!1f0!2f0!3f0!3m2!1i1024!2i768!4f13.1!4m13!3e6!4m5!1s0x478ea56cb10eb37d%3A0xc30e690fb59a80fd!2zQ2hhbXDDqXJ5!3m2!1d46.174951!2d6.871504!4m5!1s0x478ea57b8a4574a3%3A0xd76e0e7340431bcf!2sH%C3%B4tel+Suisse%2C+Rue+du+Village+55%2C+1874+Champ%C3%A9ry!3m2!1d46.177886099999995!2d6.8695740999999995!5e0!3m2!1sen!2sch!4v1479916932042" width="600" height="450" frameborder="0" style="border:0" allowfullscreen></iframe>

Program

Student participants are asked to bring a poster of their research work, either existing results or ongoing research that they are currently conducting. Further instructions of how their work will be showcased during the Winter School will be sent by email to everyone closer to the event. Programme

The program includes presentations by three speakers:

  • Cyber Physical Systems (H. Vangheluwe)

    • Causal Block Diagrams syntax and semantics (in enough detail to build one's own Simulink-like simulator ... and code generator)
      • Algebraic Causal Block Diagrams (denotational and operational), loop detection and solving.
      • Discrete-Time Causal Block Diagrams
      • Continuous-Time Causal Block Diagrams (denotational, translational semantics approximation)
    • PID controllers (in CBDs) *shooting problems, optimization and deployment of controllers
    • Statecharts to model timed, autonomous and reactive systems at a discrete-event abstraction level
    • Modelling Language Engineering: to introduce syntax and semantics of languages,
  • Ontology engineering (O. Corcho)

    • Ontology engineering: ontological languages, types of ontologies and their use
    • Methodologies for designing ontologies, supporting tools
    • Ontology-based software engineering, ontology-based applications
  • Semantic Web engineering (R. Verborgh)

    • Introduction to the Semantic Web and linked data
    • Software engineering for the Semantic Web
    • Hands-on sessions on the development of ontology-based Semantic Web applications

Schedule

Day Hour Title Speaker documents
Monday, 5 14h00 - 15h30 Cyber Physical System Modeling Hans Vangheluwe slides1slides2
16h00 - 19h30 Cyber Physical System Modeling Hans Vangheluwe slides3slides4
Tuesday, 6 08h30 - 12h00 Cyber Physical System Modeling Hans Vangheluwe slides5
17h00 - 18h30 Cyber Physical System Modeling Hans Vangheluwe slides6slides7
18h30 - 18h50 PhD student presentations Dimitri Racordon slides
18h50 - 19h10 PhD student presentations Stefan Klikovits slides
19h10 - 19h30 PhD student presentations Allan Berrocal slides
Wednesday, 7 08h30 - 12h00 Ontology Engineering Oscar Corcho
17h00 - 18h30 Ontology Engineering Oscar Corcho
18h30 - 18h50 PhD student presentations Selena Baset slides
18h50 - 19h10 PhD student presentations Dina Elikan slides
19h10 - 19h30 PhD student presentations Stéphane Kundig slides
Thursday, 8 08h30 - 10h00 Ontology Engineering Oscar Corcho
10h30 - 12h00 Semantic Web Engineering Ruben Verborgh
17h00 - 18h30 Semantic Web Engineering Ruben Verborgh
18h30 - 18h50 PhD student presentations Sahar Aljabout
18h50 - 19h10 PhD student presentations Mohammad Parhizkar
19h10 - 19h30 PhD student presentations Xavier Ouvrard slides
19h30 - 19h50 PhD student presentations Sami Ghadfi
Friday, 9 08h30 - 12h00 Semantic Web Engineering Ruben Verborgh
12h00 - 12h30 Wrap-up

Speakers

  • Prof. Hans Vangheluwe, University of Antwerp, Belgium /University of McGill, Canada

    Hans Vangheluwe is interested in the modelling and simulation based analysis and design of complex, cyber-physical systems. In the Modelling, Simulation and Design Lab (MSDL) and AnSyMo Lab, he is studying with his team the theory of Multi-Paradigm Modelling (MPM) and build tools to support the design and implementation of such complex systems. The MSDL is part of the School of Computer Science of McGill University in Montréal, Québec, Canada and of the AnSyMo (Antwerp Systems and software Modelling) group in the department of Mathematics and Computer Science of the University of Antwerp, Antwerp, Belgium. The MSDL has projects, researchers and students in both locations.

    Professor Vangheluwe will present formalisms needed to study cyber-physical systems: Causal Block Diagrams, Statecharts, Petri Nets. The CBDs and Statecharts allow to explain, after a short introduction to control theory (PID controllers), how to model, simulate, optimize, and finally, deploy a controller for example, an autonomous vehicle.

  • Oscar Corcho is a full Professor at Universidad Politécnica de Madrid (UPM) where he is leading a team of 15 people (including post-docs, PhD students and software engineers) at the Ontology Engineering Group. He co-founded LocaliData in 2013, a spin-off that aims at obtaining added value from the combination of open and closed data in the context of medium and large smart cities (http://www.localidata.com/).

    His work is mainly focused on applied research in the areas of Linked Data, Semantic e-Science and the Real World Internet. He also has wide experience in Ontology Engineering. In these areas, he has participated, and led, a number of EU and Spanish R&D projects, together with other knowledge-transfer projects funded by international companies and public organisations. I am also teaching one of the courses at the Master on Business Analytics and Big Data at Instituto de Empresa (http://mbd.ie.edu/), and have taught several courses on Open Data for civil servants, city information managers and data reusers. Previously, I worked as a Marie Curie research fellow at the University of Manchester, and as a research manager at iSOCO. I also took part in LikeCube, a startup working on personalised recommendation that was acquired by TimeOut in July 2011.

    He is an expert in Linked Data, SPARQL, RDF, Ontologies, data streams, e-Science, R&D management

  • Ruben Verborgh is a postdoctoral researcher in Semantic Hypermedia at Massachusetts Institute of Technology and Ghent University. He explores the connection between Semantic Web technologies and the Web's architectural properties, with the ultimate goal of building more intelligent clients. He is a recognised specialist of Linked Data, REST/hypermedia, Web APIs, and related technologies. He's a co-author of two books on Linked Data, and has contributed to more than 140 publications on Web-related topics for international conferences and journals.    

Registration

All the students, researchers and professors registered at CUSO universities (Universities of Fribourg, Geneva, Lausanne, Bern and Neuchâtel) are eligible to apply. Priority will be given to students ; PostDocs and senior researchers will be selected according to their scientific activity and closeness to the field of the winter school. Those selected for participation will be notified by email and will be asked to pay a registration fee of CHF 100.

For members of the CUSO, accommodation costs for four nights in a double-room, breakfasts, coffee breaks and dinners will be paid for directly by the organizers. The Winter School will also reimburse travel costs for half-price second class SBB tickets. You will receive reimbursement instructions during the school. Midday lunch is not included and has to be paid by the participants.

For external participants (includung EPFL), accommodations and meals are to be paid by the participants.

Cancellation should be announced to the organizers at least until the 9th of January, 2017 (3 weeks before the start of the School). Already paid registration fees will not be reimbursed for cancellation after January 22, 2017.

Please register before Friday, November 15th, 2017. After this date we can not guarantee you a room in the hotel

The link for registration at the CUSO site is: https://informatique.cuso.ch/activities/

NOTE: Since double rooms for PhD students will be shared between two students, in the "Comments and Response to Message" field, please indicate the name of another student with whom you would like to share a room.

Reimbursement of travel costs (closed): 1/2 prize train ticket. Please fill in the form and send it to the contact address below the latest on February 10th.

Contact

Mrs Maelle Ruembeli
Computer Science Department
University of Geneva
7 rte de Drize
CH-1227 Carouge
E-mail: Maelle.Ruembeli@unige.ch