headers
Manuel Hermenegildo | 5 Aug 2002 17:39
Picon
Picon

SAS'02 Call for Participation -- Early Registration: * August 15 *


[ CALL FOR PARTICIPATION REMINDER: Early Registration: * August 15 * ]

--------------------------------------------------------------------------

                        CALL FOR PARTICIPATION
                                SAS'02
           The 9th International Static Analysis Symposium
                            Madrid, Spain
                        17 - 20 September 2002

--------------------------------------------------------------------------
             On-line Registration and Hotel Reservations:
                   http://clip.dia.fi.upm.es/SAS02/
           Early registration date is ** August 15, 2002 **
--------------------------------------------------------------------------
  SAS'02 is Organized by: 
  Department of Computer Science, Technical University of Madrid

----------------------------------------------------------------------

The Ninth International Static Analysis Symposium (SAS'02) will be
held at the Technical University of Madrid (UPM), co-located with
Logic-based Program Development and Transformation (LOPSTR'02), the
APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02),
and a number of workshops.

Static Analysis is increasingly recognized as a fundamental tool for
high performance implementations and verification systems of
high-level programming languages.  The series of Static Analysis
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gail Pieper | 5 Aug 2002 22:20
Favicon

Special issue of Journal of Automated Reasoning

Since the advent of type inference in ML, there has been an intimate
connection between algorithms for types checking and type inference
and automated deduction algorithms. Further, the implementation
of logic programming languages use automated deduction algorithms.

The following call requests papers relating automated deduction algorithms
(which could be used in the context of programming language implementation)
and education.

                               Call for Papers

                Special Issue of the Journal of Automated Reasoning

            Automated Reasoning and Theorem Proving in Education
                                  (ARTE) 

                                Editor:

                              Deepak Kapur
                        University of New Mexico

During the past ten years, theorem proving has been playing
an increasingly important role in education.
One reason is the improvement in the "friendliness" of theorem provers;
many are now suitable for the nonspecialist and produce quite readable proofs.
Another is their demonstrated success in solving 
not only "toy" problems but previously open questions in mathematics and logic.
In light of these developments, we plan a special issue of
the Journal of Automated Reasoning, ARTE, on
the use of theorem provers in education at all levels.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Iavor S. Diatchki | 6 Aug 2002 00:48
Picon

ICFP programming contest 2002 announcement

              The Fifth Annual

           ICFP PROGRAMMING CONTEST

        August 30 - September 2, 2002

        http://icfpcontest.cse.ogi.edu/

Convinced your favorite programming language provides unbeatable
productivity?  Convinced you and your friends are world-class programmers?

If so, we're providing you the opportunity to prove it! We are pleased
to announce the Fifth Annual ICFP Programming Contest to be held in
conjunction with the 2002 International Conference on Functional
Programming (ICFP 2002). All programmers are invited to enter the
contest, either individually or in teams; we especially encourage
students to enter.  You may use any programming language (or
combination of languages) to show your skill.

On Friday, August 30, 2002 at 12:00 Noon (PDT), we will publish a 
challenge task on the Web site and by e-mail to registered participants. 
  Teams will have until Monday, 02 September 2002, 12:00 Noon (PDT) (72 
hours) to implement a program to perform this task and submit it to the 
contest judges.  We've designed the contest for direct, head-to-head
comparison of language technology and programming skill.  We have a
range of prizes for the winners: cash awards, special student prizes,
and, of course, unlimited bragging rights.

For more information about the contest, prizes, and registration,
point your browser to:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Constraint Programming 2002 | 7 Aug 2002 14:04
Picon
Favicon

Important Deadline Information Regarding CP 02 Hotel Reservations!


The CP02 group block of rooms at the Holiday Inn will only be available 
through August 12.  Please make your hotel reservations immediately to
ensure availability.  See the web site for Holiday Inn contact 
information.

Thanks,
Ramon
Permalink | Reply | 0 comments |
headers
Mitchell Wand | 8 Aug 2002 01:58
Favicon

Dijkstra

> Return-Path: <emerson@...>
> Delivered-To: attie@...
> From: "E. Allen Emerson" <emerson@...>
> Date: Tue, 6 Aug 2002 20:06:09 -0500
> X-Mailer: Mail User's Shell (7.2.6 beta(3) 11/17/96)
> To: attie@..., kedar <at> research.bell-labs.com, sistla <at> cs.uic.edu
> Subject: Dijkstra
> Cc: emerson@...

> died at 11pm 6 Aug in Neunen. He just stopped breathing. His family was
> with him.

> Allen

See http://www.cs.utexas.edu/users/UTCS/notices/dijkstra/ewdobit.html
for more details.

--Mitch
Permalink | Reply | 0 comments |
headers
Mitchell Wand | 12 Aug 2002 13:37
Favicon

Kristin Nygaard

    Date: Sun, 11 Aug 2002 05:17 EDT
    From: Ole Lehrmann Madsen <ole.l.madsen@...>
    Organization: Aarhus University
    Subject: Kristen Nygaard

    Dear friends of Kristen,

    I am sorry to inform you that my good friend and collaborator
    Kristen Nygaard suddenly died the night before Saturday.

    Kristen was very active to the last minute and as you may know
    he had just got funding for his new ambitious COOL-project.

    Some of you enjoyed his great dinner speach at ECOOP in Malaga
    in June. Later in June he was in Aarhus giving a keynote speach
    at ITiCSE 2002 and we had the usual highly interesting discussions
    with him. It is a great loss that he is no longer with us
    and for me and my family he has been a close friend for almost 30
    years. My wife Marianne and I had the pleasure of spending some good
    days with Johanna and Kristen in Malaga. We will always remember
    Kristen for his good friendship and inspiration.

    --Ole Lehrmann Madsen

    PS. Kristen had a large network of friends all over the world.
    I have sent this mail to people I could find on recent mails
    from Kristen. Please forward this mail to those who should
    be informed and my apology to those I may have forgotten.

    ---------------------------------------------------------------
(Continue reading)

Permalink | Reply | 0 comments |
headers
ghelli | 13 Aug 2002 18:12
Picon
Picon

FOOL'03: Call for Papers


                          Call for Papers

                 The Tenth International Workshop on
               Foundations of Object-Oriented Languages

                               FOOL 10

                      Sponsored by ACM SIGPLAN

                          January 18, 2003
                        New Orleans, Louisiana
                         Following POPL '03

             http://tql.di.unipi.it/fool10/fool10.htm

Deadlines

                Submissions: September 30, 2002 
                Notifications: November 15, 2002 
                Final versions: December 12, 2002

The search for sound principles for object-oriented languages has
given rise to much work on the theory of programming languages during
the past 15 years, leading to a better understanding of the key
concepts of object-oriented languages and to important developments in
type theory, semantics, and program verification. The FOOL workshops
bring together researchers to share new ideas and results in these
areas. The next workshop, FOOL 10, will be held in New Orleans,
Louisiana, on Saturday January 18, 2003, the day after POPL '03.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Nicola Santoro | 18 Aug 2002 17:02
Picon
Picon
Favicon

TCS 2002 - Final Program


          2nd IFIP Conference on Theoretical Computer Science

                FOUNDATIONS OF INFORMATION TECHNOLOGY
            IN THE ERA OF NETWORK AND MOBILE COMPUTING

                               (TCS 2002)
                     Montreal, August 26-30, 2002

                             Sponsored by IFIP
                  in cooperation with EATCS and ACM SIGACT

                          held in conjunction with
                     17th IFIP WORLD COMPUTER CONGRESS

       FINAL PROGRAM: www.scs.carleton.ca/~santoro/FinalProgram.html
Permalink | Reply | 0 comments |
headers
Andrei Sabelfeld | 19 Aug 2002 23:39
Picon
Favicon

Paper announcement: Language-Based Information-Flow Security

We would like to announce the availability of a survey paper on
language-based techniques for the specification and enforcement
of confidentiality properties. The paper is to appear in IEEE
Journal on Selected Areas in Communication.

             Language-Based Information-Flow Security

             Andrei Sabelfeld         Andrew C. Myers

   Current standard security practices do not provide substantial
   assurance that the end-to-end behavior of a computing system
   satisfies important security policies such as confidentiality.  An
   end-to-end confidentiality policy might assert that secret input
   data cannot be inferred by an attacker through the attacker's
   observations of system output; this policy regulates information
   flow.

   Conventional security mechanisms such as access control and
   encryption do not directly address the enforcement of
   information-flow policies. Recently, a promising new approach has
   been developed: the use of programming-language techniques for
   specifying and enforcing information-flow policies.  In this article
   we survey the past three decades of research on information-flow
   security, particularly focusing on work that uses static program
   analysis to enforce information-flow policies.  We give a structured
   view of recent work in the area and identify some important open
   challenges.

   Keywords: Computer security, confidentiality, information flow,
   noninterference, security-type systems, covert channels,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Juha-Pekka Tolvanen | 20 Aug 2002 13:29
Favicon

CfP: 2nd Workshop on Domain-Specific Visual Languages, OOPSLA

---------------------------------------------------------------------------
Please note that we had to change dates as a reaction of a change in OOPSLA
dates. Notification of acceptance will be sent by September 23, prior to 
the OOPSLA advanced registration deadline.
---------------------------------------------------------------------------

                       C A L L   F O R   P A P E R S
                       =============================

             2nd Workshop on Domain-Specific Visual Languages

                          An OOPSLA 2002 Workshop
                              November 4, 2002
                          Seattle, Washington, USA

                 http://www.cis.uab.edu/info/OOPSLA-DSVL2/ 

---------------------------------------------------------------------------
IMPORTANT DATES

  * 19 September 2002 (Position Papers Due)
  * 23 September 2002 (Notification of Acceptance)
  * 26 September 2002 (Deadline for OOPSLA Advanced Registration)
  * 4 November 2002 (Workshop)
---------------------------------------------------------------------------
THEMES AND GOALS

An upward shift in abstraction leads to a corresponding increase in
productivity. In the past this has occurred when programming languages
have evolved towards a higher level of abstraction. Today, domain-specific
(Continue reading)

Permalink | Reply | 0 comments |

Gmane