headers
Dieter Spreen | 7 Feb 2000 17:06

Workshop on Domains IV, 1998

The proceedings of the

      Workshop on Domains IV, Rolandseck, Germany, October 2-4, 1998

can be obtained electronically via

       http://www.informatik.uni-siegen.de/theo.html#pub

Best regards,
Dieter Spreen
Permalink | Reply | 0 comments |
headers
Fmoods Mailbox | 9 Feb 2000 17:38
Picon

FMOODS'2000 cfp - WITH SUBMISSION INSTRUCTIONS!


The FMOODS2000 submsissions site is now running and ready to accept paper.
Details are in the CFP below.

==============================================================================

                               Call for Papers

                                 FMOODS 2000

              IFIP TC6/WG6.1 Fourth International Conference on

          Formal Methods for Open Object-Based Distributed Systems

              Stanford University , Stanford, California, USA
                             September 6-8, 2000

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

Electronic Information

   * The conference home page is found at http://www.ics.uci.edu/~fmoods2000
   * Conference-related email should be addressed to
     fmoods2000@...
   * Submission information can be found at
        http://www-formal.stanford.edu/fmoods/FmoodsSys/subm/index.html
   * Information on the FMOODS series of conferences can be found at
     http://www.cs.ukc.ac.uk/research/netdist/fmoods

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

Permalink | Reply | 0 comments |
headers
Peter Mueller | 10 Feb 2000 09:42
Picon
Favicon

CfP: ECOOP 2000 Workshop on Formal Techniques for Java Programs


          Workshop on Formal Techniques for Java Programs
                 in conjunction with ECOOP 2000
        Sophia Antipolis and Cannes, France, June 12-16, 2000

Topic:

Formal techniques can help to analyze programs, to precisely describe
program behavior, and to verify program properties. Applying such
techniques to object-oriented technology is especially interesting
because: 

 1. The OO-paradigm forms the basis for the software component
    industry with their need for certification techniques. 
 2. It is widely used for distributed and network programming.
 3. The potential for reuse in OO-programming carries over to
    reusing specifications and proofs. 

Such formal techniques are sound, only if based on a formalization of
the language itself. 

Java is a good platform to bridge the gap between formal techniques
and practical program development. It plays an important role in these
areas and is on the way to becoming a de facto standard because of its
reasonably clear semantics and its standardized library. 

However, the language Java contains novel language features, which are
not fully understood yet. Furthermore, Java supports a novel paradigm
for program deployment, and improves interactivity, portability and
manageability. However, this paradigm also opens new possibilities for
(Continue reading)

Permalink | Reply | 0 comments |
headers
Francois Pottier | 11 Feb 2000 18:00
Picon
Picon
Favicon

New release of Wallace


Hello,

I would like to announce the availability of a new release of Wallace.

Wallace is a generic subtyping-constraint-handling library. It deals
with constraint solving and simplification, and it is parameterized by
the definition of a type algebra. Its goal is to serve as a plug-in
component in the design of a constraint-based type-checker, regardless
of the programming language being analyzed.

Its theoretical foundations are described in my PhD thesis, as well as
in my later papers.

The new release offers a clean separation between the constraint-handling
library, which is generic, and the rest of the type-checker. A sample
type-checker for a small functional programming language is provided as an
example. The library is able to deal with regular subtyping constraints, as
well as conditional constraints. The set of types, as well as the subtyping
relationship, may be defined (within certain limits) by the client. Types
and constraints may involve rows, as described by Didier Rémy in
``Projective ML''. Types may also be separated into a number of different
kinds. The library provides some support for parsing and pretty-printing
types.

Although external documentation is still missing, the code itself is clean
and heavily documented. The library should now be useable by a programming
language implementor wishing to experiment with subtyping. I will be glad
to help if required.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Fairouz Kamareddine | 11 Feb 2000 18:34
Picon
Picon

