---------- Forwarded message ---------- From: Association for Symbolic Logic <[email protected]> Subject: ASL Newsletter - April 2009
In this issue: ASL Announcements 2009 Sacks Prize Call for Proposals: 2012 NOth American Annual Meeting Call for Proposals: 2011 AMS-ASL Joint Special Session New ASL Committee on Logic Education Website ASL Meetings Student Travel Awards: The 2009 ASL European Summer Meeting and other ASL or ASL-Sponsored Meetings 2009 ASL North American Annual Meeting 2009 ASL European Summer Meeting (Logic Colloquium '09) 2009-10 ASL Winter Meeting (with Joint Mathematics Meetings) 2010 ASL North American Annual Meeting Rules for Abstracts ASL Sponsored Meetings ESI Workshop on Large Cardinals and Descriptive Set Theory Sixteethn Workshop on Logic, Language, Information and Computation (WoLLIC'2009) Eleventh Asian Logic Conference Fourth Conference on Logic, Computability and Randomness Topology, Algebra and Categories in Logic (TACL'09) 2009 Australasian Association for Logic Meeting Computability in Europe (CiE 2009): Mathematical Theory and Computational Practice European Science Foundation Resarch Conference in Model Theory Twenty-fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009) Eighteenth Annual Conference on Computer Science Logic (CSL 09) Other meetings Models, Logics and Higher-Dimenstional Categories: A tribute to the work of Mihaly Makkai Groups and Models: Cherlin Bayrami Federated Conference on Rewriting, Deduction, and Programming rDP'09 Leeds Symposium on Proof Theory and Constructivism Second European Set Theory Meeting: in Honor of Ronald Jensen Twenty-first European Summer School in Logic, Language and Information (ESSLLI-2009) Sixteenth International Symposium on Temporal Representation and Reasoning (TIME 2009) Nineteeth International Symposium on Logic-Base Program Synthesis and Transformation (LOPSTR 2009) Other announcements Call for Nominations: editor-in-Chief of ACM Transactions on Computational Logic (ToCL) ________________________________ ASL ANNOUNCEMENTS 2009 Sacks Prize The ASL invites nominations for the 2009 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2009. The Sacks Prize was established to honor Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The Prize was first awarded in 1994 and became an ASL Prize in 1999. The Fund on which the Prize is based is now administered by the ASL and the selection of the recipient is made by the ASL Committee on Prizes and Awards. The Sacks Prize will consist of a cash award plus five years free membership in the ASL. For general information about the Prize, visit http://www.aslonline.org/info-prizes.html. Anyone who wishes to make a nomination for the 2009 Sacks Prize should consult the webpage http://www.aslonline.org/Sacks_nominations.html for the precise details of the application process. A brief summary of the procedure is provided below. Students who defend their dissertations (equivalent to the American doctoral dissertation) between October 1, 2008, and September 30, 2009, are eligible for the Prize this year. This is an international prize, with no restriction on the nationality of the candidate or the university where the doctorate is granted. Nominations should be made by the thesis adviser, and consist of: name of student, title and 1--2 page description of dissertation, date and location where the doctorate was awarded, letter of recommendation from the adviser, and an electronic copy of the thesis in .pdf or .ps form, or the address of a web site from which an electronic copy in .pdf or .ps form can be downloaded. An independent second letter of recommendation is strongly encouraged. Nominations should be sent to the Committee Chair, Julia Knight; .pdf or .ps files sent as attachments by email to [email protected] are preferred. The form of such letters and other pertinent details can be found at the web site above, and need to be read prior to submitting a nomination. Correspondence should be addressed to Julia Knight, Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, IN 46556-4618, USA. Those wishing to contribute to the Sacks Prize Fund may send contributions to the ASL office (ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604). All such contributions are tax-deductible within the USA. Call for Proposals: 2012 North American Annual Meeting The ASL Committee on Logic in North America requests proposals for the 2012 ASL North American Annual meeting, to be held some time in the first five months of 2012. The committee seeks a university somewhere in North America and a local committee to host the meeting and handle the local arrangements. The ASL meetings ordinarily cycle geographically in the pattern: midwest (Notre Dame 2009), east (George Washington 2010), west (site for 2011 to be determined). Thus, for 2012 the committee seeks a location in the midwest. Any reasonable proposal, however, will be considered. For more information, interested parties should contact the Committee Chair, Jeremy Avigad (email: [email protected]) no later than November 1, 2009. Call for Proposals: 2011 AMS-ASL Joint Special Session The ASL Committee on Logic in North America requests proposals for an AMS-ASL Joint Special Session to be held at the Joint Mathematics Meetings in New Orleans, January 5--8, 2011. Proposals or requests for further information should be sent to the Committee Chair, Jeremy Avigad (email: [email protected]). The deadline for receipt of proposals is January 15, 2010. New ASL Committee on Logic Education Website The ASL Committee on Logic Education has a new web address for its activities: http://www.ucalgary.ca/aslcle/. These pages contain information on reports and guidelines for logic education, meetings of the committee or of other logic instruction related meetings, both focused on undergraduate and graduate teaching, and also a list of logic teaching aids (currently 27 different programs strong). The logic courseware list includes programs to do natural deduction or tableau reasoning online, construct and model check relational structures (both for first order logic and for modal logic), ways to assist informal reasoning and to translate text into logic, etc. This list has been maintained since 1996 by H. van Ditmarsch, a member of the Committee. Additions to the information available on the webpages and suggestions for other new items are highly appreciated; please contact one of the members of the Committee with suggestions. The list of members of the ASL Committee on Logic Education may be found at http://www.aslonline.org/info-council.html#ced. ASL MEETINGS Student Travel Awards: The 2009 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 (for the European Summer Meeting only) to recent Ph.D.'s so that they may attend the 2009 ASL European Summer Meeting in Sofia, Bulgaria; see below 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 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 2009 ASL European Summer Meeting, applications and recommendations should be received before the deadline of April 15, 2009, by the Organizing Committee: Logic Colloquium 2009, Department of Mathematical Logic, Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd., 1164 Sofia, Bulgaria; email: [email protected]. 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. 2009 ASL North American Annual Meeting Notre Dame, Indiana May 20--23, 2009 The invited speakers include: P. Blanchette, K. Fine, J. Kraijcek, H. Mildenberger, A. Nies, A. Pillay, A. Razborov, A. Shlapentokh, J. Steel, and B. Zilber. Alexander Kechris will deliver a retiring presidential address. The following special sessions also are planned: Complexity of Propositional Proofs, Computability Theory, Model Theory, Set Theory, and The Structural View of Mathematical Objects. The members of the Program Committee are: R. Heck, W. Henson, J. Knight, R. Moosa, A. Urquhart (Chair), and M. Zeman. The members of the Local Organizing Committee include: T. Bays, P. Blanchette, S. Buechler, P. Cholak, M. Detlefsen (Co-chair), C. Franks, J. Knight, and S. Starchenko (Co-chair). A program can be found here. Electronic registration is available at http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit the website below. http://www.math.nd.edu/conferences/asl09 2009 ASL European Summer Meeting (Logic Colloquium '09) Sofia, Bulgaria July 31--August 5, 2009 Tutorials (with titles in parentheses) will be offered by U. Kohlenbach ( Proof interpretations and their use in mathematics), A. Nies ( Applying randomness to computability), and R. Schindler ( The evolution of inner models). The twentieth annual Gödel Lecture will be delivered by R. Shore. The invited speakers include E. Bouscaren, S.B. Cooper, T. Coquand, I. Farah, V.S. Harizanov, S. Kreutzer, D.W. Kueker, B. Miller, I. Neeman, D.S. Scott, K. Tent, and J. Väänänen. Special sessions are planned on Computability Theory, Logic and Category Theory, Model Theory---New Directions in Classification Theory, Philosophical Logic, and Set Theory. The Program Committee includes: S. Abramsky, K. Ambos-Spies, J. Bagaria (Chair), F. Ferreira, M. Goldstern, E. Grädel, E. Hrushovski, T. Hyttinen, Y. Moschovakis, M. Otero, S. Shapiro, I. Soskov, and W.H. Woodin. The Local Organizing Committee includes: D. Dobrev, D. Guelev, L. Ivanov, S. Nikolova, S. Passy, D. Shiyachki, A. Soskova (Chair), M. Soskova, M. Yanchev, and A. Zinoviev. For more information, visit the website below. 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 above). Abstracts---hard copy or email---should be received before the deadline of April 30, 2009 at the official meeting address: Logic Colloquium 2009, Department of Mathematical Logic, Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd., 1164 Sofia, Bulgaria; email: [email protected]. http://lc2009.fmi.uni-sofia.bg/ 2009-10 ASL Winter Meeting (with Joint Mathematics Meetings) San Francisco, California January 13--16, 2010 This meeting will take place in conjunction with the Joint Mathematics Meetings. The members of the Program Committee are M. Beeson, B. Kjos-Hanssen, and J. Steel (Chair). 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 above). Abstracts must be received by the deadline of September 11, 2009, 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]. 2010 ASL North American Annual Meeting Washington, D.C. March 17--20, 2010 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. Goodrick, V. Harizanov (Chair), and A. Kolesnikov. 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. The rules were recently revised and all authors who wish to submit abstracts are urged to consult the new rules. 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 ESI Workshop on Large Cardinals and Descriptive Set Theory Vienna, Austria June 14--27, 2009 This two-week event will take place at the Erwin Schroedinger Institute (ESI). The Program Committee includes: S. Friedman (Chair), M. Goldstern, R. Jensen, A. Kechris and W.H. Woodin. The emphasis in the first week will be on large cardinals, and in the second week on descriptive set theory. Note that this division is not strict, and all set-theorists are welcome to participate during either week. Funding is provided by the ESI, the Austrian Science Fund (FWF), and other sources. For more information, visit the website below. http://www.logic.univie.ac.at/conferences/2009_esi/} Sixteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2009) Tokyo, Japan June 21--24, 2009 This is the sixteenth in a series of annual international forums on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The Chair of the Program Committee is H. Ono. The Co-chairs of the Organizing Committee are M. Kanazawa and R. de Queiroz. For further information, visit the website below. http://wollic.org/wollic2009/ Eleventh Asian Logic Conference Singapore, Republic of Singapore June 22--27, 2009 This event honors Chitat Chong on the occasion of his sixtieth birthday. The invited speakers include: K. Ambos-Spies, T. Arai, B. Baizhanov, J. Baldwin, R. Downey, I. Farah, R. Jin, I.Sh. Kallimullin, P. Koellner, M. Lerman, M. Magidor, M. Rathjen, G. Sacks, S. Simpson, T. Slaman, F. Stephan, and W.H. Woodin. The Program Committee members are: R. Downey, Q. Feng (Chair), B. Kim, T. Slaman, A. Tsuboi, H. Woodin and Y. Yang. The members of the Local Organizing Committee are: Q. Feng, F. Stephan, G. Wu and Y. Yang (Chair). For further information, visit the website below. http://www.ims.nus.edu.sg/Programs/09asianlogic/index.htm Fourth Conference on Logic, Computability and Randomness Marseille, France June 29--July 3, 2009 This event, to be held at the International Center for Mathematical Meetings (CIRM), will focus on algorithmic randomness (Kolmogorov complexity) and its connections to classical computability and degrees, combinatorics, computable analysis (measures, martingales, Hausdorff dimension, etc.), computational complexity and pseudo-randomness, dynamical systems, and mathematical logic. The members of the Program Committee are: V. Becher, R. Downey, B. Durand, D. Hirschfeldt, W. Merkle, and A. Shen. The Local Organizing Committee includes: L. Bienvenu, B. Durand, and A. Shen. For further information, visit the website below. http://www.lif.univ-mrs.fr/lce/index.html Topology, Algebra and Categories in Logic (TACL'09) Amsterdam, The Netherlands July 7--11, 2009 This event will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. The invited speakers are: M. Hyland, A. Jung, V. Marra, P.-A. Mellies, I. Moerdijk, A. Pultr, L. Schroeder, K. Terui, and C. Tsinakis. The Program Chair is M. Gehrke, and the Co-chairs of the Local Organizing Committee are A. Palmigiano and Y. Venema. For more information, visit the website below. http://www.illc.uva.nl/tacl09 2009 Australasian Association for Logic Meeting Melbourne, Australia July 11--12, 2009 This annual event will follow the Australasian Association of Philosophy Conference, to be held in Melbourne on July 6--11, 2009. Abstracts should be sent to the conference organizer, R. Brady by mail to Philosophy Program, La Trobe University, Victoria 3086, Australia, or by e-mail to [email protected] by June 12, 2009. For more information, visit the website below. http://www.aalogic.org Computability in Europe 2009 (CiE 2009): Mathematical Theory and Computational Practice Heidelberg, Germany July 19--24, 2009 This event is the fifth in a series organized within the network "Computability in Europe'' (CiE). The particular focus of the event is on bridging the gap from the theoretical methods of mathematical and meta-mathematical flavor to the applied and industrial questions of computational practice. Tutorials will be offered by P. Pudlák and L. Trevisan. Invited speakers include: M. Agrawal, J. Avigad, P. Kolaitis, P. Koepke, A. Sorbi, R.D. Sorkin, and V. Vazirani. Special sessions are planned on Algorithmic Randomness, Computational Model Theory, Computation in Biological Systems, Optimization and Approximation, Philosophical and Mathematical Aspects of Hypercomputation, and Relative Computability. The Co-chairs of the Program Committee are K. Ambos-Spies and W. Merkle. For more information, visit the website below. http://www.math.uni-heidelberg.de/logic/cie2009/index.php European Science Foundation Research Conference in Model Theory Bedlewo, Poland August 9--14, 2009 This European Science Foundation event, in partnership with the European Mathematical Society and the European Research Centers on Mathematics, will be held at the Stefan Banach Mathematical Research and Conference Center and will cover all areas of model theory. The invited speakers include: M. Bays, J. Burdges, L. van den Dries, M. Edmundo, M. Gavrilovich, B. Hart, P. Hieronymi, E. Hrushovski, E. Jaligot, M. Kamensky, J. Kirby, K. Krupinski, C. Laskowski, F. Maalouf, J. Marikova, A. Onshuus, M. Otero, A. Pillay, T. Scanlon, T. Servi, K. Tent, G. Terzo, and A. Usvyatsov. The members of the Program Committee are: Z. Chatzidakis, L. Newelski (Chair), Y. Peterzil, and B. Zilber. The Organizing Committee includes: A. Iwanow, P. Kowalski (Chair), K. Krupinski, M. Petrykowski, and R. Wencel. For further information, visit the website below. http://www.esf.org/activities/esf-conferences/details/2009/confdetail305.html Twenty-fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009) Los Angeles, California August 11--14, 2009 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 2009 will be co-located with the Sixteenth International Static Analysis Symposium (SAS 2009). The LICS Program Chair is A. Pitts, the LICS General Chair is M. Abadi, and the LICS Conference Chair is J. Palsberg. For further information about LICS, visit the website below; for additional information about SAS 2009, visit http://sas09.cs.ucdavis.edu/. http://www2.informatik.hu-berlin.de/lics/lics09/index.html Eighteenth Annual Conference on Computer Science Logic (CSL 09) Coimbra, Portugal E September 7--11, 2009 This year the Conference is co-located with the Nineteenth International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009) and the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2009). The invited speakers include: M. Bojańczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth. The Co-chairs of the Program Committee are E. Grädel and R. Kahle. The Co-chairs of the Organizing Committee are A. Almeida, R.Kahle, and P. Quaresma. For more information, visit the website below. http://www.mat.uc.pt/~csl/ CALENDAR OF OTHER MEETINGS (Also see http://www.aslonline.org) Models, Logics and Higher-Dimensional Categories: A tribute to the work of Mihaly Makkai Montreal, Canada June 19--20, 2009 This event, to be held at Centre de Recherche Mathématique (CRM), will focus on traditional model theory, categorical model theory and logics, and higher-dimensional category theory, the main themes in Makkai's research career. Invited speakers include: M. Barr, V. Harnik, B. Hart, A. Joyal, H. Kierstead, J. Knight, F. Lamarche, J. Lambek, R. Paré, A. Pillay, G. Reyes, C. Steinhorn, and M. Zawadowski. The members of the Organizing Committee are: B. Hart, T. Kucera, P. Scott, and R. Seely. For further information, visit the website below, or contact P. Scott ([email protected]) or R. Seely ([email protected]). http://www.crm.umontreal.ca/Makkaifest09/index_e.php Groups and Models: Cherlin Bayrami Istanbul, Turkey June 8--12, 2009 This meeting is being held to honor Gregory Cherlin on the occasion of his sixtieth birthday. Its focus is on areas of logic and algebra related to Cherlin's work, including model theory, group theory and field theory. The invited speakers include: T. Altinel, J. Baldwin, A. Berkman, A. Borovik, J. Burdges, I. (Korchagina) Capdeboscq, Z. Chatzidakis, A. Deloro, R. Grigorchuk, E. Hrushovski, E. Jaligot, M. Jarden, A. Lubotzky, A. Macintyre, A. Ol'shanskii, B. Poizat, Z. Sela, A. Shalev, S. Thomas, P. Ugurlu, F. Wagner, C. Wood and S. Yalcinkaya. The members of the Program Committee are: A. Borovik, A. Nesin, and S. Thomas. The members of the Local Organizing Committee include: O. Belegradek, A. Berkman, Ö. Beyarslan, A. Nesin, D. Pierce, and E. Sengelen. For further information, visit the website below. http://www.math.rutgers.edu/~sthomas/Cherlin2009 Federated Conference on Rewriting, Deduction, and Programming RDP'09 Brasilia, Brazil June 28--July 3, 2009 This event comprises the Twentieth International Conference on Rewriting Techniques and Applications (RTA'09) and the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA'09). In addition, the School on Rewriting, Type Theory, and Applications will take place the week prior to RDP. The TLCA'09 Program Chair is P.-L. Curien and the RTA'09 Program Chair is R. Treinen. For further information, visit the website below. http://www.pps.jussieu.fr/~treinen/rdp09/cfwp.html Leeds Symposium on Proof Theory and Constructivism Leeds, England July 4--16, 2009 This two week symposium, to be held in the Research Visitors' Centre of the School of Mathematics at Leeds, comprises three connected events. The event begins on July 4--5 with an LMS-funded conference on Proofs and Computations, in honor of Stan Wainer on the occasion of his sixty-fifth birthday. The invited speakers are: W. Buchholz, E.A. Cichon, D. Normann, W.W. Tait, J.V. Tucker, and A. Weiermann. The Symposium continues on July 5--6 with a Gentzen Centenary Conference, funded by the Gödel Society, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory. The invited speakers include: M. Baaz, G. Mints, J. von Plato, W. Pohlers, H. Schwichtenberg, and G. Sundholm. The event concludes with an EPSRC-funded Research Workshop on Proof Theory and Constructivism on July 7--16. Though each day will begin with two plenary sessions, the emphasis will be on research activity within the following areas: constructive foundations, constructive methods in mathematic, ordinal analysis, and proof mining and complexity. The Symposium organizers are L. Crosilla, M. Rathjen, and S. Wainer. Limited support is available for younger researchers, who are encouraged to attend. For further information, visit the website below. http://www.personal.leeds.ac.uk/~matptw/index.html Second European Set Theory Meeting: in Honor of Ronald Jensen Bedlewo, Poland July 5--10, 2009 This European Science Foundation event, in partnership with the European Mathematical Society and the European Research Centers on Mathematics, will be held at the Stefan Banach Mathematical Research and Conference Center and will cover all areas of set theory and its applications. The invited speakers include: T. Banakh, T. Bartoszynski, J. Cummings, G. Debs, M. Dzamonja, I. Epstein, S. Friedman, M. Gitik, R. Jensen, I. Juhász, M. Kojman, M. Magidor, J. Moore, I. Neeman, J. Pawlikowski, D. Raghavan, G. Sargsyan, S. Solecki, J. Steel, S. Todorcevic, T. Tsankov, P. Welch, H. Woodin, J. Zapletal, and M. Zeeman. The Conference Chair is J. Väänänen. The Organizing Committee includes G. Plebanek, R. Schindler, and B. Velickovic. For further information, visit the website below. http://www.esf.org/conferences/09306 Twenty-first European Summer School in Logic, Language and Information (ESSLLI-2009) Bordeaux, France July 20--31, 2009 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. ESSLLI-2009 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2009 visit the webpage below; for further information about FoLLI, visit http://www.folli.org. http://esslli2009.labri.fr/ Sixteenth International Symposium on Temporal Representation and Reasoning (TIME 2009) Brixen-Bressanone, Italy July 23--25, 2009 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 General Chair of the symposium is D. Toman; the Program Committee Chairs are C. Lutz and J.-F. Raskin; and the Organization Chair is A. Artale. For further information, visit the website below. http://www.inf.unibz.it/krdb/events/time-2009/ Nineteenth International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009) Coimbra, Portugal September 7--11, 2009 This year, the Symposium is co-located with the ASL-sponsored EACSL Annual Conference on Computer Science Logic (CSL 2009; see above) and the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2009). The Program Chair is D. De Schreye and the Conference Chair is A. Almeida. The members of the Local Organizing Committee are A. Almeida, R. Kahle, and P. Quaresma. For further information, visit the website below. http://www.cs.kuleuven.be/conference/lopstr09/ OTHER ANNOUNCEMENTS (Also see http://www.aslonline.org) Call for Nominations: Editor-in-Chief of ACM Transactions on Computational Logic (ToCL) Nominations---including self nominations---are invited for the next Editor-in-Chief of ACM Transactions on Computational Logic (ToCL). The position is for a term of three years (renewable once), starting on July 1, 2009. Candidates should be well-established researchers in areas related to computational logic, broadly conceived, and should have sufficient experience serving on conference program committees and journal editorial boards. Nominations, including a current curriculum vita and a brief (one page) statement of vision for ToCL, should be sent to J. Halpern ([email protected]), by May 1, 2009. Final selection will be made by a Selection Committee, consisting of J. Halpern (Chair, K. Apt, P. Panangaden, and G. Plotkin. Nominations received after May 1, 2009, will be considered up until the position is filled. For more information about ToCL, visit the website below. http://www.acm.org/pubs/tocl/ The next Newsletter will be sent in September, 2009. Items to be included should reach the Secretary-Treasurer before August 15, 2009. -- Association for Symbolic Logic Box 742 Vassar College 124 Raymond Avenue Poughkeepsie, NY 12604, USA Fax: 845-437-7830 [email protected] WWW: aslonline.org _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
