European Cooperation in Science and Technology COST is supported by the EU RTD Framework Programme...
-
Upload
solomon-lloyd -
Category
Documents
-
view
213 -
download
0
Transcript of European Cooperation in Science and Technology COST is supported by the EU RTD Framework Programme...
![Page 1: European Cooperation in Science and Technology COST is supported by the EU RTD Framework Programme ESF provides the COST Office through an EC contract.](https://reader036.fdocuments.in/reader036/viewer/2022081821/56649da05503460f94a8c562/html5/thumbnails/1.jpg)
European Cooperation in Science and Technology
COST is supported by the EU RTD Framework Programme
ESF provides the COST Officethrough an EC contract
ICT
www.cost.esf.orgAction IC0901Rich-Model Toolkit An Infrastructure for Reliable Computer SystemsParticipating countries: AT, BE, CH, CZ, DE, DK, EE , ES, FI, FR, IS, IT, MT, NO, PL, RO, RS, SI, SE, UKChair of the Action: Viktor Kuncak, CH, [email protected] Science Officer: Gian Mario Maggio, [email protected]
To make automated reasoning techniques and tools applicable toa wider range of problems, as well as making them easier to use by researchers, softwaredevelopers, hardware designers, and information system users and developers.
To increasing the coherence, visibility, and competitiveness of automated reasoning research
To assess the potential for industry standards that certify the added value of computer systems developed using automated reasoning technology
Design Rich Model Language, a unified framework for expressing properties arising in:• software analysis and verification• hardware verification• knowledge representation
WG1: Rich Model Language: Design and Benchmark Suite The activities of WG1 include:• design of the Rich Model Language syntax and semantics• translations between Rich Model Language and standard languages such as Isabelle/HOL, SMTLIB, TPTP, and OWL• design of formats for expressing manually and automatically constructed proofs andcounterexamples• building of Rich Model benchmarks
WG2: Decision Procedures for Rich Model Language Fragments
WG2 focuses on automating the reasoning about Rich Models through development, analysis, implementation, formal verification, and applications of decision procedures. Among the topics of interest are:• the improvement of efficiency of existing decision procedures• the development of new decision procedures• integration of decision procedures into satisfiability modulo theory (SMT) and
resolution-based theorem provers• applications of SAT and SMT solving to decision and optimization problems,including hardware verification, software verification, planning, scheduling, andtimetabling
WG4: Synthesis from Rich Model Language Descriptions
WG4 explores the theory, tools, and usability of synthesis in system development. The tasks of WG4 include the following:• developing synthesis algorithms for more expressive logics (in collaboration with
WG2)• efficient implementations of synthesis algorithms• simplified synthesis problems of practical interest, including problems with limited
quantifier alternations• using synthesis to implement high-level programming language constructs
Main Achievements:New connections between research groups through Short-Term Scientific Missions (four approved missions involving DE, RS, UK, CH, ES, AT, SE)
Initiated Workshop on Synthesis, Verification, and Analysis of Rich Models
Initial steps towards Rich Model Language semantics and concrete syntax
New decision procedures, synthesis algorithms, analysis and verification algorithms
http://richmodels.org
Objectives:
WG3: Analysis of Executable Rich Models
WG3 works on the analysis of dynamic state changes in systems such as software systems, hardware designs, embedded systems, and communication protocols. Properties considered include both safety (reachability) and liveness (termination). The group aims to develop theory, algorithms and implementations for verification of transition systems.
ontologiessoftware
hardware
rich models
provers analyzers synthesizers
![Page 2: European Cooperation in Science and Technology COST is supported by the EU RTD Framework Programme ESF provides the COST Office through an EC contract.](https://reader036.fdocuments.in/reader036/viewer/2022081821/56649da05503460f94a8c562/html5/thumbnails/2.jpg)
European Cooperation in Science and Technology
COST is supported by the EU RTD Framework Programme
ESF provides the COST Officethrough an EC contract
ICT
www.cost.esf.orgAction xxxLorem ipsum dolor sit ametParticipating countries: BE, DE, DK, ES, FR, GR, IT, IL, IS, LU, NL, PL, PT, SI, SK, TR
Chair of the Action: Klaus Mustermann, DE, [email protected] Science Officer: Piotr Swiatek, [email protected]
Sed dolor nisl, venenatis sed, volutpat in, convallis sed, justo.
Nulla dictum. Etiam porttitor, risus vitae bibendum aliquam, orci purus pharetra lacus, nec placerat lorem eros id metus.
Pellentesque quam risus, eleifend et, dictum eu, commodo at, velit.
Ut commodo, justo ut hendrerit fringilla, elit turpis dignissim magna, non dictum lorem dolor vitae justo.
Suspendisse arcu. Nam ut erat ut lacus porta sodales.
Donec a enim ut enim lacinia eleifend. Ut laoreet.
Mauris non ligula in enim mattis luctus. Praesent scelerisque. Sed ultrices velit vitae magna.
Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus.
Working Group 1 Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Nulla elit nisl, consequat quis, luctus at, tristique in, nisl. Curabitur cursus imperdiet dui. Curabitur consectetuer tincidunt nisl. Morbi neque mauris, tincidunt a, vulputate eget, tempor vitae, nunc. Duis lobortis venenatis risus. Maecenas ligula nibh, euismod dapibus, posuere vitae, dapibus ac, velit. Sed leo metus, bibendum nec, accumsan a, hendrerit sed, pede. Donec ultrices, eros ac scelerisque vehicula, neque dui nonummy nunc, sed faucibus elit enim nec metus. Proin eget felis eget est ultricies venenatis.
Working Group 2Nam tellus nunc, imperdiet non, ornare ac, blandit eget, lectus. Aenean metus lacus, congue non, ultricies sit amet, viverra eu, elit. Nunc id enim. Vestibulum dui nibh, accumsan at, feugiat vel, tincidunt sit amet, massa. Phasellus viverra. Curabitur tincidunt leo et nunc. Etiam porttitor. Donec molestie tortor. Sed vel pede. Vestibulum ante ipsum primis in faucibus orci luctus et ultrices posuere cubilia Curae; In viverra. Cras imperdiet, nisl eu hendrerit feugiat, dolor est elementum ipsum, vel feugiat lacus mi in erat. Vivamus nulla erat, tincidunt ac, tincidunt ut, dignissim ac, tortor. Morbi rhoncus nibh et odio.
Morbi id turpis eu eros rutrum scelerisque. Morbi tempus. Phasellus fringilla sem id dui. Integer in enim quis pede mollis porttitor. Etiam eu velit. Vestibulum a est. Vestibulum tincidunt pretium dui. Aliquam nisi risus, rutrum sed, sodales sit amet, tincidunt at, magna. Quisque nunc metus, rhoncus vel, ultrices ac, adipiscing nec, urna. Duis turpis. Nunc ac diam rhoncus nibh auctor mollis. Etiam lacus. Suspendisse faucibus.
Mauris eget dui at leo pulvinar varius. Fusce quis dolor. Donec dictum nunc et ligula. Quisque tellus. Praesent et leo sit amet nisl vestibulum scelerisque. In hac habitasse platea dictumst.
Working Group xxMorbi id turpis eu eros rutrum scelerisque. Morbi tempus. Phasellus fringilla sem id dui. Integer in enim quis pede mollis porttitor. Etiam eu velit. Vestibulum a est. Vestibulum tincidunt pretium dui. Aliquam nisi risus, rutrum sed, sodales sit amet, tincidunt at, magna. Quisque nunc metus, rhoncus vel, ultrices ac, adipiscing nec, urna. Duis turpis. Nunc ac diam rhoncus nibh auctor mollis. Etiam lacus. Suspendisse faucibus.
Main Achievements:
Suspendisse potenti. Nulla dolor metus, tempus id, dapibus eu, imperdiet vel, massa. Sed gravida tristique dui. Pellentesque et magna vitae neque sodales porta. Integer magna nibh, tincidunt nec, placerat ut, vulputate eu, nisi.
Quisque vitae arcu. Fusce ultrices. Quisque egestas, massa vitae porttitor rhoncus, enim felis lobortis lacus, vestibulum vulputate leo dolor sed felis.
Mauris eget dui at leo pulvinar varius. Fusce quis dolor. Donec dictum nunc et ligula. Quisque tellus. Praesent et leo sit amet nisl vestibulum scelerisque.
In hac habitasse platea dictumst.
www.cost-xx.com
Objectives:
Figure 1: Suspendisse potenti. Nulla dolor metus.
Figure 2: Suspendisse potenti. Nulla dolor metus.
![Page 3: European Cooperation in Science and Technology COST is supported by the EU RTD Framework Programme ESF provides the COST Office through an EC contract.](https://reader036.fdocuments.in/reader036/viewer/2022081821/56649da05503460f94a8c562/html5/thumbnails/3.jpg)
European Cooperation in Science and Technology
COST is supported by the EU RTD Framework Programme
ESF provides the COST Officethrough an EC contract
ICT
www.cost.esf.org
Important!Template 1 allows space for one photo.Template 2 allows space for two photos.
Key principles:
1. Do not modify the Slide Master. It contains the generic elements of the COST Programme and your Action’s Domain.
2. Create the header by replacements. Try to preserve the top of the page as close to the original as possible. Do not hesitate to play with the font size, if needed.
3. Web address. Feel free to enlarge the little box horizontally, so that your address fits, but try to preserve the font size.
4. Preserve general balance of the page. The page is divided in two columns (one of 1/3 and one of 2/3). Try to preserve this disposition, so that there is a visual harmony between all posters.
5. Create Titles by replacement. Similarly as for the header, alter the titles (if necessary) by replacing the existing text.
6. Photos. Try to use one or two photos maximum (preferably one only). Remember that the final format of the document is A1 (59.4 x 84 cm – i.e. 4 times A4 format). Therefore, you will need to use pictures of high resolution. If you use jpeg format, pictures should preferably be more than 3.5 Mb for one picture; or 1.75 Mb each for two pictures.
7. Objectives. Try to fit the text in the space as shown in the template. Play with the font size if necessary.
Note: the bullet points in this template were added as images. Please do not use PowerPoint’s automatic bullet system but move the existing bullets up or down as necessary. Copy/paste them if extras are needed.
8. Main achievements. See objectives. Try to write your main achievements in 3 to 5 elements.
9. Working Groups. Feel free to play with the size of the background box, and the font size to make your text fit.