PhD positions available at Heroit-Watt


		PhD positions in Logics, Types, Rewriting
			The ULTRA group
		Heriot-Watt University, Edinburgh, Scotland

We have many PhD openings within the ULTRA group.  
See http://www.cee.hw.ac.uk/ultra/index.html

The ULTRA group works on the applications of logics, type theories,
and rewriting theory to the design and implementation of programming
languages, the formalization of mathematics, and theorem proving. The
ULTRA group is located in the Department of Computing and Electrical
Engineering at Heriot-Watt University, Edinburgh, Scotland.

The department of Computing and Electrical at Heriot-Watt is a very
lively, active and friendly place with a supportive spirit.  The
department is committed to excellence and is investing a lot in the
future. Heriot-Watt is located in beautiful parklands on the
outskirsts of Edinburgh, the capital of Scotland and a beautiful and
historic city.

We are looking for active, energetic and committed people. 

If you are interested, send your c.v. to Professor Fairouz Kamareddine
of Dr Joe Wells by e-mail (fairouz@... or jbw <at> cee.hw.ac.uk)
or post (Heriot-Watt University, Department of Computing and
Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland) and
arrange for three letters of recommendation.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Fairouz Kamareddine | 11 Feb 2000 18:53
Picon
Picon

Tenured posts at Heriot-Watt


		Tenured Posts in Computer Science
			Heriot-Watt University, 
			Edinburgh, Scotland   

Posts at the level of lecturer (assistant professor), senior lecturer
and reader (associate professor) are available at the department of
Computing and Electrical Engeneering at Heriot-Watt University,
Edinburgh Scotland.  The posts are in a number of areas of Computer
Science.  I would strongly encourage applications from academics whose
research area is on type theory, term rewriting, logic, and the
foundations of programming languages and theorm proving.  Look at the web
pages of the ULTRA group http://www.cee.hw.ac.uk/ultra/
for information on the areas we are involved in.  

The department of Computing and Electrical at Heriot-Watt is a very
lively, active and friendly place with a supportive spirit.  The
department is expanding fast and is committed to excellence and is
investing a lot in the future.  So, if you can contribute to this
excellence and you want to play an influential role in a supportive
environment, send your application. 
Heriot-Watt is located in beautiful parklands on the outskirsts of
Edinburgh, the capital of Scotland and a beautiful and historic city.

Further details about the Department are available on 
http://www.cee.hw.ac.uk/
Informal enquiries to Prof. R.J. Clarke, Head of Department {email
rjc@...}. If your questions are related to 
the above areas, contact Fairouz Kamareddine (fairouz@...).
(Continue reading)

Permalink | Reply | 0 comments |
headers
Franck van Breugel | 12 Feb 2000 02:08
Picon

CFP PPDP 2000

			   Call For Papers

             ACM-SIGPLAN 2nd International Conference on 
    Principles and Practice of Declarative Programming (PPDP 2000)

	       Montreal, Canada, September 20-22, 2000

                   http://www.cs.yorku.ca/ppdp-00 
                Submission deadline: March 1, 2000

Program Co-Chairs:
Maurizio Gabbrielli (University of Udine, Italy) gabbri@...
Frank Pfenning (Carnegie Mellon University, Pittsburgh, USA) fp@...

Program Committee:
Samson Abramsky (University of Edinburgh, UK)
Zena Ariola (University of Oregon, USA) 
Andrea Asperti (University of Bologna, Italy) 
Frank de Boer (University of Utrecht, NL) 
Radhia Cousot (Ecole Polytechnique, France) 
Danny De Schreye (Catholic U. Leuven, Belgium) 
Saumya Debray (University of Arizona, USA) 
Thom Fruhwirth  (LMU Munich, Germany) 
Andrew Gordon (Microsoft Research, UK) 
Doug Howe (Bell Labs, USA)
Claude Kirchner (LORIA & INRIA Nancy, France) 
Naoki Kobayashi (University of Tokyo, Japan) 
Michael Maher (Griffith University, Australia) 
Greg Morrisett (Cornell University, USA) 
Robert Nieuwenhuis (TU of Catalonia, Spain)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Sanjiva Prasad | 17 Feb 2000 05:27
Picon
Favicon

