Modeling

forum

FMCAD 2013 Final Call for Papers

Submitted by Anonymous on Tue, 05/07/2013 - 10:37am

FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS

International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013


IMPORTANT DATES

Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17

forum

CFP - Models at run.time (MRT13) Call for papers

Submitted by Anonymous on Tue, 05/07/2013 - 10:23am

 

event

FormaliSE Workshop 2013
May 25, 2013 6:30:am - May 25, 2013 8:30:pm

Submitted by Anonymous on Fri, 04/19/2013 - 4:39pm

CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/


WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.

event

MSR: Mining Software Repositories 2013
May 18, 2013 6:15:am - May 19, 2013 8:15:pm

Submitted by Anonymous on Fri, 04/19/2013 - 4:26pm

 

MSR 2013: CALL for PARTICIPATION

10th Working Conference on Mining Software Repositories (MSR)
May 18-19, 2013. San Francisco, California, USA

The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day working conference is to advance the science and practice of MSR.

CONFERENCE PROGRAM

The MSR 2013 program includes:

forum

Final call for participation: USER 2013 workshop proposal submissions accepted until April 24!

Submitted by Anonymous on Fri, 04/19/2013 - 4:04pm

 

ICSE 2013 Workshop: 2nd Workshop on User evaluations for Software Engineering Researchers

Date: Sunday May 26, 2013

San Francisco, CA, USA

Full Details: https://sites.google.com/site/user2013workshop/

Contact: user2013@easychair.org

 

FINAL PROPOSAL DEADLINE: April 24, 2013.

forum

LPAR-19 CFP and Workshops

Submitted by Anonymous on Fri, 04/19/2013 - 3:58pm

 LPAR-19
1st CALL FOR PAPERS
CALL FOR WORKSHOP PROPOSALS


============================================================
                  The 19th International Conference on
        Logic for Programming, Artificial Intelligence and Reasoning
============================================================

event

LPAR-19 CFP and Workshops
Apr 19, 2013 7:45:pm - 3:45:pm

Submitted by Anonymous on Fri, 04/19/2013 - 3:53pm

The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Stellenbosch, South Africa, 14-19 December 2013

www.LPAR-19.info

event

ICSSEA 2013
Nov 04, 2013 8:15:am - Nov 06, 2013 8:15:pm

Submitted by Anonymous on Fri, 04/19/2013 - 3:14pm

25th International Conference on

SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS

Telecom ParisTech, Paris, November 4-6, 2013

Web site : http://icssea.enst.fr