International Conference on Model Transformation 2011ICMT2011: Jun 27, 2011 - Jun 28, 2011 in Zurich, SwitzerlandSubmissions: Feb 11, 2011Notification: Mar 14, 2011Call for PapersPrevious EditionsPrevious PublicationsModelling is a key element in reducing the complexity of software
systems during their development and maintenance. Model transformations
are essential for elevating models from documentation elements to
first-class artifacts of the development process. Model transformation
includes model-to-text transformation to generate code from mod ... Read MoreDutch-Belgian Database Day 2010DBDBD2010: Nov 22, 2010 - Nov 22, 2010 in Hasselt, BelgiumSubmissions: Oct 22, 2010Notification: Oct 27, 2010Call for PapersPrevious EditionsPrevious PublicationsThe Dutch Belgian Database Day (DBDBD) is a yearly one-day workshop organized in a Belgian or Dutch university, whose general topic is database research. DBDBD invites submissions (1 page abstract) on a broad range of database and database-related topics, including but not limited to data storage and management, theoretical database issues, dat ... Read More4th International Conference on Algebra and Coalgebra in Computer Science 2011calco2011: Aug 29, 2011 - Sep 2, 2011 in Winchester, UKSubmissions: Feb 13, 2011Notification: Apr 20, 2011Call for PapersPrevious EditionsPrevious PublicationsCALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebras and coalgebras in computer science.
This is a high-level, bi-annual conference formed by joining the
forces and reputations of CMCS (the International Workshop on
Coalgebraic Methods in Com ... Read MoreNinth Workshop on Quantitative Aspects of Programming Languages 2011QAPL 20112011: Apr 1, 2011 - Apr 3, 2011 in Saarbrucken, GermanySubmissions: Dec 17, 2010Notification: Jan 21, 2011Call for PapersPrevious EditionsPrevious PublicationsQuantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such ... Read MoreAugmented Human International Conference 2011AH2011: Mar 12, 2011 - Mar 14, 2011 in Tokyo, JapanSubmissions: Dec 23, 2010Notification: Jan 22, 2011Call for PapersPrevious EditionsPrevious PublicationsThe second Augmented Human (AH) International Conference will be held
in Tokyo Water Front on March 12th, 13th and 14th 2011
Full information on: http://www.augmented-human.com
The proceedings of the conference will be published in the ACM Digital
Library as a volume in its International Conference Proceedings
Series.
The AH internati ... Read MoreInternational Workshop on Dynamic languages for RObotic and Sensors systems 2010DYROS2010: Nov 15, 2010 - Nov 16, 2010 in Darmstadt, GermanySubmissions: Oct 1, 2010Notification: Oct 15, 2010Call for PapersPrevious EditionsPrevious PublicationsThese days, dynamic languages (like JavaScript, Lua, Lisp, Python,
Smalltalk, etc, …) are getting more and more popular. Dynamic
programming language is a term used broadly in computer science to
describe a class of high-level programming languages that execute at
runtime many common behaviors that other languages might perform
during ... Read More6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems 2011SEAMS2011: May 23, 2011 - May 24, 2011 in Waikiki, USASubmissions: Dec 12, 2010Notification: Feb 15, 2011Call for PapersPrevious EditionsPrevious PublicationsAn increasingly important requirement for a software-based system is the ability to self-manage by adapting itself at run time to handle changing user needs, system intrusions or faults, a changing operational environment, and resource variability. Such a system must configure and reconfigure itself, augment its functionality, continually optim ... Read MoreEngineering of Computer Based Systems 2011ECBS2011: Apr 27, 2011 - Apr 29, 2011 in Las Vegas, NV, USASubmissions: Nov 8, 2010Notification: Dec 17, 2010Call for PapersPrevious EditionsPrevious PublicationsECBS 2011 will be the 18th formal IEEE sponsored meeting dedicated to formulating and advancing methods, techniques and tools for the engineering of computer-based systems. The conference is devoted to the design, development, deployment, and analysis of complex systems whose behaviour is largely determined or controlled by computers. Such syst ... Read MoreTyped Lambda Calculi and Applications 2011tlca2011: Jun 1, 2011 - Jun 3, 2011 in Novi Sad, SerbiaSubmissions: Jan 26, 2011Notification: Mar 23, 2011Call for PapersPrevious EditionsPrevious PublicationsThe TLCA series of conferences is a forum for presenting original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are:
* Proof-theory: formal reasoning based on type theory, linear logic and proof nets,
type-theoretic aspects of computation ... Read MoreThird International Symposium on End-User Development 2011IS-EUD2011: Jun 7, 2011 - Jun 10, 2011 in Torre Canne, Brindisi, ItalySubmissions: Dec 17, 2010Notification: Feb 28, 2011Call for PapersPrevious EditionsPrevious PublicationsEnd-User Development (EUD) offers lightweight, use-time support which allows end users to configure, adapt and evolve software themselves. As organizations and work practices vary widely and evolve rapidly, the technological infrastructure has to permit and even support these changes. Traditional Software Engineering approaches reach their limi ... Read MorePrevious123...36373839404142434445...565758Next