APSEC 2010APSEC2010: Nov 30, 2010 - Dec 3, 2010 in Sydney, AustraliaSubmissions: Jun 4, 2010Notification: Aug 6, 2010Call for PapersPrevious EditionsPrevious PublicationsSoftware for Improving Quality of Life
The 17th Asia-Pacific Software Engineering Conference - APSEC2010 - will be held in Sydney, Australia, from 30 Nov - 3 Dec, 2010. Sydney is one of the leading economic centres in Australia and the Asia-Pacific Region. The conference venue is the Hilton Sydney, which is located in the heart of the city, ... Read MoreLCC 2010lcc2010: Jul 10, 2010 - Apr 10, 2010 in Edinburgh, UKSubmissions: Apr 18, 2010Notification: May 1, 2010Call for PapersPrevious EditionsPrevious PublicationsThe Eleventh International Workshop on Logic and Computational Complexity (LCC'10) will be held in Edinburgh on 10th July 2010, as an affiliated meeting of Logic in Computer Science (LiCS) 2010 as part of the 2010 Federated Logic Conference (FLoC).
LCC meetings are aimed at the foundational interconnections between logic and computational co ... Read MoreInternational Symposium on Automated Techniques for Verification and Analysis 2010ATVA2010: Sep 21, 2010 - Sep 24, 2010 in Singapore, SingaporeSubmissions: Apr 15, 2010Notification: May 31, 2010Call for PapersPrevious EditionsPrevious PublicationsAims and Objectives
The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field. The past seven events were held in Taiwan (2003-5), ... Read More6th International Workshop on Security and Trust Management 2010STM2010: Sep 23, 2010 - Sep 24, 2010 in Athens, GreeceSubmissions: Jun 20, 2010Notification: Jul 20, 2010Call for PapersPrevious EditionsPrevious PublicationsSecurity and Trust Management Read MoreInternational Conference on Software Engineering 2013ICSE2013: May 18, 2013 - May 26, 2013 in San Francisco, California, United StatesSubmissions: Aug 17, 2012Notification: Nov 27, 2012Call for PapersPrevious EditionsPrevious PublicationsThe International Conference on Software Engineering provides an environment where ideas are created, exchanged, and synthesized as researchers, practitioners, and educators present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ICSE 2013 brings ICSE back to San Francisco for t ... Read MoreMtATL 2010MtATL2010: Jun 30, 2010 - Jun 30, 2010 in Málaga, SpainSubmissions: Apr 15, 2010Notification: May 17, 2010Call for PapersPrevious EditionsPrevious PublicationsModel transformation is an essential operation in Model-Driven Engineering. It may be used to generate lower-level code from higher-level models, but its application scope has now gone beyond Model-Driven Development. The 2nd International Workshop on Model Transformation with ATL aims at showing new applications for model transformation, as we ... Read MoreSecond Workshop on Software Ecosystems 2010SEcosys2010: Aug 23, 2010 - Aug 23, 2010 in Copenhagen, DenmarkSubmissions: May 17, 2010Notification: Jun 7, 2010Call for PapersPrevious EditionsPrevious PublicationsThere has been a significant shift in the development strategies for software product development in the past decade. The traditional single software product development strategy has been replaced by multiple product development, which employs a common architecture using the concept of software product lines. However the past few years have see ... Read MoreInternational Symposium on Engineering Secure Software and Systems 2011ESSoS2011: Feb 9, 2011 - Mar 11, 2011 in Madrid, SpainSubmissions: Sep 20, 2010Notification: Nov 12, 2010Call for PapersPrevious EditionsPrevious PublicationsCONTEXT AND MOTIVATION
Trustworthy, secure software is a core ingredient of the modern world. Unfortunately, the Internet is too. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from
anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are n ... Read MoreDependently Typed Programming 2010DTP2010: Jul 9, 2010 - Jul 10, 2010 in Edinburgh, UKSubmissions: Apr 16, 2010Notification: Jun 11, 2010Call for PapersPrevious EditionsPrevious PublicationsDependently typed programming is here today: where will it go tomorrow? On the one hand, dependent type theories have grown programming languages; on the other hand, the type systems of programming languages like Haskell (and even C#) are incorporating some kinds of type-level data.
When types involve data, they can capture relationships bet ... Read MoreInternational Workshop on Model-based Methodologies for Pervasive and Embedded Software 2010MOMPES2010: Sep 20, 2010 - Sep 20, 2010 in Antwerp, BelgiumSubmissions: May 31, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsModel-Based Development (MBD) comprises approaches to software development, relying on modelling and the systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects of the adoption of MBD methodologies (notations, processes, methods, and tools) for the construction of software for pervasi ... Read MorePrevious123...6162636465666768697071727374Next