DReaM Links Database:
Conferences open for submissons,
Forthcoming conferences,
Old conferences,
Special Issues,
Journals,
Mailing lists
Conferences Still Open for Submissions
Key:
Submission Deadline
Conference Date
- 20 Feb 20129 Jul 2012CICM 2012 - Conference on Intelligent Computer Mathematics, Bremen, Germany
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. Combines the following: Artificial Intelligence and Symbolic Computation (AISC); Calculemus; Digital Mathematical Libraries (DML); Mathematical Knowledge Management (MKM); Systems and Projects. - 5 Mar 201227 Aug 2012FM 2012, Paris
FM 2012 is the eighteenth in a series of symposia organized by Formal
Methods Europe, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software
development.
The FM 2012 Symposium will be based around the theme Interdisciplinary
Formal Methods
It will have the goal of highlighting the development and application
of formal methods in connection with a variety of disciplines such as
medicine, biology, human cognitive modelling, human automation
interactions and aeronautics, among others. FM 2012 particularly
welcomes papers on techniques, tools and experiences in
interdisciplinary frameworks, as well as on experience with practical
applications of formal methods in industrial and research settings,
experimental validation of tools and methods as well as construction
and evolution of formal methods tools. - 27 Apr 20123 Sep 2012WoLLIC2012, Buenos Aires
19th Workshop on Logic, Language, Information and Computation.
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas
of interest are: foundations of computing and programming; novel
computation models and paradigms; broad notions of proof and belief;
formal methods in software and hardware development; logical approach
to natural language and reasoning; logics of programs, actions and
resources; foundational aspects of information organization, search,
flow, sharing, and protection
