|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
18th Meeting of the Software Certification Consortium (SCC) - Annapolis, May 11/12 2017 |
On behalf of the Steering Committee of the Software Certification Consortium (SCC), I would like to invite you to attend the next SCC meeting to be held at the Historic Inns of Annapolis, Thu/Fri 11/12 May 2017, co-located with the High Confidence Software and Systems Conference 2017, that runs Mon-...more |
May 3 2017 - 3:30pm |
7 years 30 weeks ago |
|
Calls for Papers |
Call for papers: 30th International Workshop on Qualitative Reasoning |
The Qualitative Reasoning (QR) community develops qualitative representations to understand the world from incomplete, imprecise, or uncertain data. Our qualitative models span natural systems (e.g., physics, biology, ecology, geology), social systems (e.g., economics, cultural decision-making), cog...more |
Apr 14 2017 - 4:13pm |
7 years 33 weeks ago |
|
General Announcements |
Low-Power Image Recognition Challenge to be held on July 21 in Hawaii |
The 2017 Low-Power Image Recognition Challenge (LPIRC) will be held on July 21 in Honolulu, Hawaii, USA.
Just before Conference on Computer Vision and Pattern Recognition (cvpr2017.thecvf.com)
LPIRC 2017 Registration is coming soon!
Please encourage your colleagues and students to participate! St...more |
Apr 14 2017 - 4:11pm |
7 years 33 weeks ago |
|
Calls for Papers |
CfP: IEEE INDIN 2017 - Track on Factory Automation and Communication, Mechatronics and Robotics |
CALL FOR PAPERS
IEEE 15th International Conference on Industrial Informatics The Undergoing Industrial Informatics R-Evolution (INDIN'2017)
Emden, Germany | July 24-26, 2017 | indin2017.i2ar.de
Track on: Factory Automation and Communication, Mechatronics and Robotics
Papers dealing with the...more |
Jan 23 2017 - 2:31pm |
7 years 33 weeks ago |
|
Position Announcements |
Three Graduate Teaching Assistantships in Computer Science (SEN00817) — University of Leicester |
Three Graduate Teaching Assistantships in Computer Science (SEN00817)
The Department of Informatics (formerly known as Department of Computer Science) is pleased to offer a funded Graduate Teaching Assistantship for October 2017 entry to its Doctor of Philosophy (PhD) programme.
The Graduate Teach...more |
Apr 14 2017 - 4:05pm |
7 years 33 weeks ago |
|
Calls for Papers |
IEEE D&T CFP: Special Issue on Cross-layer Design of Cyber-Physical Systems |
IEEE Design & Test Call for Contributions to Special Issue on Cross-layer Design of Cyber-Physical Systems
Submission Deadline: 30 June, 2017
Topics of Interest:
This special issue will be on problems and innovative solutions on cross-layer design of all forms of cyber-physical systems. Sol...more |
Apr 14 2017 - 3:56pm |
7 years 33 weeks ago |
|
Calls for Papers |
CfP: VECoS 2017 |
Call for Papers
11th International Conference on Verification and Evaluation of Computer and Communication Systems
August 24-25, 2017 Montreal, Canada | https://vecos.ensta-paristech.fr/2017/
The VECoS conference series is interested in the analysis of computer and communication systems in whic...more |
Apr 14 2017 - 3:53pm |
7 years 33 weeks ago |
|
Calls for Papers |
IEEE D&T CFP: Special Issue on Energy and Power Management for Electric Vehicles |
Call for Papers
IEEE D&T - Special Issue on Energy and Power Management for Electric Vehicles
Electronic Design automation has been one of the most contributing technological backgrounds of transistor scaling over several decades.
Recently, the application of design automation goes beyond ele...more |
Apr 14 2017 - 3:46pm |
7 years 33 weeks ago |
|
Calls for Papers |
CFP: 17th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2017) |
CALL FOR PAPERS EXTENDED DEADLINE: APRIL 15, 2017
17th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2017)
August 21-23, 2017 | Helsinki, Finland | https://research.comnet.aalto.fi/ICA3PP2017/
ICA3PP 2017 will be held jointly with IEEE CIT 2017 and NSS 2...more |
Jan 23 2017 - 12:13pm |
7 years 33 weeks ago |
|
Calls for Papers |
EXTENDED DEADLINE - Real-Time and (Networked) Embedded Systems [RTNES] @ ETFA2017 |
CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS CALL FOR TUTORIALS & WORKSHOPS
***** Submissions of regular & special sessions papers due: April 9, 2017 *****
***** Submissions of work-in-progress papers: May 20, 2017 *****
Real-Time and (Networked) Embedded Sys...more |
Dec 28 2016 - 5:47pm |
7 years 33 weeks ago |
|
Calls for Papers |
ELECO 2017 SECOND CALL FOR PAPERS |
CALL FOR PAPERS
10th International Conference on Electrical and Electronics Engineering
30 November- 2 December 2017 | Bursa-TURKEY | http://www.eleco.org.tr
Aim and Scope
The conference aims to provide a forum for electrical and electronics engineers and scientists in academia and industry to p...more |
Apr 14 2017 - 3:37pm |
7 years 33 weeks ago |
|
Calls for Papers |
2nd CfP - CONCUR 2017 |
CALL FOR PAPERS
28th International Conference on Concurrency Theory (CONCUR 2017)
September 5-8, 2017 | Berlin, Germany | https://www.concur2017.tu-berlin.de/
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concu...more |
Apr 14 2017 - 3:27pm |
7 years 33 weeks ago |
|
Calls for Papers |
CFP: DeCPS - Ada Europe - Transportation of the Future |
CALL FOR PAPERS
DeCPS Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering
Focus on Transportation of the Future
Event of the 22nd International Conference on Reliable Software Technologies Ada Europe
https://www.auto.tuwien.ac.at/~blieb/AE2017/workshop...more |
Apr 14 2017 - 3:17pm |
7 years 33 weeks ago |
|
Calls for Papers |
CfP: Track on Cyber-Physical Systems and Smart Networked Systems at ETFA 2017 |
CALL FOR PAPERS
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA'2017)
September 12-15, 2017 | Limassol, Cyprus
Track 10: Cyber-Physical Systems and Smart Networked Systems
Focus: Focus of this track are methods, technologies and case studies which lev...more |
Apr 14 2017 - 3:09pm |
7 years 33 weeks ago |
|
Calls for Papers |
1st CfP EXPRESS/SOS'17 |
CALL FOR PAPERS - Submission of papers: Friday June 23, 2017
Combined 24th International Workshop on Expressiveness in Concurrency
and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017)
September 04, 2017 | Berlin (Germany) | https://www.concur2017.tu-berlin.de/express_sos.html...more |
Apr 14 2017 - 3:04pm |
7 years 33 weeks ago |
|
Calls for Papers |
Call for Papers: IEEE ICTS4eHealth 2017, July 03-06, 2017, Heraklion, Crete, Greece (with Best Paper Award) |
CALL FOR PAPERS - Deadline extended to April 12
ICTS4eHealth 2017 - 2nd edition of the IEEE International Workshop on ICT Solutions for e-Health
Aquila Atlantis Hotel, Heraklion, Crete, Greece | July 03-06 2017 | www.icts4ehealth.icar.cnr.it
in conjunction with the Twenty-Second IEEE Symposium...more |
Mar 6 2017 - 6:48pm |
7 years 33 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
First School on Foundations of Programming and Software systems -- Probabilistic programming |
Deadline school registration
Saturday 20th May 2017 (Late).
First School on Foundations of Programming and Software systems -- Probabilistic programming (ProbProgSchool 2017)
It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems...more |
Jan 20 2017 - 3:33pm |
7 years 33 weeks ago |
|
Calls for Papers |
IEEE IECON 2017 Call for papers - Deadline Extended to April 30 |
CALL FOR PAPERS - Deadline Extended to April 30
2017 43rd Annual Conference of IEEE Industrial Electronics Society (IECON2017)
October 29 - November 1, 2017 | Beijing, China | http://www.iecon2017.com
IECON2017 focuses on industrial and manufacturing theory and applications of electronics, cont...more |
Jan 20 2017 - 12:56pm |
7 years 33 weeks ago |
|
Calls for Papers |
TAG+13, Second Call for Papers |
Second Call for Papers
The Thirteenth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+13)
4-6 September 2017 | Umea University, Sweden | http://tag13.cs.umu.se/
The Workshop on Tree-Adjoining Grammars and Related Formalisms (TAG+) is a workshop series, inaugurated...more |
Apr 14 2017 - 2:25pm |
7 years 33 weeks ago |
|
Calls for Papers |
16th World Conference on Mobile and Contextual Learning (mLearn 2017): Call for Papers |
Call for Papers
16th World Conference on Mobile and Contextual Learning (mLearn 2017)
Golden Bay Beach Hotel, Larnaca, Cyprus | 30 October - 1 November, 2017 | http://iamlearn.org/mlearn/
In Cooperation with ACM SIGAPP
The International Association for Mobile Learning (IAmLearn) (www.iamlear...more |
Apr 14 2017 - 2:20pm |
7 years 33 weeks ago |
|
Calls for Papers |
Joint Call for LPNMR Workshop Papers |
*** DEADLINE FOR WORKSHOP PAPER SUBMISSION EXTENDED TO May 1 ***
Joint Call for LPNMR Workshop Papers
14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017)
Hanasaari, Espoo, Finland | July 3-6, 2017 | http://lpnmr2017.aalto.fi/
All workshops co-located wi...more |
Apr 14 2017 - 2:13pm |
7 years 33 weeks ago |
|
Calls for Papers |
CfP DEADLINE EXTENDED: 10th Interaction and Concurrency Experience (ICE 2017) |
CALL FOR PAPERS DEADLINE EXTENDED
10th Interaction and Concurrency Experience (ICE 2017)
June 22, 2017 | Neuchatel, Switzerland | http://ice2017.unica.it
Satellite workshop of DisCoTec 2017
Highlights
Distinctive selection procedure
ICE welcomes full papers to be included in...more |
Jan 27 2017 - 4:41pm |
7 years 33 weeks ago |
|
Calls for Papers |
Winter Simulation Conference 2017 - Call for Papers DEADLINE EXTENDED - Contributed Papers Deadline is April 28, 2017 |
CALL FOR PAPERS - DEADLINE EXTENDED - Contributed Papers Deadline is April 28, 2017
Winter Simulation Conference (WSC) 2017
December 3-6, 2017 | Red Rock Casino Resort & Spa | Las Vegas, NV | http://www.wintersim.org
WSC TURNS 50: SIMULATION EVERYWHERE!
After 50 years, we are now beyond Mo...more |
Feb 20 2017 - 5:05pm |
7 years 33 weeks ago |
|
Calls for Papers |
CyberC 2017 Call for Paper |
CALL FOR PAPERS
CyberC 2017 : The 9th International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery
Nanjing, China | October 12 - 14, 2017 | www.Cyberc.org
Paper Submission : https://edas.info/N23496 or Login EDAS at http://edas.info/ by selecting "CyberC 2017". Electron...more |
Mar 6 2017 - 5:49pm |
7 years 33 weeks ago |
|
Calls for Papers |
CfP: The 11th International Conference on Network and System Security (NSS 2017) - UPDATED WORKSHOPS |
CALL FOR PAPERS - UPDATED WORKSHOPS
The 11th International Conference on Network and System Security (NSS 2017)
August 21-23, 2017 | Helsinki, Finland | https://research.comnet.aalto.fi/NSS2017/
NSS 2017 will be held jointly with IEEE CIT 2017 and ICA3PP 2017
IMPORTANT NEWS!
Keynote Speakers...more |
Dec 15 2016 - 4:56pm |
7 years 34 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017 |
International Challenge on the Rigorous Examination of Reactive Systems 2017 (RERS)
co-located with ISSTA and SPIN 2017
Santa Barbara, California, USA | July 12, 2017
The RERS Challenge 2017: is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located wi...more |
Mar 28 2017 - 2:02pm |
7 years 35 weeks ago |
|
Calls for Papers |
CFPs: The 12th International Conference on Future Networks and Communications (FNC 2017) |
CALL FOR PAPERS - Deadline Extended to April 7, 2017
The 12th International Conference on Future Networks and Communications (FNC 2017)
July 24-26, 2017 | Leuven, Belgium | http://cs-conferences.acadiau.ca/fnc-17/
Future Networks and Communications (FNC) research effort will help achieving a ma...more |
Dec 1 2016 - 2:58pm |
7 years 35 weeks ago |
|
Calls for Papers |
CFPs: FINAL Submission Date: April 7. The 12th International Conference on Future Networks and Communications (FNC 2017) |
CALL FOR PAPERS
The 12th International Conference on Future Networks and Communications (FNC 2017)
July 24-26, 2017 | Leuven, Belgium | http://cs-conferences.acadiau.ca/fnc-17/
Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technolog...more |
Mar 28 2017 - 1:45pm |
7 years 35 weeks ago |
|
Position Announcements |
Postdoc at Inria/Irisa on translation validation from Liquid Haskell |
Project-team TEA (Inria-Rennes, France) is seeking a talented PhD with demonstrated experience in theory and implementation of refinement types in programming, automated verification and proof of programs.
The aim of the post-doctoral project is to design a certified code generator from a system pr...more |
Mar 20 2017 - 5:10pm |
7 years 36 weeks ago |
|
Position Announcements |
3 postdoc positions in engineering dependable and secure systems - University of Florence- Italy |
The University of Florence http://www.unifi.it/, Florence, Italy, opens three Post Doctoral positions in
***Dependable and Secure Systems***
at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics.
Deadline: 23 March 2017
We are recruiting three po...more |
Mar 20 2017 - 5:08pm |
7 years 36 weeks ago |
|
Calls for Papers |
CFP: PLDI ACM Student Research Competition (SRC) |
The ACM Student Research Competition (SRC) @ PLDI 2017
The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for undergraduate and graduate students to present their original research on programming language design, implementation, theory, applications,...more |
Mar 20 2017 - 4:04pm |
7 years 36 weeks ago |
|
Calls for Papers |
CfP: 13th European Dependable Computing Conference (EDCC 2017) |
CALL FOR PAPERS
13th European Dependable Computing Conference (EDCC 2017)
Geneva, Switzerland | 4-8 September 2017 | http://edcc2017.unige.ch/
EDCC is an international conference for presenting and discussing the latest research in dependable and secure computing. EDCC provides a European-hosted...more |
Mar 20 2017 - 3:58pm |
7 years 36 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CALL FOR PARTICIPATION 10th Anniversary of Cyber-Physical Systems Week |
CALL FOR PARTICIPATION
10th Anniversary of Cyber-Physical Systems Week
http://www.cpsweek.org | April 18-21, 2017 | Pittsburgh, PA, USA
Hotel group rate available until *** March 24, 2017 ***
Please check the Registration Page: https://cpsweek2017.ece.cmu.edu/index.php/registration/
You are c...more |
Mar 20 2017 - 3:51pm |
7 years 36 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
USDOT to Host Webinar on Providing Emerging ITS Data to the Public |
Providing Emerging ITS Data to the Public
The U.S. Department of Transportation will be hosting a free webinar which will inform the public on available current and future ITS data. Further details on this webinar can be found below, including information on how to register. In addition, you can al...more |
Mar 20 2017 - 3:45pm |
7 years 36 weeks ago |
|
Calls for Papers |
CfP: 8th International Conference on Interactive Theorem Proving (ITP 2017) |
FINAL CALL FOR PAPERS
8th International Conference on Interactive Theorem Proving (ITP 2017)
Brasilia, Brazil | September 26-29, 2017 | http://itp2017.cic.unb.br
SUBMISSION DEADLINES
* April 3, 2017 (abstracts)
* April 10, 2017 (full papers)
GENERAL INFORMATION
The ITP conference series...more |
Mar 20 2017 - 3:19pm |
7 years 36 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Contributions: University Demo @ DAC 2017 |
Call for Demonstrations
29th ACM SIGDA University Demonstration @ DAC 2017
Austin Convention Center | Austin, Tx, June 18, 2017
Following last year's trend, University Demonstration (previously University Booth) comes back to Austin this year with DAC. This year marks the 29th University Demonstr...more |
Mar 20 2017 - 3:13pm |
7 years 36 weeks ago |
|
Calls for Papers |
CFP: CASES 2017: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems |
CALL FOR PAPERS
CASES 2017
New Journal-Integrated Publication Model where regular papers will be published in ACM Transactions on Embedded Computing Systems (TECS) New IoT Day
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems at the Embedded System Week (ESW...more |
Mar 20 2017 - 2:58pm |
7 years 36 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
STAF 2017 Workshops: Joint Call for Contributions |
Joint Call for Contributions
Workshops of STAF 2017
BigMDE, GCM, GRAND, MORSE, OCL, VOLT
July 17-21, 2017 | Marburg | http://www.informatik.uni-marburg.de/staf2017/
Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies:
ECMFA...more |
Mar 20 2017 - 3:04pm |
7 years 36 weeks ago |
|
Calls for Papers |
CfP: 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2017) |
CALL FOR PAPERS - DEADLINE HAS BEEN EXTENDED TO MARCH 19 (Firm deadline).
The 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2017)
7-9 June 2017 | Bochum, Germany | http://www.isheart.org/HEART2017
Important dates:
Submission deadline for con...more |
Jan 20 2017 - 2:38pm |
7 years 36 weeks ago |
|
Calls for Papers |
CfP: ETFA 2017 - Special Session on Flexibility, Predictability and Safety in Time-Triggered Systems |
Call for Papers / Invitation to Special Session - Extended Deadline: April 9, 2017
SS03. Flexibility, Predictability and Safety in Time-Triggered Systems
22nd IEEE Conference on Emerging Technologies for Factory Automation (ETFA)
September 12 - 15, 2017 | Limassol, Cyprus | http://www.etfa2017.or...more |
Feb 20 2017 - 3:21pm |
7 years 36 weeks ago |
|
Calls for Papers |
CFP - RTSS 2017 - Submission deadline May, 1, 2017 |
CALL FOR PAPERS
The 38th IEEE Real-Time Systems Symposium - RTSS 2017
Paris, France | December 5-8, 2017 | http://2017.rtss.org
Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
**** Submission Deadline: May 1st, 2017 (FIRM submission deadline) ****
Scope o...more |
Jan 23 2017 - 2:09pm |
7 years 36 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
QBFEVAL'17 - First Call for Participation |
First Call for Participation
QBFEVAL'17 - Competitive Evaluation of QBF Solvers
A joint event with SAT 2017 - The 20th International Conference on Theory and Applications of Satisfiability Testing,
28 August - 1 September | Melbourne, Australia (2017) | http://www.qbflib.org/qbfeval17.php
QBF...more |
Mar 6 2017 - 6:39pm |
7 years 38 weeks ago |
|
Calls for Papers |
EXTENDED DEADLINE March 19, 2017: 13th IEEE Inter. Workshop on Factory Communication Systems |
EXTENDED DEADLINE - March 19, 2017
CALL FOR REGULAR, SPECIAL SESSIONS, & WORK-IN-PROGRESS PAPERS
REGULAR & SPECIAL SESSIONS PAPERS EXTENDED DEADLINE - March 19, 2017
WORK-IN-PROGRESS PAPERS EXTENDED DEADLINE - April 21, 2017
13th IEEE International Workshop - Factory Communication System...more |
Dec 1 2016 - 1:39pm |
7 years 38 weeks ago |
|
Calls for Papers |
CfP: Second IEEE International Workshop on Security in NFV-SDN (SNS2017) |
CALL FOR PAPERS
Second IEEE International Workshop on Security in NFV-SDN (SNS2017)
in conjunction with the 3rd IEEE Conference on Network Softwarization (NetSoft 2017)
July 3-7, 2017 | Bologna, Italy | http://sns2017.eu/
Scope
Network Function Virtualization (NFV) and Software Defined Network...more |
Mar 6 2017 - 6:14pm |
7 years 38 weeks ago |
|
Calls for Papers |
CALL FOR PAPERS - GraMSec 2017 |
CALL FOR PAPERS
The Fourth International Workshop on Graphical Models for Security
Santa Barbara, CA, USA | August 21, 2017 | http://gramsec.uni.lu
Co-located with CSF 2017
SCOPE
Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems an...more |
Mar 6 2017 - 6:03pm |
7 years 38 weeks ago |
|
Calls for Papers |
CfP: GCM - Graph Computation Models 2017 |
CALL FOR PAPERS - Abstract submission deadline: 25 April 2017
GCM 2017: Eighth International Workshop on Graph Computation Models
Marburg, Germany | 17 July 2017 | http://pages.di.unipi.it/corradini/Workshops/GCM2017
A satellite event of STAF 2017
The aim of GCM 2017 is to bring together resea...more |
Mar 6 2017 - 5:36pm |
7 years 38 weeks ago |
|
Calls for Papers |
Call for Papers and Challenge Solutions:WATERS 2017 |
CALL FOR PAPERS - Submission deadline March 31st, 2017
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017)
June 27th, 2017 | Dubrovnik, Croatia | http://waters2017.inria.fr
In conjunction with ECRTS'17
The goal of the WATERS worksho...more |
Mar 6 2017 - 5:22pm |
7 years 38 weeks ago |
|
Calls for Papers |
CFP INDIN'17 - SS Industry 4.0: Keeping Humans in the Loop and in Control |
CALL FOR PAPERS
2017 IEEE International Conference on Industrial Informatics (INDIN 2017)
Special Session on Industry 4.0: Keeping Humans in the Loop and in Control
July 24-26, 2017 | Emden, Germany | http://www.indin2017.i2ar.de
A next edition of the IEEE International Conference on Industria...more |
Mar 6 2017 - 5:11pm |
7 years 38 weeks ago |
|
Calls for Papers |
Call for Papers: 14th IEEE International Conference on Embedded Software and Systems (ICESS 2017) |
CALL FOR PAPERS
14th IEEE International Conference on Embedded Software and Systems (ICESS 2017)
Sydney, Australia | August 1-4, 2017 | http://www.stprp-activity.com/ICESS2017
Co-Located with IEEE TrustCom and IEEE BigDataSE
IMPORTANT DATES
Paper submission deadline: April 15, 2017
Notific...more |
Mar 6 2017 - 4:52pm |
7 years 38 weeks ago |
|
Position Announcements |
TRAVEL GRANTS: VerifyThis Verification Competition 2017 |
TRAVEL GRANTS
VerifyThis Verification Competition 2017
April 22-23, 2017 | Uppsala, Sweden | http://verifythis.ethz.ch
IMPORTANT DATES
Application deadline: March 6th, 2017
Competition: April 22-23, 2017
ABOUT
VerifyThis 2017 is a program verification competition taking place as part of the E...more |
Mar 6 2017 - 4:40pm |
7 years 38 weeks ago |
