[TYPES/announce] CSL 2008: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for Multiple Copies] * 17th EACSL Annual Conference on * * * * COMPUTER SCIENCE LOGIC * * * * September 15-19, 2008 * *Bertinoro, ITALY * INVITED SPEAKERS Luca Cardelli, Microsoft Research, Cambridge Pierre Louis Curien, PPS, Universite' Paris VII, Paris Jean-Pierre Jouannaud, Ecole Polytechnique, Palaiseau Wolfgang Thomas, RWTH, Aachen ACCEPTED PAPERS http://csl2008.cs.unibo.it/accepted.html PROGRAM http://csl2008.cs.unibo.it/program.html http://csl2008.cs.unibo.it/preliminaryprogram.pdf REGISTRATION INFORMATION http://csl2008.cs.unibo.it/registration.html * Early registration deadline: August 16th, 2008 * VENUE http://www.centrocongressibertinoro.it/inglese/centro_universitario.htm MAKOWSKY SYMPOSIUM http://csl2008.cs.unibo.it/bridging.html
[TYPES/announce] ESSLLI 2009 - Second Call for Course and Workshop Proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] % ESSLLI 2009 Monday, 20 July --- Friday, 31 July 2009 Bordeaux, France % CALL FOR COURSE and WORKSHOP PROPOSALS -- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. The ESSLLI 2009 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 21st annual Summer School in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. The Summer School program is organized around the components. - Language and Computation - Language and Logic - Logic and Computation We also welcome proposals that do not exactly fit one of these there categories. PROPOSAL SUBMISSION: Proposals should be submitted through a web form available at http://www.folli.org/submission.php All proposals should be submitted no later than *** Monday, September 1, 2008 *** Authors of proposals will be notified of the committee's decision no later than Wednesday October 15, 2008. Proposers should follow the guidelines below while preparing their submissions; proposals that deviate can not be considered. GUIDELINES FOR SUBMISSION: Anyone interested in lecturing or organizing a workshop during ESSLLI-2009, please read the following information carefully. ALL COURSES: Courses consists of five sessions (a one-week course), each session lasting 90 minutes. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. Timetable for Course Proposal Submission: Sept 1, 2008: Proposal Submission Deadline Oct 15, 2008: Notification June 1, 2009: Deadline for receipt of camera-ready course material (by ESSLLI Local Organizers) FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. It is a strict requirement that organizers give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speaker
[TYPES/announce] CFP: International Conference on Innovation in Software Engineering - ISE08
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Kindly forward to your colleagues or students who may be interested * * Our apologies if you receive multiple copies of this announcement. * CALL FOR PAPERS International Conference on Innovation in Software Engineering - ISE08 http://community.ise.canberra.edu.au/conference/ise08/ 10-12 December 2008 - Vienna, Austria http://community.ise.canberra.edu.au/conference/ise08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce - IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Computational Intelligence for Modelling, Control and Automation http://community.ise.canberra.edu.au/conference/cimca08/ Important Dates: 29 August 2008 Submission of papers to the conference 26 September 2008 Notification of acceptance 17 October 2008 Deadline for camera-ready copies of accepted papers 10 - 12 December 2008 Conference sessions The international Conference on Innovation in Software Engineering - ISE'2008 will be held in Vienna, Austria on 10-12 December 2008. ISE'2008 provides a medium for researchers and practitioners to exchange and explore the issues and opportunities in software engineering. The conference focus is on theory and applications of new and innovative ways in software engineering,systems analysis, design, implementation, testing and maintenance. The conference will consist of both plenary sessions and contributory sessions, focusing on theory and application of software engineering techniques in diverse fields. The conference proceedings will be published by IEEE in the USA and will be indexed through IEE INSPEC, EI (Compendex), SCI (ISI), IEEE XploreTM and the IEEE Computer Society digital libraries (CSDL). All papers will be peer reviewed by at least two reviewers. Conference Topics Include (but not limited to): Software engineering Requirements analysis Feasibility analysis Systems analysis Software components, System design and implementation Reliable software technologies Software testing Maintenance issue Dependable computing Software architectures User modeling and interface design Reverse engineering Real-time software Software project management Programming issues Algorithms and data structures Object-Oriented Programming Visual Programming Mobile and distributed system application Software systems for mobile applications Ubiquitous computing High performance computing and parallel processing systems Load Balancing and Scheduling Database and data management Data quality and integrity Large database design, implementation and maintenance Data-mining from databases and data warehouses Data Semantics Data generation and integration Software engineering and automation Automated Software project management Automated planning and effort estimation Reliability estimation and prediction Automated software testing, verification and validation Fault identification in real time systems Evolving software systems Software systems and web applications Web applications Internet information systems Semantic Web Technologies Web Services Web semantic Ontologies E-commerce applications Electronic Payment Systems Virtual Communities Business Reengineering Issues for Electronic Commerce Government Electronic Procurement and Service Delivery Legal, Auditing or Security Issues for Electronic Commerce Paper Submission Papers will be selected based on their originality, significance, correctness, and clarity of presentation. Papers (4 pages or more) should be submitted to the following e-mail or through conference website: E-mail: [EMAIL PROTECTED] ISE'2008 Secretariat School of Information Sciences and Engineering University of Canberra, Canberra, 2616, ACT, Australia Electronic submission of papers (either by E-mail or through conference website) is preferred. Papers should present original work, which has not been published or being reviewed for other conferences. Special Sessions and Tutorials Special sessions and tutorials will be organised at the conference. The conference is calling for special sessions and tutorial proposals. All special session proposals should be sent to the conference chair (by email to: [EMAIL PROTECTED]) on or before 4th of August 2006. CIMCA'06 will also include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date. Visits and social events Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for companions during the conference. Fur