|
Calls for Papers |
CALL FOR PAPERS - ICTAC 2015 |
DEADLINE FOR SUBMISSIONS: JUNE 5, 2015.
12th International Colloquium on Theoretical Aspects of Computing
29-31 October 2015, Cali, Colombia | http://www.ictac2015.co
ICTAC 2015 will take place at the campus of Universidad Javeriana, Cali, Colombia during October 29-31, 2015. The ICTAC conf...more |
Apr 29 2015 - 12:27pm |
9 years 29 weeks ago |
|
Calls for Papers |
CFP: ASE 2015 - 30th IEEE/ACM International Conference on Automated Software Engineering |
ASE 2015 - 30th IEEE/ACM International Conference on Automated Software Engineering
http://ase2015.unl.edu/ | November 9-13, Lincoln, Nebraska, USA
* Conference * Tool Demos * Workshops * Tutorials * Doctoral Symposium
IMPORTANT DATES
Abstract Submission: May 8, 2015
Paper Submission:...more |
Apr 29 2015 - 8:58am |
9 years 29 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for participation: DISCOTEC 2015 (DAIS, FORTE, COORDINATION), June 2-5, 2015, Grenoble, France. |
The 10th Federated Conference on Distributed Computing Techniques (DisCoTec 2015)
http://discotec2015.inria.fr | June 2-5, 2015 | Grenoble, France
Sponsored by the IFIP TC6 WG6.1, Architectures and Protocols for Distributed Systems
The DisCoTec series of federated conferences is a major e...more |
Apr 22 2015 - 3:31pm |
9 years 30 weeks ago |
|
Calls for Papers |
CfP: DASIP 2015 - May 4, 2015 (Extended Deadline) |
Conference on Design and Architectures for Signal and Image Processing (DASIP)
September 23-25, 2015 | Krakow, Poland
dasip@ecsi.org | www.ecsi.org/dasip
CALL FOR PAPERS
Paper submission deadline: May 4...more |
Apr 22 2015 - 2:23pm |
9 years 30 weeks ago |
|
Calls for Papers |
Extended Deadlines - CFP ICFEM 2015 - The 17th InternationalConference on Formal Engineering Methods |
SECOND CALL FOR PAPERS - ICFEM 2015
17th International Conference on Formal Engineering Methods
CNAM, Paris, France | November 3-6, 2015
Submission Deadlines:
April 26, 2015 (abstracts) & May 3, 2015 (full papers)
http://icfem2015.lri.fr/
GENERAL INFORMATION
Since...more |
Apr 22 2015 - 2:12pm |
9 years 30 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CODES+ISSS 2015: Call for Special Sessions |
CODES+ISSS 2015: Call for Special Sessions
Researchers both from academia and industry are invited to submit proposals for special sessions to be held during the CODES+ISSS 2015 conference. The special sessions should aim at providing a complementary experience compared to the regular sessions and...more |
Apr 16 2015 - 4:18pm |
9 years 31 weeks ago |
|
Calls for Papers |
ICCCS 2015: 1st call for papers |
The 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015)
December 9-12, 2015 | Gold Coast, Australia | http://iceccs2015.monash.edu.au
IMPORTANT DATES
Abstract submission: June 7th, 2015
Paper submission deadline:...more |
Apr 16 2015 - 4:07pm |
9 years 31 weeks ago |
|
Position Announcements |
Post doc opportunities at SICS in Software and Systems Engineering |
Post doc opportunities at SICS in Software and Systems Engineering
The ERCIM Alain Bensoussan Fellowship Programme is announcing post doc positions in Informatics and Mathematics throughout Europe. The positions are for a duration of 12 months, and applications are due April 30, 2015. More detai...more |
Apr 16 2015 - 3:58pm |
9 years 31 weeks ago |
|
Calls for Papers |
2015 S5 Call for Abstracts |
2015 Safe and Secure Systems and Software Symposium (S5)
9 - 11 June 2015 at The Crowne Plaza Dayton, Ohio.
You are cordially invited to submit an abstract for your proposed presentation or demonstration in one of the topic areas listed below. Submitted abstracts should enhance the discussion of...more |
Apr 15 2015 - 1:58pm |
9 years 31 weeks ago |
|
Calls for Papers |
CfP: Extended Deadline (April 27, 2015): SETS 2015 |
2nd International Workshop about Sets and Tools (SETS 2015)
Affiliated to FM 2015
June 23, 2015, Oslo, Norway | http://sets2015.cnam.fr/
AIM
Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VD...more |
Apr 15 2015 - 1:47pm |
9 years 31 weeks ago |
|
Calls for Papers |
CfP: GandALF 2015 |
CALL FOR PAPERS - GandALF 2015
The Sixth International Symposium on Games, Automata, Logics and Formal Verification will take place in Genoa, Italy, from September 21 to 23.
Web page: http://gandalf2015.dibris.unige.it
The aim of the symposium is to bring together researchers from academia an...more |
Apr 15 2015 - 1:33pm |
9 years 31 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
"Correctness-by-Construction Approach to Programming" tutorial at FM 2015 - Registration Open |
Correctness-by-Construction (CbC) Approach to Programming Tutorial at FM 2015
This one-day tutorial on the CbC approach to programming is based on a book of the same name. It is co-located with FM2015 (20th International Symposium on Formal Methods) and sponsored by the Fastar Research Group.
Wh...more |
Apr 15 2015 - 1:28pm |
9 years 31 weeks ago |
|
Calls for Papers |
CfP: MODELS 2015 Impending Deadline |
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems
Call for Main Conference Papers
MODELS is the premier conference series for model-based software and systems engineering which since 1998 has been covering all aspects of modeling, from languages and methods t...more |
Apr 15 2015 - 1:22pm |
9 years 31 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
2015 HCSS Conference Update |
Dear HCSS Community Member:
Thanks to everyone who has registered to attend the 2015 HCSS Conference scheduled for May 5-7, 2015 at the Historic Inns of Annapolis in Annapolis, Maryland. Online registration to attend the conference is available at http://cps-vo.org/group/hcss_conference/registratio...more |
Apr 13 2015 - 10:36am |
9 years 32 weeks ago |
|
Calls for Papers |
CFP : ICACCI Special Session on Machine Intelligence in IoT (MIIoT 2015) |
Special Session on Machine Intelligence in IoT (MIIoT 2015)
Fourth International Conference on Advances in Computing, Communications and Informatics (ICACCI-2015)
August 10-13, 2015, Kochi, India | http://icacci-conference.org/web/miiot
Technically Co-sponsored by IEEE Communications Society...more |
Apr 13 2015 - 11:53am |
9 years 32 weeks ago |
|
Calls for Papers |
ISLPED Low Power Design Contest (Extended Deadline, April 15th) |
ACM/IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN
The International Symposium on Low Power Electronics and Design (ISLPED) is the premier forum for presentation
of innovative research in all aspects of low power electronics and design, ranging from process technologies and
anal...more |
Apr 13 2015 - 10:30am |
9 years 32 weeks ago |
|
Calls for Papers |
Call for papers - ICCD 2015 in New York City |
33rd IEEE International Conference on Computer Design (ICCD 2015)
New York City, USA -- October 19-21
IMPORTANT DATES:
May 11 Abstract submission
May 18 Full paper submission
July 21 Notification of acceptance
August 22 Camera-ready final paper
http://www.iccd-conf.com
The Inter...more |
Apr 13 2015 - 11:15am |
9 years 32 weeks ago |
|
Calls for Papers |
CfP: Resilience Week 2015: Deadline EXTENDED - Due April 27 |
Resilience Week 2015 in Philadelphia, PA, August 18 - 20
Resilience Week includes symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from unexpected and malicious threats - securing our way of life.
We are pleased to have the fol...more |
Apr 13 2015 - 10:34am |
9 years 32 weeks ago |
|
Calls for Papers |
CFP: 5th International Workshop on Cyber Physical Systems (CyPhy'15) |
The Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)
(Held in conjunction with ESWEEK 2015)
Amsterdam, The Netherlands
October 8, 2015
http://www.cyphy.org/
Scope
Cyber physical systems (CPSs) combine computing and networking power with p...more |
Apr 13 2015 - 10:18am |
9 years 32 weeks ago |
|
Calls for Papers |
CfP: LOPSTR 2015 - Deadline extended: May 2 |
25th International Symposium on Logic-Based Program Synthesis and Transformation
Co-located with PPDP 2015
Special Issue of Formal Aspects of Computing
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
EXTENDED DEADLINES
Abstract submission: April 26, 2015...more |
Apr 13 2015 - 10:12am |
9 years 32 weeks ago |
|
Calls for Papers |
Call for Paper: 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015) |
10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015)
Important Dates (Update):
Abstract submission deadline: 10th April 2015 (firm)
Full paper submission deadline: 17th April 2015
Notification of acceptance: 15th May 2015
Camera-ready du...more |
Apr 7 2015 - 11:08am |
9 years 33 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Invitation to the 15th meeting of the Software Certification Consortium - Annapolis May 3/4, 2015 |
On behalf of the Steering Committee of the Software Certification Consortium (SCC) I invite you to attend the 15th Meeting of the SCC, co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis in early May, 2015.
Registration for both SCC and HCSS is free, but particip...more |
Apr 7 2015 - 9:59am |
9 years 33 weeks ago |
|
Calls for Papers |
USE'15 CfP deadline extension to April 10th, (colocated with FM2015) :1st workshop on Usages of Symbolic Execution |
1st workshop on Usages of Symbolic Execution USE'15
co-located with FM'15
23 June 2015, Olso, Norway | http://perso.ecp.fr/~gallp/Workshop_USE.html
Important Dates
Full paper submission (extended): 10 April 2015
Notif...more |
Apr 7 2015 - 9:56am |
9 years 33 weeks ago |
|
Calls for Papers |
Final CFP: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2015) |
VL/HCC 2015 - IEEE Symposium on Visual Languages and Human-Centric Computing
October 18-22, 2015 | Atlanta, Georgia, USA
We are pleased to invite you to submit papers to the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), to be held in Atlanta, Georgia, USA at the...more |
Apr 6 2015 - 6:04pm |
9 years 33 weeks ago |
|
Calls for Papers |
Call for Papers: 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) |
The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015)
As part of The International Conference on High Performance Computing & Simulation (HPCS 2015)
http://hpcs2015.cisedu.info or http://cisedu.us/rp/hpcs15
July 20 - July 24, 2015 | The Hilton Amsterdam Hotel | A...more |
Apr 6 2015 - 5:53pm |
9 years 33 weeks ago |
|
Position Announcements |
Postdoctoral Positions at Virginia Tech |
Postdoctoral Research Associates - Systems Software Research Group - Virginia Tech
Two postdoctoral positions are available in the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech (http://www.vt.edu/) on a multicore operating system project. The project involves develo...more |
Apr 6 2015 - 5:48pm |
9 years 33 weeks ago |
|
Calls for Papers |
IEEE EESMS 2015 Extended Deadline - IEEE Workshop on Environmental, Energy and Structural Monitoring Systems |
The 2015 IEEE Workshop on Environmental, Energy and Structural Monitoring Systems (EESMS 2015)
Trento, Italy | 9-10 July 2015 | http://events.unitn.it/en/eesms2015
The growing strategic importance of environmental, energy, and structural monitoring boosts the need for flexible, effective and i...more |
Apr 6 2015 - 5:43pm |
9 years 33 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Last chance to register: CPS PWG April 7-8 Face-to-Face meeting at NIST Gaithersburg |
As a reminder, next week (April 7-8, 2015) we are having our Cyber-Physical Systems Public Working Group (CPS PWG) Face-to-Face Meeting at NIST in Gaithersburg, Maryland.
The CPS PWG April workshop will review the integrated CPS Framework being developed in phase two of the CPS PWG, and also will s...more |
Apr 6 2015 - 10:55am |
9 years 33 weeks ago |
|
Calls for Papers |
CFP: S-Cube - 6th International Conference on Sensor Systems and Software - Rome, Oct 26-27, 2015 |
S-CUBE - 6th INTERNATIONAL CONFERENCE ON SENSOR SYSTEMS AND SOFTWARE
Oct 26-27, 2015 - Rome, Italy | http://s-cubeconference.org/2015
Call for Papers
The 6th EAI conference on Sensor Systems and Software is a single track forum for research on system development and software support for embedd...more |
Apr 6 2015 - 10:31am |
9 years 33 weeks ago |
|
Calls for Papers |
ELECO 2015 CALL FOR PAPERS |
9th International Conference on Electrical and Eletronics Engineering
http://www.eleco.org.fr
The 9th "International Conference on Electrical and Electronics Engineering, ELECO 2015" will be held on November 26-28,2015, in Bursa, Turkey.
ELECO is organized as international conferences in odd nu...more |
Apr 6 2015 - 10:18am |
9 years 33 weeks ago |
|
Calls for Papers |
FMSEET15 - Last Call for Papers - Deadline Extension to April 7th, 2015 |
The 1st Formal Methods in Software Engineering Education and Training Workshop (FMSEET 2015)
Co-Located with FM 2015
June 23rd, 2015, Oslo, Norway | http://fmseet.aau.at
Endorsed by the European Association of Software Science and Technology (http://www.easst.org) and Supported by LERO, ERCIM an...more |
Apr 6 2015 - 10:01am |
9 years 33 weeks ago |
|
Calls for Papers |
Call for Book Chapters-Cyber-Physical Systems: Foundations, Principles and Applications (Elsevier) |
Editors
Houbing Song, West Virginia University, USA <h.song@ieee.org>
Danda B. Rawat, Georgia Southern University, USA, <db.rawat@ieee.org>
Sabina Jeschke, RWTH Aachen University, Germany <sabina.jeschke@ima-zlw-ifu.rwth-aachen.de>
Christian Brecher, RWTH Aachen University, Ger...more |
Mar 31 2015 - 9:06pm |
9 years 33 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CFP: Ptolemy Miniconference, Oct. 16, 2015, Berkeley |
Call for Ptolemy Miniconference Poster and Presentation Abstracts
Ptolemy Miniconference
Friday, October 16, 2015
Berkeley, CA
http://ptolemy.eecs.berkeley.edu/ptconf
Call for Abstracts
Please submit proposals for posters and presentations to ptconf15 at ptolemy dot eecs dot berkeley dot edu
by J...more |
Mar 31 2015 - 9:52am |
9 years 34 weeks ago |
|
Calls for Papers |
CfP: ICESS 2015: 12th IEEE International Conference on Embedded Software and Systems |
The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015)
August 24-26, 2015 in New York, USA
http://cse.stfx.ca/~icess2015/
Co-located with HPCC 2015 and CSS 2015NEWS on special issues:
. ACM TECS Special Issue on Emerging Technologies in Embedded Software and Systems...more |
Mar 27 2015 - 5:44pm |
9 years 34 weeks ago |
|
Position Announcements |
Postdoc position in Software Testing |
Position as Postdoc in Software testing available at Malardalen University.
Ref. No.: 2015/0807
Form of employment: Temporary employment
Scope: 100 %
Last date of application: 2015-04-10
Employment location: Vasteras, Sweden
See also http://mdh.se/hogskolan/jobb/postdoc-in-software-testing-1.7380...more |
Mar 27 2015 - 5:37pm |
9 years 34 weeks ago |
|
Calls for Papers |
Special Session on: Architectures & Systems for Automotive and Intelligent Transportations, NEW DEADLINE April 12th 2015 |
Special Session on: Architectures & Systems for Automotive and Intelligent Transportations (ASAIT'15)
In conjunction with : DSD'2015 18th Euromicro Conference on Digital System Design,
Funchal, Madeira, Portugal - August 26-28, 2015
http://paginas.fe.up.pt/~dsd-seaa-2015/dsd2015/call-for-papers...more |
Mar 27 2015 - 5:28pm |
9 years 34 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Transformation Tool Contest 2015 - Call for Solutions |
8th Transformation Tool Contest 2015
http://www.transformation-tool-contest.eu
23rd July 2015 | l'Aquila, Italy.
Part of STAF 2015 (http://www.disim.univaq.it/staf2015/)
** Call for Solutions **
The 2015 Transformation Tool Contest (TTC) seeks your solutions to three challenging transformation probl...more |
Mar 27 2015 - 5:18pm |
9 years 34 weeks ago |
|
Calls for Papers |
Second CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods |
ICFEM 2015 - 17th International Conference on Formal Engineering Methods CNAM
Paris, France | November 3-6, 2015
Submission Deadlines:
April 19, 2015 (abstracts) & April 26, 2015 (full papers)
http://icfem2015.lri.fr/
GENERAL INFORMATION
Since 1997, ICFEM has been serving as an international...more |
Mar 27 2015 - 5:08pm |
9 years 34 weeks ago |
|
Calls for Papers |
Call for papers - ERTS² 2016 |
Call for papers and exhibitions
Embedded Real Time Software and Systems (ERTS2 2016)
27 - 29 January 2016, Toulouse - France
http://www.erts2016.org
Abstract submission Deadline: June 22nd, 2015
The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform...more |
Mar 27 2015 - 4:54pm |
9 years 34 weeks ago |
|
Calls for Papers |
CfP: ETFA'2015 special session on Industrial Automation Systems in the Industrial Internet (of Things) |
Industrial Automation Systems in the Industrial Internet (of Things)
Special session in IEEE 20th International Conference on Emerging Technologies and Factory Automation ETFA'2015
http://www.etfa2015.org/index.php?page=ss06
September 8-11, 2015, Luxembourg
Aim: There is a push in the market for...more |
Mar 27 2015 - 4:41pm |
9 years 34 weeks ago |
|
Calls for Papers |
IEEE RTSS 2015 Call for Papers |
The 36th IEEE Real-Time Systems Symposium (RTSS'15)
sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
December 1-4, 2015, in San Antonio, Texas, USA.
Scope of the Conference
RTSS is the premier conference in the area of real-time systems, presenting innovations in the f...more |
Mar 27 2015 - 4:30pm |
9 years 34 weeks ago |
|
Calls for Papers |
CfP: FPL 2015 London - submission site is open |
The International Conference on Field-Programmable Logic, Reconfigurable Computing, and Applications, FPL 2015
London, UK Sept 2-4, 2015
FPL 2015 is now accepting submissions
The International Conference on Field-programmable Logic and Applications (FPL) was the first and remains the largest confere...more |
Mar 27 2015 - 4:24pm |
9 years 34 weeks ago |
|
Calls for Papers |
CFP: Special Issue of the Journal of Software Engineering for Robotics |
Special Issue of the Journal on SOFTWARE ENGINEERING FOR ROBOTICS
www.joser.org
Deadline: 1 July 2015
Theme of the issue: Domain-Specific Languages and Models for Robotic Systems
Summary:
The special issue is intended to publish contributions that report on the use of domain-specific languages (DSLs...more |
Mar 27 2015 - 4:16pm |
9 years 34 weeks ago |
|
Position Announcements |
Post-doctorate on formal semantics of time in embedded architecture models with INRIA project TEA in Rennes, Brittany, France |
A post-doctorate position is available with INRIA project TEA in Rennes (Brittany, France), for a duration of 18 months, to participate in a project which aims at defining, implementing and standardising a formal semantics of timed concurrency for embedded architecture models.
All are available onli...more |
Mar 27 2015 - 4:07pm |
9 years 34 weeks ago |
|
Calls for Papers |
Call for Papers, Posters, and Demonstrations: 3rd AETOS International Workshop on "Research Challenges for Future RPAS/UAV Syste |
3rd AETOS International Workshop on "Research Challenges for Future RPAS/UAV Systems"
May 5th, 2015
In Conjunction with AUVSI's Conference, World Congress Center, Atlanta, Georgia, May 4-7, 2015
This conference is the third in the series on Unmanned Aerial Systems with applications to real-world sce...more |
Mar 27 2015 - 4:03pm |
9 years 34 weeks ago |
|
Calls for Papers |
CALL FOR POSITION PAPERS: ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France) |
12th International Conference on Informatics in Control, Automation and Robotics
ICINCO website: http://www.icinco.org | July 21 - 23, 2015 | Colmar, Alsace, France
Technically Co-sponsored by: IEEE CSS
Co-Sponsored by: IFAC
In Cooperation with: EUROMICRO, AAAI, APCA, INNS, APNNA and euRobotics...more |
Mar 18 2015 - 1:08pm |
9 years 35 weeks ago |
|
Calls for Papers |
ESSS 2015 (co-located with FM 2015 in Oslo): submission deadline extended |
4th International Workshop on Engineering Safety and Security Systems
Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015
June 22, 2015 | Oslo, Norway | More information: http://pat.sce.ntu.edu.sg/esss15/
Important dates
March 23rd, 2015: Extended submission deadline
April 27th, 2015: Notif...more |
Mar 18 2015 - 1:03pm |
9 years 35 weeks ago |
|
Calls for Papers |
FroCoS 2015: second call for papers (extended submission deadline) |
10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)
Wroclaw, Poland | September 21-24, 2015
Submission Deadlines:
May 4, 2015 (abstracts)
May 10, 2015 (full papers)
http://frocos2015.ii.uni.wroc.pl/
GENERAL INFORMATION
The 10th International Symposium on Front...more |
Mar 18 2015 - 12:08pm |
9 years 35 weeks ago |
|
Calls for Papers |
FACS 2015 Call for papers |
12th International Conference on Formal Aspects of Component Software (FACS 2015)
Rio de Janeiro, Brazil | October 14-16, 2015 | http://facs2015.ic.uff.br
OVERVIEW AND SCOPE
Component-based software development proposes sound engineering principles and techniques to cope with the complexity of soft...more |
Mar 18 2015 - 11:56am |
9 years 35 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call For Participation: FormaliSE 2015, Florence, Italy, 18 May 2015 |
FME Workshop on Formal Methods in Software Engineering
Florence, Italy | 18 May 2015 | www.formalise.org
FormaliSE 2015 again received a good number of high-quality submissions this
year and we are proud to announce an excellent programme. The FormaliSE
workshop is co-located with ICSE 2015 (http:...more |
Mar 18 2015 - 11:51am |
9 years 35 weeks ago |
