CISS
  • Home
  • Research
  • Collaboration
    • National projects
    • International projects
    • Short industry-targeted projects
    • Completed projects
  • News & Events
  • About CISS
    • Management
    • Employees
    • Post.docs and PhD students
    • Vacancies
    • DEIS research unit
    • Download logo
  • Contact
Select Page

EMSIG Autumn School 2015

by Anne Bloksgaard Nielsen | Aug 27, 2020 | IDEA4CPS past events | 0 comments

EMSIG Autumn School 2015 Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation processes...

IDEA4CPS research workshop Aalborg 2014

by Anne Bloksgaard Nielsen | Aug 27, 2020 | IDEA4CPS past events | 0 comments

IDEA4CPS research workshop Aalborg 2014 Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation...

IDEA4CPS 2nd General Meeting

by Anne Bloksgaard Nielsen | Aug 27, 2020 | IDEA4CPS past events | 0 comments

IDEA4CPS 2nd General Meeting Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation processes...

IDEA4CPS 1st General Meeting

by Anne Bloksgaard Nielsen | Aug 27, 2020 | IDEA4CPS past events | 0 comments

IDEA4CPS 1st General Meeting Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation processes...

2nd International PhD School on Quantitative Model Checking

by Anne Bloksgaard Nielsen | Aug 27, 2020 | IDEA4CPS past events | 0 comments

2nd International PhD School on Quantitative Model Checking Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient...

PhD course: Introduction to Logic and Model Theory

by Anne Bloksgaard Nielsen | Aug 27, 2020 | IDEA4CPS past events | 0 comments

PhD course: Introduction to Logic and Model Theory Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of...
« Older Entries

Recent Posts

  • International conference on Green Digitalization
  • DiCyPS final conference
  • Specification and Modeling Formalisms
  • Validation and Analysis Techniques
  • Compositionality versus Global Characteristic Features

Recent Comments

    Archives

    • October 2020
    • August 2020
    • May 2020
    • April 2020
    • November 2019
    • August 2019
    • June 2019
    • April 2019
    • March 2019
    • January 2019
    • April 2018
    • February 2018
    • August 2017
    • May 2017
    • February 2017
    • November 2016
    • October 2016
    • August 2016
    • April 2016
    • November 2015
    • October 2015
    • December 2013
    • August 2013
    • June 2013
    • February 2013
    • November 2012
    • October 2012
    • June 2012
    • October 2011

    Categories

    • Events
    • IDEA4CPS News
    • IDEA4CPS past events
    • IDEA4CPS research
    • News
    • Research

    Meta

    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org

    CISS

    Selma Lagerlöfs Vej 300
    DK-9220 Aalborg Ø
    Tel: +45 99 40 72 20
    E-mail: info@ciss.dk

    © 2005-2020 CISS

    Designed by Elegant Themes | Powered by WordPress