3RD LOGIC PROGRAMMING AND NON-MONOTONIC REASONING CONFERENCE June 26-28, 1995, Lexington, KY, USA * Topics. Semantics for logic programs, default logic and its versions, modal non-monotonic logics, non-monotonic rule systems, abduction, diagnosis, non-monotonic reasoning in databases, theory of updates and belief revision, constraint satisfaction, algorithms and complexity, implementations and applications. * General Co-Chairs. Victor Marek and Miroslaw Truszczynski, Department of Computer Science, University of Kentucky, Lexington, KY 40506, USA. E-mail: marek@ms.uky.edu, mirek@ms.uky.edu. Tel: +1-606-257-3961. Fax: +1-606-323-1971. * Program Chair. Anil Nerode, Mathematical Sciences Institute, Cornell University, 407 College Ave., Ithaca, NY 14850, USA, e-mail: nerode@msiadmin.cit.cornell.edu, tel: +1-607-255-7752, fax: +1-607-255-9003. * Program Committee. Krzysztof Apt, Howard Blair, Pham Minh Dung, Michael Gelfond, Georg Gottlob, Anthony Kakas, Vladimir Lifschitz, Victor Marek, Anil Nerode, Luis Pereira, Teodor Przymusinski, Yehoshua Sagiv, V.S. Subrahmanian, Miroslaw Truszczynski, David Warren. * Submissions. Send four copies (double-spaced, 12 point font) of a full paper of 20 pages or less to Program Chair. FUNDAMENTALS OF COMPUTATION THEORY (FCT'95) August 22--25, 1995, Dresden, Germany. * Ftp. LaTeX and other versions of this Call for Papers are available via ftp here. * Topics. Algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, foundations of system specifications, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, semantics. * Invited Speakers. Preliminary list: L. Lovasz, S. Abramsky, L. Babai. * Minisymposium. "Specification of time-critical systems", one day, at the end of FCT'95. Invited speakers (preliminary list): M.Abadi, J.Bergstra, M.Broy, Z.Chaochen. * Conference Chairman. Horst Reichel. * Program Committee. J. Balcazar, R.G. Bukharajev, Z. Esik, J. Gruska, T. Hagerup, H. Juergensen, M. Main, U. Montanari, E.-R. Olderog, T. Ottmann, G. Paun, H. Reichel, A. Slissenko, J. Tiuryn, P. Vitanyi, I. Wegener, P. Widmayer. * Submissions. Authors are invited to submit five copies of a draft paper to the Conference Chairman by December 19, 1994. * Correspondence. H. Reichel (FCT'95), Institut fuer Theoretische Informatik, Fakultaet Informatik, TU Dresden, Mommsenstr. 13, D-01062 Dresden, Germany. e-mail: reichel@tcs.inf.tu-dresden.de. Tel: +49-351-4575-548. Fax: +49-351-4575-348. SIXTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR '95) August 21-24, 1995, Philadelphia, Pennsylvania, USA. * Ftp, WWW. Plain text, dvi, and postscript versions of this Call For Papers as well as latest information on CONCUR '95 can be obtained electronically. E-mail: concur95@cis.upenn.edu. Ftp: cis.upenn.edu (158.130.12.3) -- pub/concur95. WWW: here. * Topics. Submissions are invited in all areas of semantics, logics, and verification techniques for concurrent systems. Potential topics include, but are not limited to, process algebras, Petri nets, true concurrency, shared-memory and message-passing formalisms, operational and denotational models, programming language semantics, probabilistic and real-time processes, hybrid systems, concurrent logic and constraint programming, fairness, temporal logics, compositional analysis techniques, and verification tools. * Submissions. Uuencoded dvi or postscript files should be e-mailed by March 1, 1995, to concur95-submit@cs.sunysb.edu. When electronic submission is not possible (due, e.g., to lack of internet access), five (5) hardcopies of the paper should be sent to CONCUR '95, Attn: Scott Smolka, Dept. of Computer Science, SUNY at Stony Brook, Stony Brook, NY 11794-4400, USA. telephone: +1 516 632 8453. fax: +1 516 632 8334. Submissions should contain a draft of a full paper of no more than 15 typed pages, accompanied by a one-page abstract. * Program Committee. B. Bloom, R. Cleaveland, P. Degano, R. van Glabbeek, R. Gerth, S. Graf, J.F. Groote, C. Heitmeyer, T. Henzinger, L. Jategaonkar Jagadeesan, A. Jeffrey, I. Lee, co-chair, J. Parrow, A. Rabinovitch, D. Sangiorgi, S. Schneider, A. Skou, S. Smolka, co-chair, E. Stark, B. Thomsen, M. Young. STEPHEN COLE KLEENE MEMORIAL FUND Stephen Cole Kleene, emeritus professor at the University of Wisconsin-Madison died on January 25, 1994. He was world-renowned for his work in logic, particularly as the founder of recursion theory. He was elected to the National Academy of Science in 1969; was awarded the American Mathematical Society Steele Prize in 1983 for his seminal papers of 1955 on recursion theory and descriptive set theory; and and in 1990 won the National Medal of Science, the country's highest scientific honour. Kleene was born in 1909 in Hartford Connecticut, received a Bachelor of Arts degree from Amherst in 1930, and a Ph.D. from Princeton in 1934 under the tutelage of Alonzo Church. Kleene first came to Madison in 1935 as an instructor and in 1937 was promoted to assistant professor. During the next several years he spent time at the Institute for Advanced Study in Princeton, taught at Amherst College, and served in the U. S. Navy, earning the rank of lieutenant commander during World War II. He returned to Madison in 1946, was promoted to full professor in 1948, and remained on the faculty for the remainder of his career. He became the C.C. MacDuffee Professor in 1964. He built a widely accclaimed logic group in the Mathematics Department, and served as chair of the Mathematics and Numerical Analysis (now Computer Science) departments. He also served as the Dean of the College of Letters and Science during the years 1969 to 1974. The Mathematics Department has established a Stephen Cole Kleene Memorial Fund in his honor. It is planned to have an invited Kleene Lecture approximately once a year and to sponsor other activities which Professor Kleene supported, such as scholarships and travel grants for graduate students. His colleagues in the Mathematics Department welcome your support in this endeavor and the support of your employer, should it have a policy of matching funds. * Contributions. Contributions can be sent to Stephen Cole Kleene Memorial Fund, UW Foundation, 1848 University Ave., Madison, WI 53705. SYMPOSIUM: THE INFLUENCE OF AUTOMATH October 6, 1994, Eindhoven University of Technology, Netherlands At the occasion of the publication of the book 'Selected Papers on Automath' (Studies in Logic and the Foundations of Mathematics, North-Holland, eds. R.P. Nederpelt, J.H. Geuvers and R.C. de Vrijer), there will be a symposium at the Van Trierzaal, Bestuursgebouw, Eindhoven University of Technology, on October 6, 1994. * Program. H.P. Barendregt: 'Two level reasoning for lean proof checking' . G. Huet: 'Proof engine design'. R.L. Constable: 'The influence of Automath on Nuprl'(preliminary title). Presentation of the book 'Selected Papers on Automath' to N.G. de Bruijn, followed by a reception. * Participation. Participation is free and registration is not necessary. Lunch reservations can be made to mrs. A. Bouten, tel. (0)40-474124, e-mail wsinti@win.tue.nl, Wsk&I, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, the Netherlands. * Organizing Committee. Herman Geuvers, Rob Nederpelt (Eindhoven University of Technology).