---------- Forwarded message ---------- From: Association for Symbolic Logic <[email protected]> Date: Mon, Feb 8, 2010 at 2:38 PM Subject: ASL Newsletter - January 2010
In this issue: ASL Announcements The 2009 ASL Election The 2009 Sacks Prize Awarded jointly to I. Goldbring and G. Sargsyan Call for Nominations: 2010 Shoenfield Prizes Reduced Dues for Individuals and Institutions in Developing Economies Reduced Dues for Unemployed Members New Emeritus ASL Individual Membership Older ASL Books Available Online at Project Euclid Discount Offer for ASL Members: History and Philosophy of Logic Book and Journal Discounts for ASL Members ASL Meetings Student Travel Awards: The 2010 ASL European Summer Meeting and other ASL or ASL-Sponsored Meetings 2010 ASL Winter Meeting (with APA) 2010 ASL North American Annual Meeting 2010 ASL European Summer Meeting (Logic Colloquium '10) 2011 ASL North American Annual Meeting Rules for Abstracts ASL Sponsored Meetings Third World Congress and School on Universal Logic (UNILOG 2010) Fifth Conference on Logic, Computability and Randomness North American Summer School in Logic, Language, and Information (NASSLLI 2010) Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes 2010 Australasian Association for Logic Conference Seventeenth Workshop on Logic, Language, Information and Computation (WoLLIC'2010) Twenty-fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010) Other meetings International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2010) Third New York Graduate Student Logic Conference Model Theory Conference in Seoul Summer School in Logic and Formal Epistemology Tenth International Conference on Mathematics of Program Construction (MPC 2010) UCLA Logic Center Undergraduate Summer School Fifth Federated Logic Conference (FLoC'10) Twenty-first European Summer School in Logic, Language and Information (ESSLLI-2010) Federated Mathematical Foundations of Computer Science (MFCS 2010) and Computer Science Logic (CSL 2010) Conference) Seventeenth International Symposium on Temporal Representation and Reasoning (TIME'10) Fourteenth Congress of Logic, Methodology and Philosophy of Science Other announcements Call for Nominations: 2010 Ackermann Award _____________________________________________________________________________________ ASL ANNOUNCEMENTS The 2009 ASL Election The ASL membership has elected Alex J. Wilkie (Manchester) as President, Alasdair Urquhart (Toronto) as Vice President, Phokion Kolaitis (Santa Cruz) and Greg Restall (Melbourne) to the Executive Committee, and Moti Gitik (Tel Aviv) and Alf Onshuus (Los Andes) to the Council. Their terms of office are for three years beginning January 1, 2010. The Nominating Committee consisted of Jeremy Avigad, Rod Downey, Erich Grädel, Alexander Kechris (Chair), Donald A. Martin, Charles Parsons, Richard Shore, and Carol Wood. The ballot distributed to the membership also included three proposed amendments to the ASL constitution. Two concerned the composition of the Council, and the third dealt with the number of signatures required to nominate a candidate for office by petition. All three were ratified and took effect on January 1, 2010. The 2009 Sacks Prize Awarded jointly to I. Goldbring and G. Sargsyan The ASL Committee on Prizes and Awards has selected Isaac Goldbring and Grigor Sargsyan, both of the University of California, Los Angeles, as the recipients of the 2009 Sacks Prize. The prize consists of a cash award plus five years free membership in the ASL for each awardee. Goldbring received his Ph.D. in 2009 from the University of Illinois at Urbana-Champaign, under the supervision of Lou van den Dries. The Prizes and Awards Committee notes that in his thesis, Nonstandard Methods in Lie Theory, he applies model theory to a fundamental problem from topological group theory and that the main result replaces an incorrect proof in a widely cited paper from 1957 using totally new ideas. Sargsyan received his Ph.D. in 2009 from the University of California, Berkeley under the supervision of John Steel. The Committee cited that his thesis, A Tale of Hybrid Mice, contains "uncountably many new ideas'' in inner model theory. Call for Nominations: 2010 Shoenfield Prizes The ASL invites nominations for the Shoenfield Prizes for outstanding expository writing in the field of logic. There are two Shoenfield prizes, one for books and one for expository articles, each to be awarded simultaneously every three years; the first Shoenfield Prizes were awarded in 2007. The deadline for nominations for the 2010 Prizes is March 1, 2010. Nominations should be sent to J. Knight, the Chair of the ASL Committee on Prizes and Awards (email: [email protected]). There are two Shoenfield prizes, one for books and one for expository articles. Any book first published in the past 9 years may be considered for the book award. Any article published in the past 6 years, may be considered for the article award. The Shoenfield prizes were established to honor the late Joseph R. Shoenfield for his many outstanding contributions to logic and to the ASL. Generations of logicians have especially valued Shoenfield's expository gifts, and his writings provide models of lucidity and elegance. The fund on which the Prize is based is administered by the ASL and the award is made by the Association upon the recommendation of the Committee on Prizes and Awards. For general information about the Prize, visit the website below. http://www.aslonline.org/info-prizes.html Reduced Dues for Individuals and Institutions in Developing Economies The ASL offers reduced dues for individual and institutional members in developing economies. For 2010, the reduced dues are US$18 for individuals and US$130 for institutional basic membership, US$180 for full membership. These dues apply to individuals and institutions residing in countries whose economies are classified as 'lower middle income' or below on the World Bank's annual list. For further information, visit the website below or contact the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Tel: 1-845-437-7080; Fax: 1-845-437-7830; email: [email protected]. https://www.aslonline.org/membership_outreach.html Reduced Dues for Unemployed Members The ASL now offers reduced dues for individual members who are unemployed. For 2010, the reduced dues are US$41. For further information, visit the webiste below or contact the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Tel: 1-845-437-7080; Fax: 1-845-437-7830; email: [email protected]. http://www.aslonline.org/membership-individual.html New Emeritus ASL Individual Membership Beginning with the 2010 calendar year, the ASL will offer retired individual members two membership options. Emeritus membership includes all the privileges of regular individual membership and is available to retired individuals who have been members of the ASL for 15 years. The dues for Emeritus membership for 2010 are US$41. The privileges attached to retired membership (previously called emeritus membership) include the ASL Newsletter and the right to vote in ASL elections, but do not include subscriptions to the ASL journals. Retired membership is offered to retired individuals who have been members of the Association for 20 years and is free. For more information about both options, visit the website below. http://www.aslonline.org/membership-individual.html Older ASL Books Available Online at Project Euclid The ASL has made available online via Project Euclid those older volumes of Lecture Notes in Logic and Perspectives in Logic owned by the ASL and published in collaboration with Springer-Verlag. The available Lecture Notes in Logic books (volumes 1-12) can be found at http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.lnl, and the available Perspectives volumes (those owned by the ASL) can be found at http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.pl. The ASL continues to sell original hard copies of those Lecture Notes and Perspective volumes of which there is sufficient stock; information about purchasing these volumes can be found at the website below. http://www.aslonline.org/books.html Discount Offer for ASL Members: History and Philosophy of Logic The publisher Taylor & Francis is offering ASL members a discounted rate on personal print-only subscriptions to the journal History and Philosophy of Logic. The discounted price for a 2010 subscription is $72US /44 Pounds Sterling. ASL members can order online at http://www.tandf.co.uk/journals/offer/thpl-so.asp. Alternatively, ASL members can write to the following address, stating that they are members of the ASL and that the subscription is for their personal use only: Zoe Sternberg, Taylor & Francis, 4 Park Square, Milton Park, Abingdon, Oxford, OX14 4RN England; Email: [email protected]. For more information about the journal, visit the website below. http://www.informaworld.com/hpl Book and Journal Discounts for ASL Members Several publishers now offer discounts on books and journals to ASL members. For a detailed description of these discounts, visit http://www.aslonline.org/members-discounts.html on the ASL website, or write to the ASL Business Office. ASL MEETINGS Student Travel Awards: The 2010 ASL European Summer Meeting and other ASL or ASL-Sponsored Meetings The ASL will make available modest travel awards to graduate students in logic and to recent Ph.D.'s so that they may attend the 2010 ASL European Summer Meeting in Paris, France; see the ASL meeting webpages for information about this meeting. Student members of the ASL also may apply for travel grants to other ASL or ASL-sponsored meetings. To be considered for a Travel Award, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (preferably one page) and should include: (1) your name; (2) your home institution; (3) your thesis supervisor's name; (4) a one-paragraph description of your studies and work in logic, and, in the case of an ASL student member application to attend an ASL or ASL-sponsored meeting other than the North American Annual Meeting or European Summer Meeting, a paragraph indicating why it is important to attend the meeting; (5) your estimate of the travel expenses you will incur; (6) (for citizens or residents of the USA) citizenship or visa status; and (7) (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply. In addition to funds provided by the ASL, the program of travel grants is supported by a grant from the US National Science Foundation; NSF funds may be awarded only to students at USA universities and to citizens and permanent residents of the USA. Air travel paid for using NSF funds must be on a US flag carrier. Application by email is encouraged; put "ASL travel application'' in the subject line of your message. For the 2010 ASL European Summer Meeting, applications and recommendations should be received before the deadline of March 29, 2010 by the Organizing Committee. Applications and recommendations should be submitted online at www.logic2010.org. For ASL student member travel grants to other ASL or ASL-sponsored meetings, applications and recommendations should be received at least three months prior to the meeting at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: [email protected]. Decisions will be communicated at least two months prior to the meeting. 2010 ASL Winter Meeting (with APA) Chicago, Illinois February 18--20, 2010 This meeting will be held jointly with the Annual Meeting of the Central Division of the American Philosophical Association. There are three invited sessions. The first, Continuity and Infinitesimals, includes the speakers K. Easwaran, P. Ehrlich, and D. Ross. The speakers for the second session, Causality, are C. Hitchcock, J. Pearl, and P. Spirtes. For the third session, Pluralism, the speakers are R. Cook and J.-P. Marquis. The members of the Program Committee are P. Ehrlich, J. Joyce, and S. Shapiro (Chair). The complete program for this meeting is available at http://aslonline.org/files/APAWinter2010.pdf. 2010 ASL North American Annual Meeting Washington, D.C. March 17--20, 2010 The twenty-first annual Gödel Lecture will be delivered by A. Razborov. A tutorial will be offered by B. Coecke on ph{Quantum Computing. The invited speakers include: Z. Chatzidakis, B. Kjos-Hanssen, K. Landsman, L. Moss, D. Raghavan, T. Scanlon, E. Schimmerling, H. Towsner, and R. Weber. Special sessions are planned on categorical logic, computational complexity, logic and foundations of physics, model theory, and set theory. The members of the Program Committee are: W. Gasarch, J. Hamkins, A. Kolesnikov, R. Rynasiewicz, P. Selinger, and R. Solomon (Chair). The Local Organizing Committee includes: A. Enayat, A. Eskandarian, J. Chubb, M. Friend, J. Goodrick, V. Harizanov (Chair), and A. Kolesnikov. The complete program for this meeting is available at http://aslonline.org/files/MeetingProgramAnnual10GWU.pdf. Electronic registration is available at http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit the website below. http://www.gwu.edu/~asl2010/ 2010 ASL European Summer Meeting (Logic Colloquium '10) Paris, France July 25--July 31, 2010 The Program Committee includes: A. Atserias, Z. Chatzidakis, T. Coquand, P.-L. Curien, M. Detlefsen, C. Dimitracopoulos, J. Floyd, I. Juhasz, M. Magidor, M. Rathjen (Chair), T. Scanlon, A. Soskova, and Y. Venema. The Local Organizing Committee includes: S. Abbes, V. Balat, T. Colcombet, R. Cori (Chair), T. Ehrhard, R. Labib-Sami, R. Lassaigne, Y. Legrandgérard, G. Malod, S. Périfel, J.-E. Pin, F. Point, P. Rozière, T. Tsankov, and B. Velikovic. For further information, contact R. Cori (email: [email protected]) or T. Ehrhard (email: [email protected]), or visit http://www.logic2010.org. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below). Abstracts should be submitted online by the deadline of April 5, 2010 at the official meeting website: http://www.logic2010.org. http://logic2010.org 2011 ASL North American Annual Meeting Berkeley, California March 24--27, 2011 The members of the Program Committee are: S. Buss, J. Heis, I. Neeman (Chair), C. Papadimitriou, T. Slaman, and S. Starchenko. The Local Organizing Committee includes: P. Mancosu, T. Scanlon (Chair), T. Slaman, and W.H. Woodin. Rules for Abstracts The rules for abstracts of contributed talks at ASL meetings (including those submitted "by title'') may be found at http://www.aslonline.org/rules_abstracts.html. Please note that abstracts must follow the rules as set forth there; those which do not conform to the requirements will be returned immediately to the authors submitting them. Revised abstracts that follow the rules will be considered if they are received by the announced deadline. ASL SPONSORED MEETINGS Third World Congress and School on Universal Logic (UNILOG 2010) Lisbon, Portugal April 18--25, 2010 Invited speakers include: H. Field, G. Grätzer, Y. Gurevich, G.Jaeger, M. Kracht, H. Ono, G. Sambin, J. Seldin, A. Sernadas, and D. Scott. The school is intended for Ph.D. students, postdoctoral students, and young researchers. Tutorials will be offered by: J.-Y. Beziau, P. Blackburn, J. Branquinho, A. Buchsbaum, M. Coniglio, R. Diaconescu, C. Dutilh-Novaes, F. Ferreira, A. Herzig, D. Krause, J.-L. Lee, J. Marcos, P. Mateus, F. Moltmann, A. Moretti, J. Sallantin, F. Schang, C. Sernadas, T. Skura, H. Wansing, G. Wheeler, and A. Wisniewski. For further information, visit the website below. http://www.uni-log.org Fifth Conference on Logic, Computability and Randomness Notre Dame, Indiana May 24--28, 2010 This event, to be held at the University of Notre Dame, will focus on algorithmic randomness and related topics in logic, computability, complexity, and randomness. The Chair of the Program Committee is P. Cholak. The Local Organizing Committee includes: L. Axon, P. Cholak, and L. Tranberg. For further information, visit the website below. https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml North American Summer School in Logic, Language, and Information (NASSLLI 2010) Bloomington, Indiana June 20--25, 2010 This event, loosely modeled on the long-running ESSLLI series in Europe (see http://esslli2010cph.info/), will consist of a number of courses and workshops with a focus on interdisciplinary work involving logic, linguistics, computer science, cognitive science, philosophy, and artificial intelligence. The Program Committee Chair is D. Beaver and the Chair of the Steering Committee is L. Moss. For more information, visit the website below. http://www.indiana.edu/~nasslli/ Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes Ponta Delgada (Azores), Portugal June 30--July 4, 2010 This event is the sixth in a series organized within the network "Computability in Europe'' (CiE). The conference will deal not only the more established lines of research of computational complexity and the interplay between proof theory and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. The broad scope of this event is intended to provide a forum for the discussion of theoretical and practical issues in computation with an emphasis on new paradigms of computation and the development of their mathematical theory. Tutorials will be offered by J. Bub on Information, Computation and Physics and B. Codenotti on Computational Game Theory. Invited speakers include: E. Allender, J.L. Balcázar, R. de Wolf, S. Goldwasser, D. Hirschfeldt, S. Lloyd, S. Negri, and T. Pitassi. Special sessions are planned on Biological Computing, Computability of the Physical, Computational Complexity, Proof Theory and Computation, Reasoning as Computation from Leibniz to Boole, and Web Algorithms and Computation. The Co-chairs of the Program Committee are F. Ferreira and E. Mayordomo. For more information, visit the website below. http://www.cie2010.uac.pt/ 2010 Australasian Association for Logic Conference Sydney, Australia July 2--4, 2010 This annual meeting will immediately precede the Australasian Association of Philosophy Conference, also to be held in Sydney, July 4--9, 2010, both at the University of New South Wales. Papers on any aspect of logic are welcome. There will be no conference registration fee. Abstracts should be sent to the conference organizer, P. Staines, by mail to the School of History and Philosophy, University of New South Wales, NSW 2052 Australia, or by e-mail to [email protected], by June 4, 2010. For more information, visit the website below. http://www.aalogic.org Seventeenth Workshop on Logic, Language, Information and Computation (WoLLIC'2010) Brasilia, Brazil July 6--9, 2010 This is the seventeenth in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The Chair of the Program Committee is A. Dawar. The Co-chairs of the Organizing Committee are M. Ayala-Rincon and R. de Queiroz. For further information, visit the website below. http://www.wollic.org/wollic2010/ Twenty-fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010) Edinburgh, Scotland July 11--14, 2010 The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. LICS 2010 will be organized as part of the the Fifth Federated Logic Conference (FLoC 2010; see below). The Program Chair is J.-P. Jouannaud, the General Chair is R. Alur, and the Conference Chair is M. Escardó. For further information, visit the website below. http://www2.informatik.hu-berlin.de/lics/lics10/ CALENDAR OF OTHER MEETINGS (Also see http://www.aslonline.org) International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2010) Dakar, Senegal April 25--May 1, 2010 This is the sixteenth in the LPAR series. The Program Committee Chairs are E. Clarke and A. Voronkov. For more information, visit the website below. http://www.lpar.net/lpar-16/ Third New York Graduate Student Logic Conference New York, New York May 7-8, 2010 This event, sponsored by the National Science Foundation funded Mid-Atlantic Mathematical Logic Seminar (MAMLS) and the City University of New York, provides an opportunity for graduate students in logic to present their research, meet students from other institutions, and interact with senior logicians. For further information, visit the website below. http://nylogic.org/GradStudentConference Model Theory Conference in Seoul Seoul, South Korea May 19--22, 2010 This event is sponsored by Yonsei University and the National Institute of Mathematical Sciences (of South Korea), NIMS. The invited speakers include: I. Ben Yaacov, Z. Chatzidakis, I. Goldbring, I. Herzog, E. Hrushovski, M. Kim, P. Kowalski, A. Macintyre, R. Moosa, A. Pillay, M. Prest, T. Scanlon, K. Tent, A. Tsuboi, F.O. Wagner, and M. Ziegler. The Conference Committee members are: Z. Chatzidakis, E. Hrushovski, A. Pillay, T. Scanlon, A. Tsuboi, and F.O. Wagner. The members of the Organizing Committee are I. Herzog and B. Kim. For more information, visit the website below. http://www.nims.re.kr/conference/2010modeltheory/ Summer School in Logic and Formal Epistemology Pittsburgh, Pennsylvania June 7--25, 2010 This event is the fifth annual summer school offered by the Department of Philosophy at Carnegie Mellon University, with partial funding from the National Science Foundation. The program, open to promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences, aims to introduce promising students to cross-disciplinary fields of research at an early stage in their career and forge lasting links between the various disciplines. Students who will have just completed their first year of graduate school are also invited to apply. The three one-week sessions (with titles and dates in parentheses) will be taught by C. Glymour ( Logic and Scientific Method, June 7--11), W. Sieg ( Computability and Foundations, June 14--18), and H. Arlo-Costa ( Philosophical Logic and Formal Epistemology, June 21--25). For further information, visit the website below. Inquiries may be directed to J. Avigad (Email: [email protected]). http://www.phil.cmu.edu/summerschool Tenth International Conference on Mathematics of Program Construction (MPC 2010) Québec City, Canada June 21--23, 2010 This biennial event, colocated this year with the Thirteenth International Conference on Algebraic Methodology and Software Technology (AMAST 2010, June 23--26), aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. For further information, visit the website below. http://mpc-amast2010.fsg.ulaval.ca/ UCLA Logic Center Undergraduate Summer School Los Angeles, California July 5--23, 2010 The goal of the summer school is to introduce future mathematicians to central results and techniques from mathematical logic. The school is for undergraduates, currently in their junior year or earlier. All application materials must be received by March 7, 2010. For further information, visit the website below. http://www.math.ucla.edu/~ineeman/Summer-school/ Fifth Federated Logic Conference (FLoC'10) Edinburgh, Scotland July 9--21, 2010 This event brings together several synergistic conferences that apply logic to computer science. The following eight conferences will participate in FLoC '10: Conference on Computer-Aided Verification (CAV), Computer Security Foundations Symposium (CSF), International Conference on Logic Programming (ICLP), International Joint Conference on Automated Deduction (IJCAR), International Conference on Interactive Theorem Proving (ITP), the ASL-sponsored IEEE Symposium on Logic in Computer Science (LICS), International Conference on Rewriting Techniques and Applications (RTA), and International Conference on Theory and Applications of Satisfiability Testing (SAT). Pre-conference workshops will be held on July 9--10, 2010. The General Chair for FLoC'10 is M. Vardi and the Conference Co-Chairs are L. Libkin, and G. Plotkin. For further information, visit the website below. http://www.floc-conference.org Twenty-first European Summer School in Logic, Language and Information (ESSLLI-2010) Copenhagen, Denmark August 9--20, 2010 The European Summer Schools in Logic, Language and Information focus on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses, together with workshops, cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The Chair of the Program Committee is V. Goranko and the Organizing Committee Chair is V.F. Hendricks. ESSLLI-2010 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2010 visit the website below; for further information about FoLLI, visit http://www.folli.org. http://esslli2010cph.info/ Federated Mathematical Foundations of Computer Science (MFCS 2010) and Computer Science Logic (CSL 2010) Conference) Brno, Czech Republic August 23--27, 2010 This year the Thirty-fifth International Symposium on the Mathematical Foundations of Computer Science and the Ninteenth European Association for Computer Science Logic Annual Conference are federated and organized in parallel at the same location. Affiliated workshops will take place before and after the conference. The invited speakers include: D. Basin, H. Edelsbrunner, E. Grädel, B. Mohar, and J. Sifakis. The Program Co-Chairs for CSL 2010 are A. Dawar and H. Veith; for MFCS 2010 the Program Co-Chairs are P. Hlinený and A. Kucera. The Chair of the Organizing Committee is J. Bouda. The deadline for submission of abstracts for CSL 2010 is March 26, 2010; for MFCS 2010 the deadline is April 10, 2010. For more information, visit the website below. http://mfcsl2010.fi.muni.cz/ Seventeenth International Symposium on Temporal Representation and Reasoning (TIME'10) Paris, France September 6--8, 2010 This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker. The General Chair of the symposium is I. Pratt-Hartmann; the Program Committee Co-Chairs are N. Markey and J. Wijsen; and the Organization Chair is N. Markey. The deadline for submission of abstracts is April 9, 2010. For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/ Fourteenth Congress of Logic, Methodology and Philosophy of Science Nancy, France July 19--26, 2011 This event, which has been held every four years beginning in 1960, is the main international conference organized by the Division of Logic, Methodology and Philosophy of Science (DLMPS) of the International Union of History and Philosophy of Science (IUHPS). The program usually is divided into sections under the headings of Logic, General Philosophy of Science, Philosophical Issues of Particular Sciences, and Science and Society. The Chair of the Executive Committee is W. Hodges, the General Program Committee Chair is P. Schroeder-Heister, and the Chair of the Local Organizing Committee is G. Heinzmann. For more information, visit the website below. http://www.clmps2011.org/en/editorial.html OTHER ANNOUNCEMENTS (Also see http://www.aslonline.org) Call for Nominations: 2010 Ackermann Award The European Association for Computer Science Logic (EASCSL) invites submissions for its Outstanding Dissertation Award for Logic in Computer Science (Ackermann Award). To be eligible for the 2010 Ackermann Award, the candidate must have completed a Ph.D. dissertation in topics specified by the EACSL and LICS conferences that was formally accepted as a Ph.D. thesis at a university or equivalent institution between January 1, 2008 and December 31, 2009. The deadline for submission is March 15, 2010; details are available at http://www.eacsl.org/submissionsAck.html. For the years 2010-2012, the Award is sponsored by the Kurt Gödel Society. The next Newsletter will be sent in April, 2010 Items to be included should reach the Secretary-Treasurer before March 31, 2010. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
