headers
S.J.Thompson | 1 Feb 1999 10:55
Picon

Jobs in computer algebra and reasoning


		Integrating Computer Algebra and Reasoning

Applications are invited for two posts related to the ESPRC-supported 3 year project 

	"Adding the Axioms to Axiom: Integrating Computer Algebra and Reasoning" 
	
at the University of Kent, in the Computing Laboratory (investigator Simon Thompson)
and Institute of Mathematics (investigator John Shackell). 

The project aims to explore the integration of reasoning
capabilities into the Aldor library compiler for the Axiom computer algebra
system, and to use this integrated logic to improve support for symbolic 
mathematics. The integration is achieved using the embedding of `propositions 
as types' in a modified version of the Aldor type system.

Integrating a logic into Aldor will make the practice of symbolic mathematics
more reliable - by incorporating conditions on the application of
certain operations, for instance. It will also extend what it is possible to
achieve with CA by allowing logical reasoning as a part of symbolic computation.
As a part of the project, the system developed will be applied to a case study
of symbolic asymptotics.

More details of the project can be found at the URL:
	http://www.cs.ukc.ac.uk/people/staff/sjt/Atypical/
or by e-mail enquiry to S.J.Thompson@... or J.R.Shackell <at> ukc.ac.uk.

Post 1: Post-Doctoral Research Associate (RA1A) 

The Research Assistant will play a central role in the project, working on
(Continue reading)

Permalink | Reply | 0 comments |
headers
ChasJDavid | 2 Feb 1999 13:00
Picon
Favicon

Re: Yamaha

Judith Palmer has tuned both pianos for about the past 15 years.

Her number is 610 667-9567.

Charlie
Permalink | Reply | 0 comments |
headers
Michael B Greenwald | 2 Feb 1999 18:31

Distributed Systems

Just a brief follow-up on our conversation (totally tangential to 573).

When I say "Distributed Systems", here are the topics I'm thinking of,
other than the obvious OS issues, and basic networking, and client/server
architectures and RPC. And I'm wondering whether/where they're covered in
our curriculum.

 Distributed shared memory, cache consistency including loose 
   consistency, release consistency, etc.
 Process migration/process scheduling
 Scalability
 Naming (distributed)
 Reaching agreement: 
   (agreement procotols, two- or three-phase commit, byzantine agreement, etc.)
 Structure: 
   (Message passing/direct communication vs. Shared memory vs. hybrid schemes)
 Fault tolerance/Recovery/Availability 
 Data representation (dealing with heterogeneity).

There are plenty of basic topics I haven't hit on.  I'd probably put causal
ordering or totally ordered communications systems into the agreement
protocol bin.  Is that stuff covered in a distributed database course?  I'm
sure there are plenty of topics covered in other courses that have
distributed systems spin, e.g. security, authentication (covered in
security), presentation protocols (covered in networking), logging and
transactions (covered in databases).
Permalink | Reply | 0 comments |
headers
Francois Fages | 4 Feb 1999 14:00
Picon
Picon
Favicon

PPDP'99 Call for Papers

Call For Papers 
                     International Conference on
     Principles and Practice of Declarative Programming (PPDP'99)
             Paris, France, September 29-October 1, 1999

Important Dates
~~~~~~~~~~~~~~~
Submissions Deadline: March 1, 1999 
Notification of Acceptance: April 30, 1999
Final Versions Due: June 25, 1999
Conference Dates: Sept 29-Oct 1, 1999

Web Sites and EMail Contact
~~~~~~~~~~~~~~~~~~~~~~~~~~~
PPDP'99 Web Page: http://www.dmi.ens.fr/PPDP99/
PLI'99 Web Page:  http://pauillac.inria.fr/pli/
PPDP'99 email: ppdp99@...

Scope of the Conference
~~~~~~~~~~~~~~~~~~~~~~~

PPDP represents the union of two former conferences: Programming
Languages, Implementations, Logics and Programs (PLILP) and Algebraic
and Logic Programming (ALP).  Continuing the tradition of PLILP/ALP,
PPDP'99 aims to stimulate research on the use of declarative methods
in programming and on the design, application and implementation of
programming languages that support such methods.  Topics of interest
include the use of type theory, logics and logical methods in
understanding, defining, integrating and extending programming
paradigms such as those for functional, logic, object-oriented,
(Continue reading)

Permalink | Reply | 0 comments |
headers
tlca99.aquila | 5 Feb 1999 11:06
Picon
Favicon

categories: TLCA'99 Call for Participation (Text & LaTex versions)


    - Our apologies if you receive multiple copies of this message - 

           ----------------------------------------------
           |                                            |      
           |                TLCA '99                    |  
           |                                            |  
           |     Fourth International Conference on     |   
           |    Typed Lambda Calculi and Applications   |   
           |                                            | 
           |      April 7-9, 1999, L'Aquila (Italy)     | 
           |                                            | 
           ----------------------------------------------   

           PRELIMINARY SCHEDULE and CALL FOR PARTICIPATION 

----------------------------------------------------------------------------  
| Note the early registration and accommodation deadline: MARCH 7th, 1999. |  
---------------------------------------------------------------------------- 

The Fourth International Conference on Typed Lambda Calculi and Applications 
(TLCA '99) will be held in L'Aquila (Italy) from 7th to 9th April, 1999. 
The conference is organized by the L'Aquila Computer Science Group at the 
Department of Pure and Applied Mathematics of the University of L'Aquila. 

You can find the preliminary schedule and all information about the 
conference venue, conference registration and hotel accommodation at 
the TLCA '99 web site: 

                  http://w3.dm.univaq.it/tlca99
(Continue reading)

Permalink | Reply | 0 comments |
headers
Joelle Despeyroux | 5 Feb 1999 13:37
Picon
Picon
Favicon

CFP Types Summer School'99


              C A L L   F O R    P A R T I C I P A T I O N

               ------------------------------------------
               The 2nd International Types Summer School:
               ------------------------------------------

                   THEORY AND PRACTICE OF FORMAL PROOFS
          French Riviera, France, 30 August - 10 September 1999
          -----------------------------------------------------

              http://www-sop.inria.fr/types-sum-school.html

is organized by the Esprit Working Group: Types for proofs and programs.

During the last few years major achievements have been made in using 
computers for interactive proof developments to produce secure software.

This two weeks' course is for postgraduate students, researchers and
industrials who want to learn about interactive proof development.
There will be introductory and advanced lectures on lambda calculus,
type theory, logical frameworks, program extraction, and other topics
which give relevant theoretical background.  Several talks will be
devoted to the presentation of applications.

The proof assistants presented in the school represent the current
state-of-the-art in interactive theorem proving.  Participants will
get extensive opportunities to use the systems in a workstation
environment for developing their own proofs.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Fairouz Kamareddine | 6 Feb 1999 23:55
Picon
Picon

School on Logic and Computation


		School in Logic and Computation	
		Heriot-Watt University
		10-13 April 1999

Organized by computer science research centers
	UKII(UK)
	 BRICS(Denmark)
	 TUCS (Finland)
	 IPA (Holland)
as part of the European Educational Forum (EEF) series of
summer schools, supported by the European Union.

Grants covering registration and accommodation are available for
eligible Ph.D. students, see below.

		LECTURERS and TOPICS

Samson Abramsky (Edinburgh, UK):
	Concurrent Games and Full Completeness for Linear Logic
Henk Barendregt (Nijmegen, NL):
	Mission possible: proof-checking
Robert Constable (Cornell, USA):
	Applications of Classes and Types to Practical Verifications 
Dirk van Dalen (Utrecht, NL):
	The Mathematical Universe according to Brouwer
Mariangola Dezani-Ciancaglini (Turin, IT):
	The Lambda Calculus in Different Scenarios
Assaf Kfoury (Boston, USA):
	Some New Developments in Unification Related to Type Theory
(Continue reading)

Permalink | Reply | 0 comments |
headers
Michael Mislove | 9 Feb 1999 03:47
Picon

MFPS XV Update

Dear Colleagues,
  This message is to announce that the Program for this year's MFPS meeting
is now available on line. The meeting will take place on the campus of
Tulane University from April 28 to May 1. 
  We also want to announce that following MFPS a short course on the NRL
Protocol Analyzer will be offered at Tulane by Dr. Catherine Meadows (NRL),
the chief developer of the NRL Protocol Analyzer. The course is free, but
it is open to a limited enrollment of 20 participants. It will take place
from Monday, May 3 to Wednesday, May 5, with a continuation to Thursday,
May 6 if there is sufficient interest.
  Details about the MFPS program, about registration procedures and about
the NRL Protocol Analyzer course can be found at the MFPS XV home page,
http://www.math.tulane.edu/mfps15.html. Because of an overlap with the
annual New Orleans Jazz and Heritage Festival, we urge potential
participants to register and make travel arrangements by February 15. 
  Best regards,
  Mike Mislove

============================================================================
Professor Michael Mislove		Phone: +1 504 862-3441
Department of Mathematics		FAX:   +1 504 865-5063
Tulane University			Email: mwm@...
New Orleans, LA 70118		URL:   http://www.math.tulane.edu/mislove.html
USA 
============================================================================
Permalink | Reply | 0 comments |
headers
Uwe Nestmann | 9 Feb 1999 10:16
Picon
Picon

@... Semantics of Objects As Processes '99 (CFP)


______________________ CALL FOR CONTRIBUTIONS _________________________________

                              SOAP '99

                    2nd International Workshop on
                  Semantics of Objects As Processes
                         Hosted by ECOOP '99

                     http://www.cs.auc.dk/soap99/

 Recently, there has been growing interest in studying the behavioural
 properties of object-oriented programs using concepts and ideas from
 process calculi, especially from calculi with some notion of mobility.
 Such calculi have features such as dynamic references and static scoping in
 common with object-oriented programming languages and also provide one with
 a rich vocabulary of reasoning techniques firmly grounded in structural
 operational semantics.

 For the current edition of SOAP, the participation of language designers
 and practitioners from the object-oriented programming community is
 particularly welcome.  Presentations of their view on semantics of objects
 as well as criticism on the process view are encouraged.

==================== AIMS OF SOAP:

 - to bring together researchers working in this area
   with designers and practitioners from the OO community

 - to foster new collaborations between
(Continue reading)

Permalink | Reply | 0 comments |
headers
tlca99.aquila | 10 Feb 1999 09:12
Picon
Favicon

TLCA'99 Call for Participation (Text & LaTex versions)


    - Our apologies if you receive multiple copies of this message - 

           ----------------------------------------------
           |                                            |      
           |                TLCA '99                    |  
           |                                            |  
           |     Fourth International Conference on     |   
           |    Typed Lambda Calculi and Applications   |   
           |                                            | 
           |      April 7-9, 1999, L'Aquila (Italy)     | 
           |                                            | 
           ----------------------------------------------   

           PRELIMINARY SCHEDULE and CALL FOR PARTICIPATION 

----------------------------------------------------------------------------  
| Note the early registration and accommodation deadline: MARCH 7th, 1999. |  
---------------------------------------------------------------------------- 

The Fourth International Conference on Typed Lambda Calculi and Applications 
(TLCA '99) will be held in L'Aquila (Italy) from 7th to 9th April, 1999. 
The conference is organized by the L'Aquila Computer Science Group at the 
Department of Pure and Applied Mathematics of the University of L'Aquila. 

You can find the preliminary schedule and all information about the 
conference venue, conference registration and hotel accommodation at 
the TLCA '99 web site: 

                  http://w3.dm.univaq.it/tlca99
(Continue reading)

Permalink | Reply | 0 comments |

Gmane