The first summer school in Constraint and Logic Programming will be held on the campus of New Mexico State University, Las Cruces, NM. The summer school is meant for students, researchers, and programmers interested in constraint and logic programming and its applications. The lectures will be given by internationally renowned researchers who have made significant contributions to logic programming. The summer school is a good opportunity for quickly acquiring background knowledge on important areas of constraints and logic programming. The summer school is especially directed to Ph.D. students who are just about to start research in the area of logic programming, constraints, and computational logic in general. Undergraduates in their senior year are also strongly encouraged to attend.
The summer school will consist of 1 day tutorials on each of the following topics (short biographies of lecturers are included at the end):
Each summer school participant will receive the ALS Prolog System environment CD, free of charge, courtesy of ALS, Inc. Copies of and the BinNet Internet Toolkit (along with Jinni Mobile Agent Library and BinProlog), that will be used in the "(Constraint) Logic Programming and the Internet" Class, will also be given free to the participants (thanks to the BinNet Corporation).
SCHOLARSHIPS: Scholarships (about 20 to 25 in number) are available
for students to attend the summer school. A scholarship will cover all
of your local expenses (boarding, lodging, and transportation within Las
Cruces) for up to 7 days. However, you will be responsible for your transportation
expenses to and from Las Cruces. Students studying in Universities in USA
will have their transportation expenses covered as well.
To apply for the scholarship:
please fill out the SCHOLARSHIP
APPLICATION FORM and send it to firstname.lastname@example.org by June 20th. You
will be notified by June 30th if you received the scholarship. Please also
have your research advisor send a letter of recommendation emailed separately
to email@example.com by June 20th. You also need to provide a proof of
your student status. This proof could consist of copy of your student id
card, or a letter from your department or advisor stating that you are
a full-time student. For scholarship winners, all boarding and lodging
arrangements will be made by the organizers.
BRIEF BIOGRAPHIES OF LECTURERS
Michael Gelfond: received his PhD from the Institute of Mathematics of the Academy of Sciences, St. Petersburg, in 1974. He is currently a professor of Computer Science at the University of Texas at El Paso. His interests are primarily in the areas of Artificial Intelligence and Logic Programming. Dr. Gelfond serves as (i) an area editor for the International Journal of Logic Programming (ii) the executive editor of the Journal of Logic and Computation, and (iii) a member of editorial board of the Journal of Experimental and Theoretical Artificial Intelligence. He has also served as member of the program and/or organizing committees for many AI and Logic Programming related conferences and workshops.
Gopal Gupta: got his PhD from the University of North Carolina at Chapel Hill in 1991. From 1989 to 1991, he worked with the research group of David H.D. Warren at the University of Bristol as a Research Associate. Since 1992 he has been at New Mexico State University, where he is currently an Associate Professor. He founded the Laboratory for Logic, Databases, and Advanced Programming at NMSU in 1994, which he has directed since then. He has published more than 60 papers in areas of parallel implementation of logic programming systems, programming languages, and parallel processing. He is also the co-founder and co-coordinator of COMPULOG Americas, a network of research groups dedicated to promoting LP and CLP. He has served in the program committees of several logic programming conferences and also serves in the editorial board of the Journal of Logic Programming. He also serves as the Conference Chair of the 16th International Conference on Logic Programming. Together with Enrico Pontelli, he has been involved in the design and development of the ACE parallel logic programming system.
Enrico Pontelli: currently works as an Assistant Professor in the Department of Computer Science of New Mexico State University, where he also serves as Associate Director of the Laboratory for Logic, Databases, and Advanced Programming. His interests are in the theoretical and practical aspects of parallel execution of logic and constraint programming languages. He has also performed research on programming with sets and Internet computing. He received his Laurea in Computer Science from the University of Udine in 1991, his M. Sc. in Computer Science from the University of Houston in 1992, and his Ph.D. in Computer Science from New Mexico State University in 1997. He has published more than 30 research papers. Together with Gopal Gupta, he has been involved in the design, development, and implementation of the ACE parallel logic programming system.
C.R. Ramakrishnan: is an Assistant Professor of Computer Science at SUNY Stony Brook. He received his PhD from Stony Brook in 1995. His research interests include verification of concurrent systems, workflow systems, program analysis, and logic programming. Along with I.V. Ramakrishnan, Scott Smolka and David Warren, he coordinates the 15-member LMC group at Stony Brook doing research on model checking based on logic programming. He has given a number of lectures on logic programming-based model checking, including a series at the 1998 GULP Summer School in Acquafredda, Italy.
Helmut Simonis: studied Mathematics and Computer Science at the Technische Hochschule Darmstadt in Germany. After receiving his diploma, he joined the European Computer-Industry Research Center (ECRC), the Mecca of constraint logic programming in the 80s and early 90s, in January 1986. He is one of the main designers and developers of the CHIP (Constraint Handling in Prolog) system. During this time, he also began working on applications of constraint logic programming technology, especially in the area of circuit design, following his theoretical work on Boolean unification. Since 1990 he has been working as technical director of COSYTEC, a company that markets the CHIP system as well as undertakes industrial projects involving constraint solving. At COSYTEC he is responsible for both the further development of the CHIP system as well as application development. Helmut Simonis has published around 25 papers in international journals and conferences on both theoretical and practical aspects of constraint logic programming. He has given numerous tutorials and industrial presentations of the constraint programming technology at various forums (technical conferences, industrial houses, etc.).
Paul Tarau: is an Associate Professor of Computer Science at the University of North Texas and President of BinNet Corporation (http://www.binnetcorp.com). He holds a PhD from the University of Montreal (1990). His research interests include Java and Prolog based Implementation Technologies for Intelligent Mobile Agents, Compilers and Abstract Machines, Distributed Logic Programming, Agent Coordination Protocols, Internet Programming, Natural Language Processing. Paul Tarau is also the author of a number of large scale software systems, like the popular BinProlog compiler and the Jinni Intelligent Mobile Agent library. He has served as program committee member on international conferences including JICSLP96, ILPS97, JICSLP98, WETICE98, and is currently serving a 3 year term on the Canadian NSERC Computer Science research grant committee.
Terrance Swift: is one of the original designers and developers of the XSB system, which implements tabled logic programming. He is the author of over 30 publications on logic programming implementation, semantics and applications, and a recipient of an NSF career development award on tabled logic programming. Currently he is a research assistant professor of computer science at SUNY Stony Brook and a founder of XSB Inc, a private company that develops applications of tabled logic programming.
David Scott Warren: received his PhD in Computer Science from the University of Michigan in 1979. He then joined the faculty at the University at Stony Brook where he is currently Professor of Computer Science, and chairman of the Computer Science Department. He has more than 60 publications in the area of Logic Programming, is co-author of a major book on LP, and has advised 16 students who have completed their PhD degrees. He is currently the Past President of the Association for Logic Programming, an international professional organization of approximately 500 members. For the past 10 years he has led the XSB project, which has explored the issues of tabling in logic programming and has produced full implementation of Prolog that includes complete tabling facilities. The XSB system is freely available and has been taken and installed at more than 700 sites. It is currently being used extensively in the areas of Model Checking, Program Analysis, Knowledge Representation, and Non-monotonic Reasoning.
Manuel V. Hermengildo:
Manuel Hermenegildo received his Ph.D. degrees in Computer Engineering
from the University of Texas at Austin. He is currently Professor of
Computer Science at the Technical University of Madrid (UPM). He is
area editor of Journal of Logic Programming and editorial advisor of
the Journal of New Generation Computing. He has served as program
(co-)chair of NACLP'90, PLILP'94 and '95, and EuroPar'97 and on the
program committees of numerous conferences, including POPL, ICLP,
ILPS, and CP. Previously he was project leader at MCC and Adjunct
Professor at the CS Department of the University of Texas at Austin.
His research interests include advanced compilation techniques,
parallelizing compilers, high-performance and distributed computing,
concurrent and constraint logic programming, program execution
visualization, and parallel computer architecture. He currently leads
the Computational Logic, Implementation, and Parallelism group which
has developed several software systems including &-Prolog,
CasLog/GraCOS, PLAI, VisAndOr, PiLLoW, and CIAO. CIAO is a freely
available, next-generation LP system which includes, among many other
facilities, a preprocessor based on abstract interpretation.