11.456, Calls: Teaching Spanish, Computational Logic
The LINGUIST Network
linguist at linguistlist.org
Sat Mar 4 00:55:02 UTC 2000
LINGUIST List: Vol-11-456. Fri Mar 3 2000. ISSN: 1068-4875.
Subject: 11.456, Calls: Teaching Spanish, Computational Logic
Moderators: Anthony Rodrigues Aristar: Wayne State U.<aristar at linguistlist.org>
Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Associate Editors: Martin Jacobsen <marty at linguistlist.org>
Ljuba Veselinova <ljuba at linguistlist.org>
Scott Fults <scott at linguistlist.org>
Jody Huellmantel <jody at linguistlist.org>
Karen Milligan <karen at linguistlist.org>
Assistant Editors: Lydia Grebenyova <lydia at linguistlist.org>
Naomi Ogasawara <naomi at linguistlist.org>
James Yuells <james at linguistlist.org>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Sudheendra Adiga <sudhi at linguistlist.org>
Qian Liao <qian at linguistlist.org>
Home Page: http://linguistlist.org/
Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
==========================================================================
As a matter of policy, LINGUIST discourages the use of abbreviations
or acronyms in conference announcements unless they are explained in
the text.
=================================Directory=================================
1)
Date: Thu, 2 Mar 2000 22:23:45 -0700
From: "Patricia MacGregor-Mendoza" <pmacgreg at nmsu.edu>
Subject: Conference on Teaching Spanish to Native Speakers
2)
Date: Fri, 3 Mar 2000 09:29:31 +0100 (MET)
From: "F. van Raamsdonk" <femke at skiff.cs.vu.nl>
Subject: 10th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)
-------------------------------- Message 1 -------------------------------
Date: Thu, 2 Mar 2000 22:23:45 -0700
From: "Patricia MacGregor-Mendoza" <pmacgreg at nmsu.edu>
Subject: Conference on Teaching Spanish to Native Speakers
Call for Papers
SNS 6
Sixth Annual Conference on Teaching Spanish to Native Speakers
June 16-18, 2000
Las Cruces, New Mexico
Presentations: Submissions are being sought for 30-minute paper sessions
(20 minutes presentation 10 minutes discussion) and 2-hour workshop sessions
(1.5 hours presentation, .5 hour discussion). Topics may be drawn from any
discipline, but should be broadly related to advancing knowledge of this
growing field by identifying the unique social or linguistic characteristics
of Native Spanish Speakers (e.g. issues in identity, social history,
dialect, proficiency, etc.), developing pedagogical theory and/or
implementing pedagogical techniques that address the specific needs of
Spanish speakers.
Submission Guidelines: To propose either a paper or a workshop, submit two
copies of a one-page anonymous abstract which includes the title and
outlines the focus of the paper or workshop and the audience for which your
presentation is intended (elementary, secondary, post-secondary, adult
education, community). At the top of the abstract indicate the forum for
your presentation as either "Paper" or "Workshop". Submit a separate page
which includes the presentation forum (paper or workshop), presentation
title, name, affiliation, address, phone and e-mail of all presenters.
Please also indicate any special audio-visual needs required for the
presentation on this page. (Forms follow this announcement for ease of
submission.)
Mail, fax or e-mail the information requested in the submission guidelines
to the Conference Co-Chairs below by the deadline of April 17, 2000.
Cecilia Pino and Patricia MacGregor-Mendoza, Conference Co-Chairs
Sixth Annual Spanish for Native Speakers Conference
Department of Languages and Linguistics
New Mexico State University,
Box 30001, Dept. 3L, Las Cruces, NM 88003 USA
Fax: (505) 646-7876
E-mail: pmacgreg at nmsu.edu
Registration Fee
On or Before May 1, 2000 After May 1, 2000
Students $35 $50
Others $45 $60
Keynote Luncheon $15 $15
Transportation and Lodging information will be available by March 31, 2000.
* * * * * * * * * * * *
SNS 6
Sixth Annual Conference on Teaching Spanish to Native Speakers
June 16-18, 2000
Las Cruces, New México
Abstract Submission Form
Presentation Type (Please select one): Paper________ Workshop_______
Title of Presentation:
Appropriate for what audience?:
primary secondary post-secondary adult ed community ALL
Abstract:
Please submit TWO copies of this form by April 17, 2000.
* * * * * * * * * * * * * * * * * * *
SNS 6
Sixth Annual Conference on Teaching Spanish to Native
Speakers
June 16-18, 2000
Las Cruces, New Mexico
Personal Data of Presenter(s)
Presentation Type (Please select one): Paper________ Workshop_______
Title of Presentation:
Audio Visual Equipment: Microphones, overhead projectors and screens will
be available for all presentations. If you need additional A-V equipment,
we will attempt to accommodate your needs as best we can. Please indicate
below what other tools you need (Please select all that apply):
______TV/VCR ______Cassette Player _______CD Player
______InFocus Projector* _______Internet connection* _______Other (Please
specify)
----------------------------------------------------
*Presenters requesting these items are responsible for supplying their own
computer hardware and software and for ensuring that their systems are
compatible with the equipment requested.
Name ___________________________________________________________
Position Title_____________________________________________________
School/Institution__________________________________________________
Address__________________________________________________________
__________________________________________________________
City ___________________________ State _______ Zip__________
Work Phone: ( ) _____________________
Home Phone: ( ) _____________________
Fax: ( ) _____________________
E-mail Address: _____________________
Please submit only ONE copy of this form for each presenter by
April 17, 2000.
Dr. Patricia MacGregor-Mendoza
Assistant Professor of Spanish and Linguistics
Department of Languages and Linguistics
New Mexico State University
Box 30001, MSC 3L
Las Cruces, NM 88003
Ph: 505-646-1430
Dr. Patricia MacGregor-Mendoza
Assistant Professor of Spanish and Linguistics
Department of Languages and Linguistics
New Mexico State University
Box 30001, MSC 3L
Las Cruces, NM 88003
Ph: 505-646-1430
Fax: 505-646-7876
-------------------------------- Message 2 -------------------------------
Date: Fri, 3 Mar 2000 09:29:31 +0100 (MET)
From: "F. van Raamsdonk" <femke at skiff.cs.vu.nl>
Subject: 10th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)
First Call for Papers
---------------------
LOPSTR 2000
Tenth International Workshop on
Logic-based Program Synthesis and Transformation
Program Development Stream of CL 2000
First International Conference on Computational Logic
24-28 July 2000
Imperial College, London, UK
http://www.cs.man.ac.uk/~kung-kiu/lopstr2000
LOPSTR 2000, The Tenth International Workshop on Logic-based Program
Synthesis and Transformation will be held on 24-28 July 2000 at
Imperial College, London, UK, as the Program Development Stream at
CL2000, the First International Conference on Computational Logic.
The aim of LOPSTR ( http://www.cs.man.ac.uk/~kung-kiu/lopstr ) is to
stimulate and promote international research and collaboration on
logic-based program development, and the workshop is open to
contributions in logic-based program development in any paradigm. Past
workshops were held in Manchester, UK (1991, 1992, 1998),
Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the
Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997),
Venice, Italy (1999).
LOPSTR also aims to be a lively, friendly forum for presenting and
discussing work in progress, so it is a real workshop in the sense
that it is intended to provide useful feedback to authors on their
preliminary research. Formal proceedings of the workshop are produced
only after the workshop, in order that authors can incorporate this
feedback in the published papers.
LOPSTR 2000 will be run as follows:
- Authors submit extended abstracts (8 pages) describing work in progress.
- Promising abstracts relevant to the scope of LOPSTR are selected
for presentation at the workshop.
- At the workshop, only informal pre-proceedings of the selected
abstracts are available (usually in the form of a technical report).
- After the workshop, authors of the best abstracts are invited to
submit full papers. These are reviewed, and accepted papers then
form the formal (fully refereed) proceedings of the workshop,
currently published in the Lecture Notes in Computer Science series,
by Springer-Verlag.
Topics
------
We solicit extended abstracts describing work in progress. Topics of
interest cover all aspects of logic-based program development, all
stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large.
For programming-in-the-small, the following is a non-exhaustive list:
- specification - analysis
- synthesis - optimisation
- verification - composition
- transformation - reuse
- specialisation - applications
For programming-in-the-large, the above topics are particularly of
current interest in the context of:
- component-based software development
- software architectures
- design patterns and frameworks.
Submission Guidelines
---------------------
Extended abstracts should be written in English and should not exceed
8 pages in llncs format http://www.springer.de/comp/lncs/authors.html
Abstracts must be submitted electronically using the submission form
http://www.cs.man.ac.uk/~kung-kiu/lopstr2000/subm
Submission deadline: 21 April 2000
Notification: 26 May 2000
Programme Chair
---------------
Kung-Kiu Lau, Manchester, UK
Programme Committee
-------------------
David Basin Freiburg, Germany
Annalisa Bossi Venice, Italy
Antonio Brogi Pisa, Italy
Maurice Bruynooghe Leuven, Belgium
Mireille Ducasse IRISA/INSA, France
Sandro Etalle Maastricht, The Netherlands
Pierre Flener Uppsala, Sweden
Michael Hanus Kiel, Germany
Ian Hayes Queensland, Australia
Manuel Hermenegildo Madrid, Spain
Patricia Hill Leeds, UK
Kung-Kiu Lau Manchester, UK
Baudouin Le Charlier Namur, Belgium
Michael Leuschel Southampton, UK
Michael Lowry NASA Ames, USA
Ali Mili West Virginia, USA
Torben Mogensen Copenhagen, Denmark
Alberto Pettorossi Rome, Italy
Don Sannella Edinburgh, UK
Doug Smith Kestrel Institute, USA
Zoltan Somogyi Melbourne, Australia
CL 2000
-------
As the Program Development Stream at CL2000, LOPSTR 2000 will also
include CL 2000 full papers on program development (the submission
deadline for these is past), and LOPSTR 2000 participants will be
able to attend all CL 2000 sessions.
CL 2000 Invited Speakers
------------------------
Keynote Speaker: J. Alan Robinson
Invited Speakers: Krzysztof Apt
Melvin Fitting
David Page
David Poole
Leslie Valiant
(plus 2 more to be advised)
Tutorial Speakers:
Peter Flach
"Knowledge Representation for Inductive Logic Programming"
Michael Hanus
"Functional Logic Programming"
Manuel Hermenegildo
"Ciao Development System"
Michael Kohlhase
"Deduction in Natural Language Understanding"
Aart Middeldorp
"Term Rewriting and Narrowing"
Stephen Muggleton
"Applications of Inductive Logic Programming"
Ilkka Niemela
"Stable Model Semantics: From Theory to Implementations and Applications"
Andreas Podelski
"Constraints for Program Analysis and Model Checking"
Vitor Santos Costa
"High Performance Logic Programming Systems"
Pascal Van Hentenryck
"Optimization Programming Language"
Toby Walsh
"Phase Transition Behaviour"
Michael Wooldridge
"The Logic of Rational Agency"
---------------------------------------------------------------------------
LINGUIST List: Vol-11-456
More information about the LINGUIST
mailing list