Engineering 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 More15th European Conference on Software Maintenance and Reengineering 2011CSMR2011: Mar 1, 2011 - Mar 4, 2011 in Oldenburg, GermanySubmissions: Oct 22, 2010Notification: Nov 29, 2010Call for PapersPrevious EditionsPrevious PublicationsThe European Conference on Software Maintenance and Reengineering (CSMR), the premier European conference on the theory and practice of maintenance, reengineering and evolution of software systems, promotes discussion and interaction among researchers and practitioners about the development of maintainable systems, and the evolution, migration ... Read MoreHPCS 2011hpcs2011: Aug 4, 2011 - Jul 8, 2011 in Istanbul, TurkeySubmissions: Jan 11, 2011Notification: Mar 14, 2011Call for PapersPrevious EditionsPrevious PublicationsThe 2011 International Conference on High Performance Computing & Simulation (HPCS 2011)
In Conjunction With
The International Wireless Communications and Mobile Computing Conference (IWCMC 2011)
July 4 – 8, 2011
Istanbul, Turkey
The conference will include invited presentations by experts from academia, industry, and government as w ... Read MoreAustralasian Ontology Workshop 2010AOW2010: Dec 7, 2010 - Dec 7, 2010 in Adelaide, AustraliaSubmissions: Sep 24, 2010Notification: Oct 22, 2010Call for PapersPrevious EditionsPrevious PublicationsThe use of formal ontologies in knowledge systems has many advantages. It allows for an unambiguous specification of the structure of knowledge in a domain, enables knowledge sharing and, as a result, makes it possible to perform automated reasoning about ontologies. In recent years there has been a worldwide increase in the use of ontologies, ... Read More International Conference on Learning Analytics and Knowledge 2011LAK2011: Feb 27, 2011 - Mar 1, 2011 in Banff, CanadaSubmissions: Nov 1, 2010Notification: Dec 1, 2010Call for PapersPrevious EditionsPrevious PublicationsThe growth of data surpasses the ability of organizations to make sense of it. This concern is particularly pronounced in relation to knowledge, teaching, and learning. Learning institutions and corporations make little use of the data learners "throw off" in the process of accessing learning materials, interacting with educators and peers, and ... Read MoreInternational Conference on Web Intelligence, Mining and Semantics 2011WIMS2011: May 25, 2011 - May 27, 2011 in Sogndal, NorwaySubmissions: Oct 15, 2010Notification: Jan 15, 2011Call for PapersPrevious EditionsPrevious PublicationsInternational Conference on Web Intelligence, Mining and Semantics (WIMS'11) will be organised under the auspices of Western Norway Research Institute, Sogndal, Norway.
This is the first in a new series of conferences concerned with intelligent approaches to transform the World Wide Web into a global reasoning and semantic-driven computing ... Read MoreConference on Decision and Game Theory for Security 2010GameSec 20102010: Nov 22, 2010 - Nov 23, 2010 in Berlin, GermanySubmissions: Notification: Call for PapersPrevious EditionsPrevious PublicationsGameSec conference aims to bring together researchers who aim to establish a
theoretical foundation for making resource allocation decisions that balance
available capabilities and perceived security risks in a principled manner. The
conference focuses analytical models based on game, information, communication,
optimization, decision, and ... Read MoreThe Fourth International Symposium on Mining and Web 2011MAW2011: Mar 22, 2011 - Mar 25, 2011 in Biopolis, SingaporeSubmissions: Oct 1, 2010Notification: Nov 1, 2010Call for PapersPrevious EditionsPrevious PublicationsAs the Web has become a major source of information, techniques and methodologies to extract quality information is of paramount importance for many Web applications and users. Data mining and knowledge discovery play key roles in many of today’s prominent Web applications such as e-commerce and computer security.
Following the success of MA ... Read MorePrevious123...53545556575859606162...727374Next