|
Position Announcements |
Postdoctoral Associate: Planning and Control for Collaborative Autonomy |
Multiple postdoctoral positions are available in the Hybrid Systems and Controls Laboratory (http://hscl.unm.edu) at the University of New Mexico to work on projects funded by the NSF National Robotics Initiative ("NRI: Planning, collaborative guidance, and navigation in uncertain, dynamic environme...more |
Feb 22 2018 - 2:53pm |
6 years 36 weeks ago |
|
Calls for Papers |
Deadline Extended: 8th International Workshop on Medical Cyber-Physical Systems |
8th International Workshop on Medical Cyber-Physical Systems
Hosted at Cyber-Physical Systems Week 2018
https://rtg.cis.upenn.edu/mcps-workshop-2018/
April 10, 2018 - Porto, Portugal
Call for Papers
Medical Cyber-Physical Systems (CPS) encompass a new generation of smart medical systems that i...more |
Feb 14 2018 - 11:44am |
6 years 37 weeks ago |
|
Calls for Papers |
The Fourth International Workshop on Security in NFV-SDN (SNS2018) 25-29 June, 2018 Montreal, Canada |
CALL FOR PAPERS
The Fourth International Workshop on Security in NFV-SDN (SNS2018)
25-29 June, 2018 | Montreal, Canada | http://computing.derby.ac.uk/sns2018
in conjunction with the IEEE Conference on Network Softwarization (NetSoft 2018)
Network Function Virtualization (NFV) and Software Defi...more |
Feb 8 2018 - 2:30pm |
6 years 38 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
USDOT Mobility on Demand Webinar - Standards and Specifications for MOD |
Upcoming webinar scheduled for Thursday, February 15, presented by the U.S. Department of Transportation and ITS America. This webinar will feature speakers from the Tri-County Metropolitan Transportation District of Oregon (TriMet) and the Vermont Agency of Transportation (VTrans) discussing the de...more |
Feb 8 2018 - 2:26pm |
6 years 38 weeks ago |
|
Calls for Papers |
FINAL CfP: 11th International Conference on Graph Transformation (ICGT 2018) |
FINAL CALL FOR PAPERS
11th International Conference on Graph Transformation (ICGT 2018)
Part of STAF 24-29 June 2018
24-29 June 2018 | Toulouse, France | https://www.hpi.uni-potsdam.de/giese/events/icgt2018/
Aims and Scope
Dynamic structures are a major cause for complexity when it comes to m...more |
Jan 26 2018 - 4:39pm |
6 years 38 weeks ago |
|
Calls for Papers |
CfP: Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA) at DSD 2018 |
CALL FOR PAPERS
Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA)
at DSD 2018
Special Session Scope
Modern embedded appliances already integrate a multitude of functionalities with potentially different criticality levels into a single system and this tre...more |
Feb 8 2018 - 2:11pm |
6 years 38 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for participation: F1/10 Autonomous Racing @ CPS Week 2018 |
F1/10 Autonomous Racing returns with an exciting new event in April 2018 at Cyber-Physical Systems Week
April 10-11 | CPS Week 2018 | Porto, Portugal | f1tenth.org
Participation form submission deadline: Feb 9, 2018
Team participation form: https://docs.google.com/forms/d/e/1FAIpQLSfrOpg1lrpZKm...more |
Feb 8 2018 - 1:19pm |
6 years 38 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Papers, Workshops, Tutorials - ESWEEK 2018 |
Call for Papers, Workshops, Tutorials
EMBEDDED SYSTEMS WEEK
CASES * CODES+ISSS * EMSOFT * IoT * Symposia * Workshops * Tutorials
Torino Incontra, Torino, Italy | Sept. 30 - Oct. 5, 2018 | http://www.esweek.org/
About ESWEEK
Embedded Systems Week (ESWEEK) is the premier event covering all aspect...more |
Feb 8 2018 - 1:08pm |
6 years 38 weeks ago |
|
Calls for Papers |
CfP: 25th International Symposium on Model Checking of Software (SPIN 2018) |
CALL FOR PAPERS
25th International Symposium on Model Checking of Software (SPIN 2018)
Malaga, Spain | June 20-22, 2018 | http://spin2018.uma.es/
The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the an...more |
Feb 8 2018 - 1:05pm |
6 years 38 weeks ago |
|
Calls for Papers |
CFP - ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED) 2018 |
CALL FOR PAPERS
INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED 2018)
http://www.islped.org | Bellevue, Washington, USA | July 23 - 25, 2018
Pending sponsorship by the ACM Special Interest Group on Design Automation (SIGDA) and the IEEE Circuits and Systems Society (CASS).
Th...more |
Feb 6 2018 - 11:51pm |
6 years 38 weeks ago |
|
Calls for Papers |
CfP: 14th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA2018) |
14th IEEE/ASME International Conference on
Mechatronic and Embedded Systems and Applications (MESA2018)
http://www.mesa2018.org
Objectives
The goal of the 14th ASME/IEEE MESA2018 is to bring together experts from the fields of mechatronic and embedded systems, disseminate the recent advances in...more |
Feb 5 2018 - 10:11pm |
6 years 38 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ETAPS Test of Time Award 2018: Call for nominations |
CALL FOR NOMINATIONS
ETAPS Test of Time Award
The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS.
See...more |
Feb 2 2018 - 3:02pm |
6 years 39 weeks ago |
|
Position Announcements |
Tenure-track/tenured faculty positions in computer and software engineering at Iowa State University |
The Department of Electrical and Computer Engineering in the College of Engineering at Iowa State University, Ames, Iowa, invites applications for tenure-track or tenured faculty positions in computer and software engineering. Appointments will be considered at all experience levels.
Responsibiliti...more |
Feb 1 2018 - 8:25pm |
6 years 39 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Free Public Webinar on Wyoming Department of Transportation (WYDOT) Connected Vehicle Pilot |
Free Public Webinar on Wyoming Department of Transportation (WYDOT) Connected Vehicle Pilot: Update at the Application Design Stage
The U.S. Department of Transportation (USDOT) will host a webinar about the connected vehicle applications being developed as part of the WYDOT Connected Vehicle Pilot...more |
Jan 29 2018 - 2:31pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 4th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018) |
4th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018)
Co-located with DSN 2018
IMPORTANT DATES
Paper submission: 1 april 2018
Author notification: [to be defined]
Final version: [to be defined]
WORKSHOP DESCRIPTION
Over the last years, aerial and ground vehi...more |
Jan 29 2018 - 2:24pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 20th International Conference on Coordination Models and Languages (COORDINATION 2018) |
CALL FOR PAPERS
20th International Conference on Coordination Models and Languages (COORDINATION 2018)
Madrid, Spain | June 18 - 21 2018 | http://2018.discotec.org
Publications
Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag
Publication of extended...more |
Jan 29 2018 - 2:06pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018) |
CALL FOR PAPERS
18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)
Barcelona, Spain | July 3, 2018 | https://wcet2018.wp.imt.fr/
co-located with the Euromicro Conference on Real-Time Systems (ECRTS 2018)
The International Workshop on Worst-Case Execution Time Analysis...more |
Jan 29 2018 - 1:52pm |
6 years 39 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
QBFEVAL'18 - Competitive Evaluation of QBF Solvers Preliminary Call for Participation |
Preliminary Call for Participation
Competitive Evaluation of QBF Solvers (QBFEVAL'18)
A joint event with Federated Logic Conference (FLoC) 2018
Oxford, UK | 6 - 19 July 2018\
QBFEVAL'18 will be the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and insta...more |
Jan 29 2018 - 1:42pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems |
CALL FOR PAPERS
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2018)
September 30 - October 5, 2018 | Torino, Italy | http://www.esweek.org/cases
CASES is a premier forum where researchers, developers and practitioners exchange information on the l...more |
Jan 29 2018 - 1:33pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 3rd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'18) |
CALL FOR PAPERS
3rd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'18)
10 April 2018 | Porto, Portugal, USA | https://sites.google.com/asu.edu/mtcps2018
Co-located with CPS Week
Cyber-physical systems (CPS) are integrations of heterogeneous collaborative ent...more |
Jan 10 2018 - 2:01pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: IEEE 12th International Conference on Research Challenges in Information Science (RCIS 2018) |
CALL FOR PAPERS
IEEE 12th International Conference on Research Challenges in Information Science (RCIS 2018)
29-31 May 2018 | Nantes, France | http://rcis-conf.com/
co-located with the 36th French conference INFORSID http://www.inforsid.fr/Nantes2018/
RCIS has become a recognized conference on r...more |
Jan 29 2018 - 12:34pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: The Fourth International Workshop on Security in NFV-SDN (SNS2018) |
The Fourth International Workshop on Security in NFV-SDN (SNS2018)
25-29 June, 2018 | Montreal, Canada | http://computing.derby.ac.uk/sns2018
in conjunction with the IEEE Conference on Network Softwarization (NetSoft 2018)
Network Function Virtualization (NFV) and Software Defined Network (SDN...more |
Jan 29 2018 - 12:24pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 28th International Conference on Field Programmable Logic and Applications (FPL 2018) |
CALL FOR PAPERS
28th International Conference on Field Programmable Logic and Applications (FPL 2018)
Dublin, Ireland | August 27-31, 2018 | www.fpl2018.org
Abstract and Title Submission Deadline (mandatory): March 19, 2018
Full Paper Submission Deadline: April 2, 2018
Submission page: h...more |
Jan 26 2018 - 5:52pm |
6 years 40 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Incentive-Based Approaches to MOD Webinar (January 30, 2018) |
U.S. Department of Transportation and ITS America Offer Free Webinar on MOD Integrated Platforms and Services
Title: Incentive-Based Approaches to MOD
Date: Tuesday, January 30, 2018
Time: 2:00 - 3:00 PM ET
Presenters: USDOT, Scoop, Metropia
Registration: Click Here
The U.S. Department o...more |
Jan 26 2018 - 5:46pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: Sensors Journal Special Issue on "Design and Implementation of Future CPS" |
Call for Papers:
Sensors Journal Special Issue on Design and Implementation of Future CPS
There is a strong trend for ubiquitous computing devices and objects that proliferate throughout our environment, homes, streets, buildings and even in our bodies. These tiny sensor/actuator systems pave the...more |
Jan 26 2018 - 5:42pm |
6 years 40 weeks ago |
|
Calls for Papers |
CFP: 9th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018) |
CALL FOR PAPERS
9th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018)
3-6th July 2018 | Barcelona, Spain | http://rtsops2018.loria.fr/
Satellite workshop of 30th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
-----------------------------------------------------------------------...more |
Jan 26 2018 - 5:34pm |
6 years 40 weeks ago |
|
Calls for Papers |
CyPhy'17 and WESE'17 -- Call for Post-Workshop Papers |
Cyber physical systems (CPSs) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.
We solicit research papers for inclus...more |
Jan 26 2018 - 5:30pm |
6 years 40 weeks ago |
|
Calls for Workshops & Tutorials |
CfP: 6th ALCHEMY Track on Many-core Programming Issues (Part of ICCS 2018) |
CALL FOR PAPERS
6th ALCHEMY Track on Many-core Programming Issues
Held in conjunction with the International Conference on Computational Science (ICCS 2018)
Wuxi, China | 11-13 June 2018 | https://sites.google.com/site/alchemyworkshop/
The future aims toward increasing parallelism and heterogene...more |
Jan 26 2018 - 5:26pm |
6 years 40 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation ERTS 2018 |
ERTS2 (Embedded Real Time Software and Systems)
Toulouse - Pierre Baudis Conference Center | January 31st - February 2nd, 2018 | https://www.erts2018.org
This event, organized every two years since 2002 by 3AF, SEE and SIA, remains unique in Europe. With this 9th edition, ERTS2 promises to be aga...more |
Jan 26 2018 - 5:16pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP - IMPENDING DEADLINE: ECYPS’2018 - the 6th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems |
CALL FOR PAPERS
6th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS'2018)
Budva * Montenegro | June 10-14, 2018 | http://embeddedcomputing.me
ECYPS'2018 - the 6th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO'2018 - the 7th...more |
Jan 26 2018 - 5:09pm |
6 years 40 weeks ago |
|
Position Announcements |
Fully funded PhD + Postdoc positions in AI/ML on Rhythm at University of Oslo, Norway |
We are happy to announce several Doctoral and Postdoctoral Research Fellowships at the new RITMO Centre for Interdisciplinary Studies in Rhythm, Time and Motion at the University of Oslo within artificial intelligence, machine learning and robotics:
Doctoral Research Fellowships in Artificial In...more |
Jan 26 2018 - 5:05pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2018) |
CALL FOR PAPERS
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2018)
June 19 - 20, 2018 | | Philadelphia, PA | https://conf.researchr.org/home/LCTES-2018
co-located with PLDI 2018
LCTES provides a link between the programming languages and embedded s...more |
Jan 26 2018 - 4:59pm |
6 years 40 weeks ago |
|
Position Announcements |
Professorship in Cyber Physical Systems at University of Essex |
Job profile
Job Title: Professor in Cyber Physical Systems, CSEE
Job Reference: REQ01095
Application closing date: March 1, 2018
Location: Colchester
Salary: On the professorial salary scale and commensurate with skills and experience
Employment type: Permanent, Full-time
Job category/type:...more |
Jan 26 2018 - 4:46pm |
6 years 40 weeks ago |
|
Position Announcements |
Two Open PostDoC and/or PhD Positions at the Chair of Adaptive Dynamic Systems @ TU Dresden |
PostDoc/PhD Position in Embedded Heterogeneous Multicore Systems
(see also https://www.hipeac.net/jobs/9867/postdocphd-position-in-embedded-heterogeneous-multicore-systems/)
Deadline: Jan. 30, 2018
PhD student, PostDoc, Research Associate (# positions: 1)
At the Institute of Computer Engineerin...more |
Jan 26 2018 - 4:38pm |
6 years 40 weeks ago |
|
Position Announcements |
PostDoc / Research Assistant in Program Parallelisation |
** Overview **
1 Research Associate / Assistant in Program Parallelisation
The University of Cambridge
Deadline 11 February 2018
http://www.jobs.cam.ac.uk/job/16328/
** The Project **
Applications are invited for a Research Assistant or Associate (PostDoc) to work on program parallel...more |
Jan 26 2018 - 4:32pm |
6 years 40 weeks ago |
|
Position Announcements |
Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems |
ERATO Metamathematics for Systems Design Project
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for
senior researchers and
postdocs
together with research assistants (PhD students) and internship students.
This broad project aims to extend...more |
Jan 26 2018 - 4:30pm |
6 years 40 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
WATERS industrial challenge |
INDUSTRIAL CHALLENGE
9th International Workshop on Analhysis Tools and Metodologies for Embedded and Real-time Systems (WATERS 2018)
an ECRTS 2018 workshop
3rd July 2018 | Barcelona, Spain | http://w3.onera.fr/waters2018/node/13
The WATERS 2018 industrial challenge is based on the RESSAC use cas...more |
Jan 26 2018 - 4:21pm |
6 years 40 weeks ago |
|
Position Announcements |
Postdoc position in Cancer Decision Support System Design at University of Oslo, Norway |
Vacant Postdoc position in Cancer Decision Support System Design at University of Oslo, Norway
The position is affiliated to the Robotics and Intelligent Systems group at the University of Oslo, Norway http://www.mn.uio.no/ifi/english/research/groups/robin in collaboration with the Digital Signal P...more |
Jan 26 2018 - 4:09pm |
6 years 40 weeks ago |
|
Position Announcements |
PhD full time position in deep learning and reinforcement learning |
Apply online at: https://hitachi.taleo.net/careersection/2/jobdetail.ftl?job=37215&tz=GMT-08%3A00
Research Scientist, Advanced Analytics-37215
Company: Hitachi America, Ltd.
Division: R&D/Big Data Lab
Location: Santa Clara, CA
Status: Regular, Full-Time
Summary
Hitachi America, Ltd...more |
Jan 26 2018 - 4:02pm |
6 years 40 weeks ago |
|
Position Announcements |
AAAI-18 Attendees: AAAI/ACM SIGAI Job Fair - 2nd Call |
AAAI-18 Attendees: AAAI/ACM SIGAI Job Fair
The AAAI/ACM SIGAI Job Fair is back for a 2018 installment. The job fair will be held during AAAI in New Orleans on Monday Feb. 5th, 2018 from 4pm - 6pm. A number of employers are looking to hire students and professionals in AI, so get your CVs ready!
I...more |
Jan 26 2018 - 1:18pm |
6 years 40 weeks ago |
|
Calls for Papers |
ASPLOS'18 Workshop: Updated Call for Position Papers |
Call for Position Papers
Grand Challenges in Computer Systems Research
An NSF-Sponsored Community Visioning Workshop
as part of the ASPLOS 2018 Conference
March 24 - 25, 2018 | Williamsburg, VA | https://www.asplos2018.org/program/grandchallenges
Overview
It is now a time of wrenching ch...more |
Jan 26 2018 - 1:12pm |
6 years 40 weeks ago |
|
Calls for Papers |
Last CFP: CREST @ETAPS 2018: 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and T |
CALL FOR PAPERS
3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)
April 20, 2018 | Thessaloniki, Greece | https://www.react.uni-saarland.de/crest2018/
A satellite event of ETAPS 2018
Today's IT systems, and the interaction...more |
Jan 26 2018 - 12:34pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: 16th International Workshop on Real-Time Networks (RTN 2018) |
CALL FOR PAPERS
16th International Workshop on Real-Time Networks (RTN 2018)
July 3, 2018 | Barcelona, Spain | https://www.ecrts.org/rtn2018
The 16th Real-Time Networks (RTN) 2018 is a satellite workshop of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), the premier European ven...more |
Jan 26 2018 - 12:26pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC 2018) |
CALL FOR PAPERS - Submission Deadline February 9
IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC 2018)
29-31 May, 2018 | NTU Singapore | https://cps-research-group.github.io/ISORC2018/
Main theme and topics:
ISORC has become established as the leading event devoted to...more |
Jan 26 2018 - 11:43am |
6 years 40 weeks ago |
|
Calls for Papers |
Extended Deadline - DMDMS 2018: International Workshop on Data Mining for Decision Making Support |
CALL FOR PAPERS
2nd International Workshop on Data Mining for Decision Making Support (DMDMS 2018)
In Conjunction with the 9th International Conference on Ambient Systems, Networks and Technologies
May 8-11, 2018 | Porto, Portugal | http://www.univ-oran1.dz/images/DMDMS'18/index.html
We cordiall...more |
Jan 19 2018 - 1:46pm |
6 years 40 weeks ago |
|
Calls for Papers |
CFP: WETICE 2018 |
The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for state-of-the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks.
The 27th WETICE edition will be held...more |
Jan 25 2018 - 6:07pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: DSD'2018 - Special Session on Machine- and Deep Learning and AI (AMTDL) |
DSD'2018 - Special Session on Machine- and Deep Learning and AI (AMTDL)
Machine learning has numerous important applications in intelligent systems within many areas, like automotive, avionics, robotics, health-care, well-being, and security. The recent progress in Machine Learning (ML), and partic...more |
Jan 25 2018 - 4:12pm |
6 years 40 weeks ago |
|
Calls for Papers |
CFP: A Visioning Workshop for International Networks to Advance CPS Research, Development, and Education Worldwide [CPSWeek 2018 |
Cyber-physical systems (CPS) have great potential to increase performance and efficiency of applications in almost all societal and industrial domains.They are expected to expand globally, and thus, will increasingly impact citizens of all nations whether as consumers or innovators. We believe this...more |
Jan 25 2018 - 2:21pm |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: Social Robots: A Workshop on the Past, the Present and the Future of Digital Companions |
Social Robots
A Workshop on the Past, the Present and the Future of Digital Companions
ACM PETRA Conference (June 26 - 29), Corfu Island Greece
Paper Submission: Mar 02, 2018
Paper Notification: Mar 19, 2018
Camera-Ready Paper: Mar 30, 2018
Submissions should be 4...more |
Jan 25 2018 - 2:15pm |
6 years 40 weeks ago |
|
Calls for Papers |
2nd CFP: Rigorous System Design, MeTRiD workshop |
2nd CALL FOR PAPERS - Deadline extended to 05 February 2018
1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018)
Thessaloniki, Greece | 15 April 2018 | https://project.inria.fr/metrid2018/
satellite workshop of ETAPS 2018
ABOUT MeTRiD
MeTRiD 2018 is a new...more |
Nov 8 2017 - 11:41am |
6 years 40 weeks ago |
