Services aux conférences Mandl

Résumé: The increasing computational requirements of many applications require the development of new algorithms and arquitectures for parallel and distributed computing. The ISPDC conference serves as a forum for engineers and researchers to present and discuss new ideas and system technology, with an interactive and friendly, but strongly professional atmosphere.

Résumé: The 2009 IEEE International Conference on Networking, Architecture, and Storage (NAS 2009) is to be held on July 9-11, 2009 in Zhang Jia Jie, China. It will serve as an international forum to bring together researchers and practitioners from academia and industry to discuss cutting edge research on networking (wired and wireless), high-performance computer architecture, and parallel and distributed data storage technologies. NAS 2009 will expose participants to the most recent developments in these interdisciplinary areas. NAS has been successfully hold in Chongqing in 2008 (NAS'08), Guilin in 2007(NAS'07), and Shenyang in 2006(NAS'06).

Résumé: SETP is an important event in the areas of Software development, maintenance, and other areas of software engineering and related topics. The conference will be held at the same time and location where some other major events will be taking place.

Résumé: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of 22 conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA)

Résumé: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of 22 conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA)

Résumé: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of 22 conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA)

Résumé: The purpose of the ICSOFT 2009, the 4th International Conference on Software and Data Technologies, is to bring together researchers, engineers and practitioners interested on information technology and software development. The conference tracks are Software Engineering", "Information Systems and Data Management", "Programming Languages", "Distributed and Parallel Systems" and "Knowledge Engineering"."

Résumé: The program of SNC 2009 will include invited presentations, contributed research papers and posters.

Résumé: Component-Based Software Engineering (CBSE) is concerned with designing, selectiong and composing components. Software systems are build by assembling components already developed and prepared for integration. The main objective of CBSE is to obtain a more efficient development with shorter development times and better quality products: using an existing component, rather then developing a new one is often the quickest and cheapest method of meeting any given need.

The goal for this special session is to point out the challenges and problems of component-based approach, but also to show the new ideas, solutions and practices. The aim is to bring together researchers and practitioners to share experience and research results both of works in progress and practical experience, on any topic relevant to building systems from components.

Résumé: The Algorithms And Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. The workshop includes papers presenting original research on algorithms and data structures in all areas, including bioinformatics, combinatorics, computational geometry, databases, graphics, and parallel and distributed computing. All proceedings are published in the Springer Verlag series Lecture Notes in Computer Science.

Résumé: ESEC/FSE 2009 (The seventh joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. Held bi- annually, ESEC/FSE brings together experts from academia and industry to exchange the latest research results and trends, as well as their practical application in all areas of software engineering.

Résumé: The System on a Chip Conference

Résumé: In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation and automated reasoning, there is an obvious need for using specialised formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialised systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularisation of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field.

Like its predecessors, FroCoS 2009 wants to offer a common forum for research activities in the general area of combination, modularisation and integration of systems (with emphasis on logic-based ones), and of their practical use.

Résumé: The 2009 IEEE Information Theory Workshop (ITW 2009) will take place on October 11-16, 2009 in Taormina, Sicily, Italy. Taormina is a world-famous tourist resort, endowed with a rare charm and atmosphere, whose fame is strictly related to the strong peculiarity of its setting.

Résumé: You might think that since objects have become mainstream there wouldn't be much left to explore about object oriented programming. Well, think again. What's left to discover? Lots!

Like how to address today's software challenges. OOPSLA attracts attendees interested in and presenters with innovative ideas about:

Programmer productivity Secure and reliable software Changing hardware platforms Ultra-large scale systems OOPSLA is the premier conference for innovative and thought-provoking ideas, for seeking comment on works in progress, and (frequently, we're proud to say) for presenting Turing Award lecturers on significant works.

Résumé: With its emphasis on providing actionable guidance on best practices, Practical Product Lines 2009 is the ideal opportunity for software practitioners to understand how to benefit from emerging approaches, technologies and tools in the field of Software Product Lines.

Résumé: This conference is aimed to consolidate the local software professional community and more deeply integrate it into the international software society. The CEE-SECR conference last years attracted speakers from 15+ countries, over 500 participants from all over the world. The list of keynote speakers from previous SECR conferences includes Erich Gamma, Michael Cusumano, Larry Constantine, Claudia Dent, Michael Fagan, Bill Hefley, Ivar Jacobson, Rick Kazman, Steve Masters, Mark Paulk and Michel Speranski, Stephen Mellor and many others. This conference is targeted at software professionals, such as Project Managers, Software Architects, Process Engineers, Software Engineering Process Group Directors, HR Specialists, Business Analysts, Team Leaders, IT Managers, CIO/CTO, QA Managers, Senior Developers, etc. from Central and Eastern European countries, Western European countries, and the US.

Résumé: With the increased size and complexity of software products, software applications are often no longer created by an individual or even a single organization. Instead, applications now commonly comprise components produced by different developers using diverse practices. In order to minimize the complexity of this process, it is beneficial for those working in the field to standardize software development. Large software applications following traditional approaches are difficult to design and test, slow to develop, require continuous maintenance and updates, and are often unreliable. By constructing software products using emerging techniques, software engineers are seeking solutions to these problems and attempting to reduce the period of software development, while increasing productivity, security and reliability.

The primary objective of the 12th IASTED International Conference on Software Engineering and Applications (SEA 2008) is to provide a forum for substantive discussion on the emerging technologies and methodologies being developed to overcome the challenges that exist in all areas of software engineering. This conference will also showcase developments in industry, successful applications, and case studies.

Résumé: The International Conference on Conceptual Modeling is a leading international forum for presenting and discussing current research and applications in which the major emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of concepts and ontologies underlying conceptual modeling, methods and tools for developing and communicating conceptual models, and techniques for transforming conceptual models into effective implementations.

Résumé: Emergent Computing studies and uses biologically and socially inspired systems in which complex behaviour at the global level emerges from the interaction of a set of simple components. The goal of Emergent Computing is to solve complex real-world problems. We need methods that find acceptable solutions in a constrained amount of time. Solutions are also required to be robust and may evolve under changing circumstances. Many biological and social systems are very good at doing exactly this, and they can be a great source of inspiration to design new methods for problem solving.

Résumé: The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. Authors are invited to submit both research and tool papers. The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops.

The proceedings of the conference will be published by the IEEE Computer Society Press. The authors of a selection of the best papers presented at the conference will be invited to submit extended versions of their works for publication in a journal.

Résumé: After the successful organisation of the first three workshops (SEEFM'03 - Thessaloniki, SEEFM'05 - Ohrid, SEEFM'07 - Thessaloniki) the 4th South-East European Workshop on Formal Methods aims to continue bringing together researchers of the Formal Methods community, not only from SEE region but from the rest of the world as well.

The theme of this workshop is twofold and involves:
(a) "Formal Methods for Web Services", and
(b) "Formal Methods for Agent-based Systems"

Résumé: The IFAC conference series on Analysis and Design of Hybrid Systems (ADHS) is focused on the Automation of Dynamical Systems.