CAISE'11_FORUM 2011CAISE_FORUM2011: Jun 22, 2011 - Jun 24, 2011 in London, United KingdomSubmissions: Mar 21, 2011Notification: Apr 28, 2011Call for PapersPrevious EditionsPrevious PublicationsThe CAISE conference theme is linked this year with the coming Olympic and Paralympic Games, which bring together athletes from all the continents to celebrate sporting excellence but also human diversity. Diversity is an important concept for modern information systems. Information Systems (IS) are diverse by nature, as well as the processes f ... Read MoreQEST 2011qest2011: Sep 5, 2011 - Sep 8, 2011 in Aachen, GermanySubmissions: Mar 18, 2011Notification: May 16, 2011Call for PapersPrevious EditionsPrevious Publications CALL FOR PAPERS
Quantitative Evaluation of SysTems
QEST 2011
8th International Conference
September 5-8, 2011, Aachen, Germany
http://www.qest.org/qest2011/
Co-located events:
22th International Conference on Concurrency Theory (CONCUR)
6th ... Read More6th International Workshop on Semantic Media Adaptation and Personalization 2011SMAP 20112011: Dec 1, 2011 - Dec 2, 2011 in Vigo, SpainSubmissions: May 24, 2011Notification: Jul 8, 2011Call for PapersPrevious EditionsPrevious PublicationsThe SMAP initiative was founded during the summer of 2006 in an effort to discuss the state of the art, recent advances and future perspectives for semantic media adaptation and personalization.
After five successful workshops –in Athens, London, Prague, San Sebastian and Limassol–, the SMAP workshop series has consolidated as a reference eve ... Read MoreTuring Centenary Conference - CiE 2012: How the World Computes 2012CiE2012: Jun 18, 2012 - Jun 23, 2012 in Cambridge, United KingdomSubmissions: Jan 27, 2012Notification: Mar 16, 2012Call for PapersPrevious EditionsPrevious PublicationsCiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world.
Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's inte ... Read More10th International Workshop on Web Semantics (WebS) 2011WebS2011: Aug 30, 2011 - Aug 30, 2011 in Toulouse, FranceSubmissions: Mar 4, 2011Notification: Call for PapersPrevious EditionsPrevious PublicationsExtended Deadline: March 18, 2011
The objective of the workshop Web Semantics (WebS) is to bring together researchers, developers and
practitioners to discuss research issues and experience in developing and deploying Semantic Web
concepts, applications, and solutions being an international forum for the presentation of both
theoretical a ... Read MoreInternational Workshop on Collaboration and e-Learning 2011Ce-Learning2011: May 23, 2011 - May 27, 2011 in Philadelphia, Pennsylvania, N. AmericaSubmissions: Dec 30, 2010Notification: Feb 1, 2011Call for PapersPrevious EditionsPrevious PublicationsShifting to knowledge based society, high level educational environments are required with which it is possible to continue to learn for anybody, anytime, and anywhere. The area of e-Learning realizes such kind of educational environments because distributed learners can learn collaboratively with multimedia contents anytime and anywhere by em ... Read More4th International Symposium on Applications of Graph Transformation with Industrial Relevance 2011AGTIVE2011: Oct 4, 2011 - Oct 7, 2011 in Budapest, HungarySubmissions: May 30, 2011Notification: Jul 18, 2011Call for PapersPrevious EditionsPrevious PublicationsGraphs are well-known, well-understood, and frequently used means
to depict networks of related items. Various types of graph
transformation approaches have been proposed to specify, recognize,
inspect, modify, and display certain classes of graph based models
representing structures of rather different domains. Research activities
ba ... Read MoreCryptoForma 2011CryptoForma2011: Jun 21, 2011 - Jun 21, 2011 in Limerick, IrelandSubmissions: Mar 4, 2011Notification: Apr 15, 2011Call for PapersPrevious EditionsPrevious PublicationsWorkshop on Formal Methods and Cryptography, Colocated with FM 2011, Limerick, 21 June 2011
In the 1990s, formal methods were successfully applied to the modelling and verification of security protocols at a high level of abstraction. However, modern cryptographic protocols contain probabilistic and complexity theoretic aspects which require ... Read MoreRefine 2011Refine2011: Jun 20, 2011 - Jun 20, 2011 in Limerick, IrelandSubmissions: Mar 21, 2011Notification: Apr 15, 2011Call for PapersPrevious EditionsPrevious Publications15th Refinement Workshop
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.
The aim of thi ... Read MoreInternational Conference on Software Maintenance 2011ICSM2011: Sep 25, 2011 - Oct 1, 2011 in Williamsburg, VA, United StatesSubmissions: Apr 15, 2011Notification: Jun 13, 2011Call for PapersPrevious EditionsPrevious PublicationsICSM is the premiere international venue in software maintenance and evolution, where participants from academia, government, and industry meet and share ideas and experiences for solving critical software maintenance problems.<br>
In 2011, the 27th edition of ICSM will be held at the Williamsburg Lodge, in the heart of Williamsburg, VA, USA ... Read MorePrevious123...43444546474849505152...727374Next