to promote the betterment of mathematics and computer-oriented curricula in two- to four-year colleges and universities; to improve the use of mathematics and computing as an educational resource for all disciplines; to encompass regional constituencies devoted to this purpose; and to promote an international liaison among local, regional organizations also devoted to this purpose.
Predominantly these colleges and universities are oriented toward research and development. The Consortium holds meetings in conjunction with other mathematics and computing education organizations, on its own, sponsors sessions and tracks at such meetings. They are held at the University of Juarez, and some other colleges and universities in the region.
The topics of interest in this region have been classi ed and not limited to the following: Foundation for Computing Systems: Both logic, mathematics and theory of computing for intelligent systems, which may include: Implementation of computing systems: for innovating emerging R&D problems systems, which may include:
Formal methods Reasoning under uncertainty Logic programming and non-monotonic reasoning Knowledge representation Automated reasoning
Algorithms and novel techniques for e cient evaluation
Novel applications in Arti cial Intelligence: Applications that can solve problems in the region, which may include: ii
Representations and ontologies for planning and scheduling
Use of AI in formalization of Commonsense Reasoning
Knowledge-based dialog management Reasoning for adaptive systems Data integration and exchange systems Software engineering and model checking Applications to linguistics, psychology and other sciences Systems of systems Constraint-based planning or scheduling and control techniques Collaborative planning or scheduling Constraint-preference propagation techniques
Planning or scheduling under uncertainty
In the region there are research groups interested in these topics. As a result, this joint consortium is designed to promote cooperation among practitioners and researchers across disciplines who are interested in formal areas of Computer Science, AI and Software Development. The joint e orts of the workshop and consortium were aimed to: present innovative theoretical work and original applications of the formal areas of software development and knowledge engineering; exchange ideas and to facilitate interaction between researchers of the formal areas of software development and knowledge engineering; discuss signi cant recent achievements in theory and automation based on formal areas of software development and knowledge engineering; present critical short- and long-term goals for formal areas of software development and knowledge engineering; provide a forum for students to present their current research in formal areas of software development and knowledge engineering, and receive feedback from other students and researchers.
This year we have started the project. Students and researchers provided means to explore ways in which their research may contribute to the identi cation and addressing of problems of common interest in the region. We thank local research groups; the Autonomous University if Juarez, UACJ, in particular the Multidisciplinary Division, CU; the Institute for Engineering and Technology, IIT; the Mexican Council of Science and Technology, CONACYT; The Mexican Ministry for Public Education, SEP; the Organizing and Scienti c Committees for their support. Last but not least, we much appreciate the local committee and sta for hosting and supporting our joint consortium and workshop in Juarez. We are also grateful to the EasyChair team at the University of Manchester for their support.