Services aux conférences Mandl

Résumé: Theory and Applications of Model of Computation (TAMC) is an international conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics and the physical sciences. The crossdisciplinary character, together with its focus on algorithms, complexity and computability theory, gives the conference a special flavor and distinction.

Résumé: WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to 9th, 2010. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

Résumé: Pervasive computing is emerging as the next paradigm for distributed and mobile computing through building systems of communicating miniaturized devices, sensors and actuators in which ambient, personalized trustworthy services built out of pervasive infrastructure and information are seamlessly available anywhere, anytime, and in all forms. By embedding ambient intelligence in everyday objects, our workplaces, our homes and even ourselves, pervasive computing and communications will enable a new breed of applications and systems which are composed of massive smart objects to create the environments that underpin a smart world.

PNSIOT 2010 provides a premier forum for researchers and engineers alike to present state-of-the-art research and development progresses in all areas related to architecture, design, implementation, application and evaluation of mobile communications and pervasive computing as these technologies are permeating and integrating into our everyday living and working environments.

Résumé: This conference is an initiative of the MUCM (Managing Uncertainty in Complex Models) project.Research on this project is concerned with all aspects of uncertainty in computer models.

Résumé: The IADIS Informatics 2010 shall host fundamental topics on Informatics. In addition, its scope is not just limited to fundamental theory, but it should also cover the impact of Informatics on society and human life, and it shall furthermore complement theory foundations with technical considerations and practice.