Call for papers FST TCS 2000

***********************************************************************
*                                                                     *
*                            FST TCS 2000                             *
*                                                                     *
* Foundations of Software Technology and Theoretical Computer Science *
*                        December 13--15, 2000                        *
*                          New Delhi, India                           *
*                                                                     *
***********************************************************************
*                          Call for Papers                            *
***********************************************************************


IARCS, the Indian Association for Research in Computing Science,
announces the 20th Annual FST TCS Conference in New Delhi.
Tentatively planned satellite events include include two workshops: on
Computational Geometry and on Advances in Programming Languages.

Authors are invited to submit papers presenting original and
unpublished research on **any** theoretical aspects of Computer
Science. Papers in applied areas with a strong foundational emphasis
are also welcome.  The proceedings of the last six years' conferences
(Springer-Verlag Lecture Notes in Computer Science volumes 880, 1026,
1180, 1346, 1530, 1738) give an idea of the kind of papers typically
presented at FST TCS.  Typical areas include (but are not restricted to):

         Automata, Languages and Computability 
         Randomized and Approximation Algorithms 
         Computational Geometry
         Computational Biology
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alan Jeffrey | 21 Feb 2000 17:46
Picon

HOOTS 2000 Call for Papers

Dear all,

This year, the Higher Order Operational Techniques in Semantics workshop
will be in Montreal in September, as part of PLI 2000.  Attached is the 
call for papers.  Apologies for multiple transmissions.

Alan.

-- 
Alan Jeffrey               http://fpl.cs.depaul.edu/ajeffrey/
CTI, DePaul University, 243 S. Wabash Ave, Chicago 60604, USA

--

                              HOOTS 2000

                         Call For Papers for
                 The Fourth International Workshop on
           Higher Order Operational Techniques in Semantics

                   A satellite workshop of PLI 2000
                      Montreal, September 21-22

        HOOTS 2000 home page: http://hoots.cs.depaul.edu/
        HOOTS home page:      http://www.cl.cam.ac.uk/users/amp12/hoots
        PLI 2000 home page:   http://www.cs.yorku.ca/pli-00/

SCOPE The fourth workshop on Higher Order Operational Techniques in
Semantics (HOOTS 2000) will address fundamental principles and
important innovations in the definition, analysis, and application of
(Continue reading)

Permalink | Reply | 0 comments |
headers
Philip Wadler | 22 Feb 2000 16:35
Favicon

ICFP 2000


Below is the call for ICFP 2000.  You may prefer to view it on the web:
		 http://www.cs.bell-labs.com/~wadler/icfp2000

The submission deadline is fast approaching: 1 March 2000!
Two invited speakers have accepted:
	Carl Seger, Intel
	Benjamin Pierce, University of Pennsylvania
A third is in the works.

This year we are experimenting with two special classes of submissions,
Application letters (Applets) and Functional Pearls, to emphasize both the
utility and the beauty of functional programming.  If you have a nifty
application or an elegant program that never quite seemed to fit the conference
mold, then this is your year.  And of course, we also want submissions that
fulfill the traditional model of a crisp new research result.  See you in
Montreal!  -- P

				Call for Papers
	ICFP 2000:  International Conference on Functional Programming
		    Montreal, Canada; 18--20 September 2000
			   (associated with PLI 2000)

		 http://www.cs.bell-labs.com/~wadler/icfp2000

Scope
~~~~~

ICFP 2000 seeks original papers on the full spectrum of the art, science, and
practice of functional programming.  The conference invites submissions on all
(Continue reading)

Permalink | Reply | 0 comments |

Gmane