|
Calls for Papers |
CfP: The 2nd International Conference on Open Source Software Computing (OSSCOM 2016) |
CALL FOR PROPOSALS/PAPERS
The 2nd International Conference on Open Source Software Computing
1 - 3 December 2016 | Lebanese University, Lebanon | http://osscom2016.osscom.org/
Partially funded by EC - Tempus and technically sponsored by IEEE Objectives.
To promote opportunities for cooperation t...more |
Oct 5 2016 - 12:08pm |
8 years 8 weeks ago |
|
Calls for Papers |
CFP 8th International Conference on Ambient Systems, Networks and Technologies |
CALL FOR PAPERS - Workshop Proposal deadline extended to: November 1, 2016
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017)
Madeira, Portugal | May 16-19, 2017 | http://cs-conferences.acadiau.ca/ant-17/
Important Dates
Workshops Proposal Due:...more |
Oct 5 2016 - 11:30am |
8 years 8 weeks ago |
|
Position Announcements |
Tenure-track faculty position at Virginia Tech on distributed computing |
A tenure-track faculty position at the Assistant Professor-level is available at Virginia Tech. The focus area of the search is distributed computing, broadly defined, and includes parallelism and concurrency, in settings including multicore architectures, clusters, and geographically distributed sy...more |
Oct 5 2016 - 11:20am |
8 years 8 weeks ago |
|
Position Announcements |
Faculty position - University of Oklahoma ISE |
Colleagues,
We're excited about announcing our new open position in cyber-physical-social systems. Please see the attached ad for more details on the position and application process.
Assistant Professor in Cyber-Physical-Social Systems
The School of Industrial and Systems Engineering at...more |
Sep 29 2016 - 12:58pm |
8 years 9 weeks ago |
|
Calls for Papers |
IEEE Wireless Communications and Networking Conference, 19-22 March 2017, San Francisco, CA, USA |
IEEE Wireless Communications and Networking Conference
19-22 March 2017 // San Francisco, CA, USA
http://wcnc2017.ieee-wcnc.org
Submissions are welcomed for IEEE WCNC 2017
IEEE Wireless Communications and Networking Conference (WCNC) - the premier wireless event - brings together industry pr...more |
Sep 21 2016 - 11:53am |
8 years 10 weeks ago |
|
Calls for Papers |
CfP: CRTS 2016 |
CALL FOR PAPERS - Submission deadline (extended): 25th September 2016 (23:59 GMT-12.00)
9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016)
November 29, 2016 | Porto, Portugal | collocated with RTSS 2016
Webpage: http://www.mrtc.mdh.se/CR...more |
Aug 19 2016 - 12:37pm |
8 years 10 weeks ago |
|
Calls for Papers |
CfP: Reaction 2016 @ RTSS. Oporto, Portugal. |
CALL FOR PAPERS - Submission Deadline Extended: September 25th, 2016
4th IEEE Workshop on Real-Time Computing and Distributed Systems in Emerging Applications (REACTION 2016)
Co-located with IEEE RTSS
November 29, 2016 | Porto, Portugal | http://www.cister.isep.ipp.pt/reaction2016
Important dat...more |
Sep 15 2016 - 12:55pm |
8 years 10 weeks ago |
|
Calls for Workshops & Tutorials |
Call for Workshops Proposals in conjunction with ANT-17 |
Call for Workshops Proposals
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017)
Madeira, Portugal | May 16-19, 2017 | http://cs-conferences.acadiau.ca/ant-17/#workshop
Important Date
Workshop Proposal Due: October 1, 2016
ANT-2017 organizing committ...more |
Sep 15 2016 - 1:39pm |
8 years 10 weeks ago |
|
Calls for Papers |
CfP: 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) |
CALL FOR PAPERS
1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS)
Co-located with the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
March 12, 2017 | Tokyo, Japan | http://www....more |
Sep 19 2016 - 2:02pm |
8 years 10 weeks ago |
|
Calls for Papers |
CfP: IFAC World 2017 open invited track on Control for Computing Systems |
CALL FOR CONTRIBUTIONS
Open Invited Track on "Control for Computing Systems" at the 20th IFAC World Congress
Toulouse, France | July 9-14, 2017 | http://www.ifac2017.org/
Computing systems, large (data centers in the Cloud) or small (embedded architectures), have a growing need to be dynamicall...more |
Sep 19 2016 - 1:44pm |
8 years 10 weeks ago |
|
Calls for Papers |
CfP: SPIE Microtechnologies 2017 - Cyber Physical Sytems |
CALL FOR PAPERS
SPIE 2017 conference on Cyber Physical Systems
May 8-10, 2017 | Barcelona, Spain | http://spie.org/EMT/conferencedetails/cyber-physical-systems
PIE Microtechnologies is the European meeting where the latest progress in microtechnology and nanotechnology systems and applications ar...more |
Sep 19 2016 - 1:40pm |
8 years 10 weeks ago |
|
Calls for Papers |
Call for Papers: Compiler Construction 2017 |
CALL FOR PAPERS
26th International Conference on Compiler Construction (CC 2017)
Co-located with CGO, HPCA, PPoPP
Feb 5-6 2017 | Austin, TX, USA | http://conf.researchr.org/home/CC-2017/
Important dates
Abstracts due: 01 November 2016
Papers due: 08 November 201...more |
Sep 19 2016 - 1:29pm |
8 years 10 weeks ago |
|
Calls for Papers |
IPSN 2017 - Call for Papers |
CALL FOR PAPERS
The 16th International Conference on Information Processing in Sensor Networks (IPSN '17)
In Conjunction with CPSWeek - https://cpsweek2017.ece.cmu.edu/
April 18-21, 2017 | Pittsburgh, PA, USA | http://ipsn.acm.org/2017/
The 16th International Conference on Information Processing...more |
Sep 19 2016 - 1:14pm |
8 years 10 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CAIRES Workshop @ ESWEEK: CALL FOR PARTICIPATION |
CALL FOR PARTICIPATION
1st workshop on "Collaboration of Academia and Industry for Real World Embedded Systems" (CAIRES)
at Embedded Systems Week (ESWeek)
The objective of the workshop is to bring together researchers and engineers in order to find ways to solve some of the most pressing, and yet...more |
Sep 19 2016 - 1:06pm |
8 years 10 weeks ago |
|
Calls for Papers |
CfP: Embedded Systems track at SAC 2017 |
CALL FOR PAPERS
32nd ACM/SIGAPP SAC Symposium on Applied Computing
April 3-7, 2017. Marrakech, Morocco. http://retis.sssup.it/sac2017
T r a c k EMBS
EMBEDDED SYSTEMS
New Perspectives for Hardware, System Software, and Applications
Submission page:
https://www.softconf.com/...more |
Sep 15 2016 - 1:56pm |
8 years 11 weeks ago |
|
Calls for Papers |
CfP: RST@SAC 2017 - Marrakech, Morocco - April 3-7, 2016 (Deadline extended) |
CALL FOR PAPERS
32nd ACM/SIGAPP SAC Symposium on Applied Computing
April 3-7, 2017. Marrakech, Morocco. http://www.dre.vanderbilt.edu/~caglarf/rst2017/
T r a c k R S T
RELIABLE SOFTWARE TECHNOLOGIES AND COMMUNICATION MIDDLEWARE
IMPORTANT DATE...more |
Sep 15 2016 - 1:51pm |
8 years 11 weeks ago |
|
Position Announcements |
Post-doctorate proposal - INRIA project-team TEA, Rennes |
Post-doctorate proposal - INRIA project-team TEA, Rennes
Synthesis of multi-periodic systems from architecture modelling standards
INTRODUCTION
An architecture model is a system design artifact at the crossing of all
constituents of a cyber-physical system, its software (programs,
controllers...more |
Sep 15 2016 - 1:34pm |
8 years 11 weeks ago |
|
Position Announcements |
Open position: Assistant professor in Mechatronics with a specialization in robotics design |
Assistant professor in Mechatronics with a specialization in robotics design
KTH Royal Institute of Technology, School of Industrial Engineering and Management
KTH Royal Institute of Technology in Stockholm has grown to become one of Europe's leading technical and engineering universities, as well...more |
Sep 15 2016 - 1:32pm |
8 years 11 weeks ago |
|
Calls for Papers |
CfP: International Journal of Information Technologies and Systems Approach (IJITSA) |
International Journal of Information Technologies and Systems Approach (IJITSA)
Special Issue On: Computing Challenges on IoT and Pervasive Systems
Submission Due Date (extended): September 30, 2016
http://www.igi-global.com/calls-for-papers-special/international-journal-information-technologie...more |
Sep 15 2016 - 1:27pm |
8 years 11 weeks ago |
|
Calls for Papers |
SAC SVT 2017 - Second Call for Papers - Extended Deadline September 29 |
2ND CALL FOR PAPERS - Deadline Extended to Sept. 29
32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track
April 3 - 7, 2017, Marrakech, Morocco
More information:
http://http://antares.sip.ucm.es/svt2017/ and
http://www.sigapp.org/sac/sac2017/
Important da...more |
Jul 15 2016 - 3:43pm |
8 years 11 weeks ago |
|
Position Announcements |
Postdoc Position(s) in Formal Methods for parametric quantitative systems |
Two 1-year postdoc positions (or potentially one 2-year) are available at LINA/IRCCYN (wich will become LS2N in 2017) in Nantes, funded by the French ANR project PACS (Parametric Analyses of Concurrent Systems -- http://lipn.univ-paris13.fr/PACS/).
** PROJECT **
Model-checking and formal model...more |
Sep 15 2016 - 12:44pm |
8 years 11 weeks ago |
|
Calls for Papers |
CfP: DATE 2017: Topic E2 Compilers and Software Synthesis for Embedded Systems |
CALL FOR PAPERS
ABSTRACT SUBMISSION DEADLINE: Sunday, 11 September, 2016.
FULL PAPER SUBMISSION DEADLINE: Sunday, 18 September, 2016
DATE 2017: Topic E2 Compilers and Software Synthesis for Embedded Systems
at DATE 2017 | Lausanne, CH | March 27 - 31, 2017
https://www.date-conference.com/call-f...more |
Sep 15 2016 - 12:24pm |
8 years 11 weeks ago |
|
Calls for Papers |
CfP: DATE 2017: Topic E1 Real-time, Networked, and Dependable Systems |
CALL FOR PAPERS
DATE 2017: Topic E1 Real-time, Networked, and Dependable Systems
at DATE 2017 | Lausanne, CH | March 27 - 31, 2017
https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E1
DATE 2017, will take place from 27 to 31...more |
Sep 9 2016 - 3:13pm |
8 years 12 weeks ago |
|
Calls for Papers |
CfP: Uncertainty Reasoning at Flairs'17 |
CALL FOR PAPERS
Special Track on Uncertain Reasoning (UR) at FLAIRS'17
May 22-24, 2017 | Marco Island, Florida | http://www.flairs-30.info/
Important Dates:
Submission of papers: Nov. 21, 2016
Notification of acceptance: Jan. 23, 2017
Camera-ready versions due: Feb. 27, 2017
FLAIRS-30 confe...more |
Sep 9 2016 - 2:56pm |
8 years 12 weeks ago |
|
Calls for Papers |
CfP: DATE 2017: Topic E4 Embedded Software Architectures |
CALL FOR PAPERS
Topic E4: Embedded Software Architectures
at DATE 2017 | Lausanne, CH | March 27 - 31, 2017
https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E4
DATE 2017, will take place from 27 to 31 March, 2017, at the Sw...more |
Sep 9 2016 - 2:03pm |
8 years 12 weeks ago |
|
Calls for Papers |
CfP: 4th Workshop on Mixed Criticality Systems (WMC 2016) |
CALL FOR PAPERS
4th Workshop on Mixed Criticality Systems (WMC 2016)
November 29, 2016 | Porto, Portugal | With RTSS 2016
THEMES
The workshop aims to bring together researchers working in fields relating to real-time systems with a focus on the challenges brought about by the integration of mixe...more |
Sep 9 2016 - 1:49pm |
8 years 12 weeks ago |
|
Calls for Papers |
CfP: IoTDI 2017 |
CALL FOR PAPERS
The 2nd IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI 2017)
April 18-21, 2017 | Pittsburgh, PA | http://conferences.computer.org/IoTDI/
In conjuction with CPS Week
IoTDI Is part of CPSWeek 2017!
IoTDI is a premier venue on IoT and a new mem...more |
Sep 9 2016 - 1:38pm |
8 years 12 weeks ago |
|
Calls for Papers |
CFP NFM 2017: 9th NASA Formal MethodsSymposium |
CALL FOR PAPERS
The 9th NASA Formal Methods Symposium (NFM 2017)
May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/
Theme of the Symposium
The widespread use and increasing complexity of mission-critical and safety-critical systems at...more |
Sep 9 2016 - 1:11pm |
8 years 12 weeks ago |
|
Calls for Papers |
CfP: 19th International Symposium on Practical Aspects ofDeclarative Languages (PADL 2017) |
CALL FOR PAPERS
19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)
16th and 17th January 2017 | Paris, France | http://bit.ly/PADL-2017
Co-located with ACM POPL 2017 - http://conf.researchr.org/home/POPL-2017
The two best papers accepted for publication at PAD...more |
Sep 9 2016 - 1:02pm |
8 years 12 weeks ago |
|
Position Announcements |
PhD position at the University of Oldenburg |
A 3-year PhD position (scientific assistant) is available in the lab of Prof. Dr. Annegret Habel, Department of Computing Sciences, University of Oldenburg, starting October 1st 2016
Deadline: 15th September 2016.
Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling...more |
Sep 2 2016 - 11:02am |
8 years 13 weeks ago |
|
Calls for Papers |
CfP: 2016 Annual Computer Security Applications Conference (ACSAC) |
CALL FOR PAPERS
2016 Annual Computer Security Applications Conference (ACSAC)
Security and Privacy in the Internet of Things (IoTs)
December 5-9, 2016 | Los Angeles, California | https:www.asac.org/2016/cfp/hardtopic/
Background
ACSAC is renewing its focus on tackling hard, cutting-edge, cyber...more |
Aug 31 2016 - 10:22am |
8 years 13 weeks ago |
|
Calls for Papers |
CfP: DATE 2017: Model-based Design and Verification for Embedded Systems |
CALL FOR PAPERS
Topic E3: Model-based Design and Verification for Embedded Systems
at DATE 2017 | Lausanne, CH | March 27 - 31, 2017
https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E3
DATE 2017, will take place from 27 to...more |
Aug 30 2016 - 5:10pm |
8 years 13 weeks ago |
|
Position Announcements |
PostDoc position @ RWTH Aachen University, Germany: Application Software Engineering for Cyber-physical Systems |
Vacancy: Postdoc/Head of Junior Research Group
Our profile:
RWTH Aachen is Germany's top ranked technical university with approx. 45.000 students and close to 6000 researchers (http://www.rwth-aachen.de). The Chair Informatik 11 -
Embedded Software (http://www.embedded.rwth-achen.de) is part of...more |
Aug 30 2016 - 4:58pm |
8 years 13 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ESWeek 2016: Preferred Hotel Registration Deadline approaches soon |
CALL FOR PARTICIPATION
Preferred Hotel Registration Deadline Sept. 2
E M B E D D E D S Y S T E M S W E E K
Pittsburgh, PA, US | October 2-7, 2016 | www.esweek.org
==============================================================
CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tut...more |
Aug 30 2016 - 4:45pm |
8 years 13 weeks ago |
|
Position Announcements |
VANDERBILT UNIVERSITY TENURE TRACK FACULTY POSITION(S) |
VANDERBILT UNIVERSITY TENURE TRACK FACULTY POSITION(S)
CIVIL AND ENVIRONMENTAL ENGINEERING - CYBER-PHYSICAL SYSTEMS FOR INTELLIGENT INFRASTRUCTURE AND SMART CITIES
Vanderbilt University, Department of Civil and Environmental Engineering, is seeking candidates to fill one, or possibly two, tenure-...more |
Aug 30 2016 - 11:44am |
8 years 13 weeks ago |
|
Calls for Papers |
CfP: Building IoT 2017 |
CALL FOR PAPERS
Building IoT 2017
Mar 27 - 29, 2017 | London, England | http://www.buildingiot.london
Building IoT will be held from March 27 to 29, 2017, and will embrace the full spectrum of topics connected to the Internet of Things and Industry 4.0, focusing on software development and tech...more |
Aug 24 2016 - 2:51pm |
8 years 14 weeks ago |
|
Calls for Papers |
USE'16 Call for Paper (co-located with FM 2016): 2nd Workshop on Usages of constraint Solving and symbolic Execution |
CALL FOR PAPERS
2nd Workshop on Usages of constraint Solving and symbolic Execution (USE '16)
7 November 2016
co-located with the 21th Int. Symposium on Formal Method FM'16
http://perso.ecp.fr/~gallp/Workshop_USE16.html...more |
Jul 15 2016 - 2:32pm |
8 years 14 weeks ago |
|
Calls for Papers |
CfP: JNCA Special Issue on Emerging Services for Internet of Things (IF = 2.331) |
JNCA Special Issue on Emerging Services for Internet of Things (IF = 2.331)
Important dates
Paper submission: September 15, 2016
Acceptance notification: December 15, 2016
Final papers: 1st Quarter, 2017
Internet of Things (IoT) can provide a state-of-the-art for modern services. The rapid a...more |
Aug 19 2016 - 12:50pm |
8 years 15 weeks ago |
|
Position Announcements |
11 Grants + 2 PhD positions 2016 - Computer Science - Pisa |
We would like to announce that the call for 11 grants plus 2 positions without bursary, at the PhD in Computer Science of the University of Pisa, will be available at:
http://dottorato.unipi.it/index.php/en/application-process-for-the-academic-year-2016-2017.html
The deadline for applicati...more |
Aug 19 2016 - 12:16pm |
8 years 15 weeks ago |
|
Calls for Papers |
CFP: Formal Methods 2016 - Doctoral Symposium - Deadline extended to Aug. 1 |
CALL FOR PAPERS - Deadline Extended to Aug. 1
Formal Methods 2016 - Doctoral Symposium
In conjunction with the 21st Symposium on Formal Methods
Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html
GOALS AND SCOPE
A Doctoral Symposium will be held on...more |
Jul 6 2016 - 1:48pm |
8 years 15 weeks ago |
|
Position Announcements |
Vacancy: Postdoc/Head of Junior Research Group |
Our profile:
RWTH Aachen is Germany's top ranked technical university with approx. 45.000 students and close to 6000 researchers (http://www.rwth-aachen.de). The Chair Informatik 11 - Embedded Software (http://www.embedded.rwth-achen.de) is part of the RWTH Computer Science Department and is headed...more |
Aug 9 2016 - 6:24am |
8 years 16 weeks ago |
|
Calls for Papers |
CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment |
CALL FOR PAPERS
3rd Workshop on Formal Integrated Development Environment (F-IDE2016)
A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus
Submission due: August 14, 2016
Website: https://sites.google.com/site/fideworkshop2016/
Formal Integrated Development Environment (F-IDE) is...more |
Jul 25 2016 - 2:24pm |
8 years 18 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
ESmart Energy for a Smart Grid Consortium UCLA Henry Samueli School of Engineering and Applied Science |
Kick Off Meeting - September 20, 2016
http://smartgrid.ucla.edu/esmart/events/2016-09/
On September 20, 2016, UCLA is hosting its kickoff meeting to present the UCLA Consortium on Energy for a Smart Grid (ESmart). ESmart objectives include developing advanced technology, prototypes, demonstrations...more |
Jul 25 2016 - 2:18pm |
8 years 18 weeks ago |
|
Calls for Papers |
Call for Workshop papers: AICCSA 2016, Nov 29th to Dec 2nd, 2016 - Agadir, Morocco |
CALL FOR WORKSHOP PAPERS
13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2016)
Nov 29th to Dec 2nd, 2016 | Agadir, Morocco | http://www.aiccsa.net/AICCSA2016/
3rd International Symposium on Internet of Things: Systems, Management and Security (IOTSMS 2016)...more |
Jul 15 2016 - 4:04pm |
8 years 20 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: Deep Learning Comes to ESTIMedia 2016 Special Session |
CALL FOR PARTICIPATION
IEEE ESTIMedia 2016 is going to have a Special Session on Deep Learning and its applications to Multimedia
Special Session Title: Implementation of Deep Neural Networks and Its Applications
Organizer: Yiran Chen, University of Pittsburgh
Presentation 1
Title: Efficient...more |
Jul 15 2016 - 3:59pm |
8 years 20 weeks ago |
|
Calls for Papers |
Extended Submission deadline: Embedded Operating System Workshop (EWiLi'16) |
CALL FOR PAPERS - Extended Submission deadline: 25 July 2016
EWiLi'16, the 6th Embedded Operating System Workshop
held in conjunction with ESWEEK
2-7 October 2016 | PITTSBURGH, PA, USA | http://syst.univ-brest.fr/ewili2016
Aim and Scopes
EWiLi, the embedded operating system workshop, aims at pr...more |
May 9 2016 - 3:36pm |
8 years 20 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Tutorial on Cyber-Physical Systems Engineering: Next GenerationFoundations, Methods and Tools |
Formal Methods 2016 - Tutorial on Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools
In conjunction with the 21st Symposium on Formal Methods
Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/tutorials.html
Based on the work we are carrying out in...more |
Jul 15 2016 - 3:12pm |
8 years 20 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: ICES conference on Requirements and Verification |
CALL FOR PARTICIPATION
ICES conference on Requirements and Verification
The increasing complexity of software systems in the era of Cyber-Physical Systems and Internet of Things makes verification a challenge as well as making sure that we have handled all the requirements.
The conference featu...more |
Jul 15 2016 - 3:07pm |
8 years 20 weeks ago |
|
Calls for Papers |
CfP: 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016) |
CALL FOR PAPERS
11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
October 21--23, 2016 | Telc, Czech Republic | http://www.memics.cz
Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applica...more |
Jul 15 2016 - 2:52pm |
8 years 20 weeks ago |
|
Calls for Papers |
21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers |
CALL FOR INDUSTRIAL PAPERS
FM 2016 Industry Track
part of the 21st International Symposium on Formal Methods
http://fm2016.cs.ucy.ac.cy/cfpindustrytrack.html
Limassol, Cyprus, November 7-11, 2016
IMPORTANT DATES
Industry Track Submission: July 31, 2016 (AoE)
Industry Track Notification: A...more |
Jul 15 2016 - 2:22pm |
8 years 20 weeks ago |
