TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject.

headers Maria Gradinariu | 1 Jun 2006 19:19

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Several of the talks in this workshop involve type systems for
quantum computing. Hence I hope that this announcement is of interest
to the types community. -PS]

			CALL FOR PARTICIPATION

     4th International Workshop on Quantum Programming Languages
			      (QPL 2006)

		       July 17-19, 2006, Oxford
     (held in conjunction with CKC, "Cats, Kets, and Cloisters")

	    http://www.mathstat.dal.ca/~selinger/qpl2006/

				* * *
NEW:

 * list of accepted papers
 * available support for UK-based PhD students (deadline June 20)

OVERVIEW:

  The goal of this workshop is to bring together researchers working
  on mathematical foundations and programming languages for quantum
  computing. In the last few years, there has been a growing interest
  in logical tools, languages, and semantical methods for analyzing
  quantum computation. These foundational approaches complement the

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

At University Paul Sabatier (Toulouse-3), Toulouse, France
 a ph.d. studentship
is available. There is no restrictions concerning
nationality, but there is an age limit ( no more than
25 ans in 2006.) Please, notice very short delay: 

- applications before 20.06

- interview 23.06

contact: soloviev@...

Theme:
The categories with structure including distinguished functors
and natural transformations (subject to certain identities)
are considered, such as the Symmetric Monoidal Closed Categories
with tensor $\otimes$ and hom-functor as distinguished functors, 
associativity and commutativity of $\otimes$ etc. The "critical mass"
of theoretical results concerning the commutativity of diagrams
in such categories demands the development of adequate computer support
and software. The software should contain certain automated
and interactive verification procedures, in particular automated
procedures using the algorithms that are already known
and interactive procedures for extraction of consequences
of particular properties of concrete categories (e.g., categories
of modules). The theme is closely connected with proof theory
and commutative algebra. The competences in programming are required.

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Radboud University Nijmegen - Institute for Computing and Information
Science

One 3 year post-doc position in the NWO-sponsored project

ARPA:    Advancing the Real use of Proof Assistants
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

We are seeking one researcher at the level of Postdoc for a period of 
three years, starting from September 1 2006

Candidates should have
-  Good knowledge of at least one and preferably more of the following
     fields: Hybrid Systems, Formal Methods, Proof Assistants and
             Automated Reasoning.
- A finished PhD in computer science, mathematics or logic

Description of the project
--------------------------
Proof Assistants help the user in developing a theory (stating
definitions and lemmas), modelling systems (describing constructions,
giving definitions) and verifying properties about these systems (giving
proofs). So, Proof Assistants are very generic tools to support Formal
Methods. Their genericity makes them less efficient than tools that are
especially geared towards a specific formal method. On the other hand
they have a very precise semantics, which makes a the certainty of a

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

   [The usual apologies for multiple copies apply: we are sending the
    announcement both to personal e-mail addresses and to mailing lists.
    Please distribute this e-mail to all interested people.]

 >>>>>   EARLY REGISTRATION until June 15  <<<<<

   -------------  CALL for PARTICIPATION  -------------------
|                                                          |
|               LOGIC COLLOQUIUM 2006                      |
|            (ASL European Summer Meeting)                 |
|              July 27 -- August 2, 2006                   |
|                                                          |
|       Institute for Computing and Information Science    |
|       Radboud University Nijmegen (The Netherlands)      |
|                                                          |
   ----------------------------------------------------------

    The European summer meeting of the ASL in the year 2006 will be held
    in Nijmegen, the Netherlands:

	http://www.cs.ru.nl/lc2006/

    Plenary invited speakers:
    ========================
            Samson Abramsky (Oxford)
            Marat Arslanov (Kazan)
            Harvey Friedman (Ohio)

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The submissions deadline for the 8th Intl Workshop on Logic and  
Computational
Complexity (LCC'06) has extended its submissions deadline to June 15.

See http://www.cis.syr.edu/~royer/icc/LCC06 for details on the  
workshop and
submissions.

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Brazilian Workshop on Logical and Semantic Frameworks, with Applications
LSFA'06 - FINAL CALL FOR PAPERS
------------------------------------------------------------------------

NEW: SUBMISSION PAGE IS NOW OPEN

NEW: EasyChair (http://www.easychair.org/LSFA06/) WILL BE USED TO MANAGE
LSFA'06 PAPER SUBMISSION AND REVIEW

NEW: WORKSHOP PROCEEDINGS AS A BOOK ON UFRGS "INOVAÇÃO" SERIES

NEW: INVITED SPEAKERS

Joe Wells, Heriot-Watt University
(http://www.macs.hw.ac.uk/~jbw/)

Narciso Marti Oliet, Universidad Complutense de Madrid
(http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/ 
Mart=iacute==Oliet:Narciso.html)
------------------------------------------------------------------------

September 17th, 2006,
Natal, Rio Grande do Norte, Brazil

(Satellite Event to SBMF'06, the Brazilian Symposium on Formal
Methods, to be held together with the International Conference on
Graph Transformations, ICGT'06)

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Please post.
-m

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

       CALL FOR PARTICIPATION

     FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS:
          IFIP WG 2.2 Anniversary Meeting
               11-13 September 2006
                  Udine, Italy

          http://www.dimi.uniud.it/ifip06/

The IFIP Working Group 2.2 was established in 1965 as one of the first
IFIP Working Groups. The primary aim of the WG is to explain
programming concepts through the development, examination and
comparison of various formal models of these concepts. The WG thus
explores the theory and the practice of formal methods for the
specification, verification and the design of software and systems.

Earliest members of the WG included Dana Scott, Erwin Engeler, Jaco de
Bakker, Raymond Abrial, Peter Lauer, Manfred Paul, Erich Neuhold,
Maurice Nivat, Ed Blum. Throughout the years, members of the WG shaped
various styles of semantics, comprising denotational, operational,
algebraic, and logical semantics.

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Brazilian Workshop on Logical and Semantic Frameworks, with Applications
LSFA'06 - FINAL CALL FOR PAPERS, with extended deadline
------------------------------------------------------------------------

NEW: PAPER SUBMISSION DEADLINE EXTENDED - JULY 3rd
       CONTRIBUTIONS CAN BE WRITTEN IN PORTUGUESE

NEW: SUBMISSION PAGE IS NOW OPEN

NEW: EasyChair (http://www.easychair.org/LSFA06/) WILL BE USED TO MANAGE
LSFA'06 PAPER SUBMISSION AND REVIEW

NEW: WORKSHOP PROCEEDINGS AS A BOOK ON UFRGS "INOVAÇÃO" SERIES

NEW: INVITED SPEAKERS

Joe Wells, Heriot-Watt University
(http://www.macs.hw.ac.uk/~jbw/)

Narciso Marti Oliet, Universidad Complutense de Madrid
(http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/
Mart=iacute==Oliet:Narciso.html)
------------------------------------------------------------------------

September 17th, 2006,
Natal, Rio Grande do Norte, Brazil

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

       [ We apologize for multiple copies ]

*******************************************************************

     2nd International Workshop on Automated
          Specification and Verification
               of Web Systems (WWV'06)

            Cyprus, November 15-19, 2006
               (Track of ISoLA 2006)

      http://www.dsic.upv.es/workshops/wwv06

*******************************************************************

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

Mon	Tue	Wed	Thu	Fri	Sat	Sun

			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29	30

[TYPES/announce] [CFP] Symposium on Stabilization, Safety, and Security of, Distributed Systems (SSS 2006)

[TYPES/announce] QPL 2006 Call for Participation, Student Support

[TYPES/announce] ph.d. studentship

[TYPES/announce] Post Doc position Radboud University Nijmegen

[TYPES/announce] Logic Colloquium 2006: Call for Participation, Early Registration until June 15

[TYPES/announce] LCC'06 submissions deadline extended to June 15

[TYPES/announce] LSFA'06 Final Call for Papers

[TYPES/announce] IFIP WG 2.2 Anniversary Meeting - Call for Participation

[TYPES/announce] LSFA'06 deadline extension

[TYPES/announce] CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)

19	May 2013
83	April 2013
1	February 2013
2	January 2013
11	December 2012
3	November 2012
1	October 2012
10	August 2012
5	July 2012
8	April 2012
6	March 2012
9	November 2011
11	October 2011
3	June 2011
39	May 2011
63	April 2011
77	March 2011
57	February 2011
59	January 2011
33	December 2010
37	November 2010
21	October 2010
35	September 2010
26	August 2010
19	July 2010
42	June 2010
67	May 2010
45	April 2010
61	March 2010
39	February 2010
46	January 2010
2	December 2009
2	November 2009
24	October 2009
12	September 2009
22	August 2009
17	July 2009
4	June 2009
22	April 2009
6	March 2009
2	February 2009
6	January 2009
27	November 2008
22	October 2008
10	September 2008
4	August 2008
3	July 2008
24	June 2008
20	May 2008
26	April 2008
4	March 2008
9	February 2008
26	January 2008
1	December 2007
6	November 2007
2	October 2007
4	September 2007
17	August 2007
8	July 2007
9	June 2007
9	May 2007
6	April 2007
15	March 2007
15	February 2007
5	January 2007
3	December 2006
11	November 2006
24	October 2006
3	September 2006
2	August 2006
18	July 2006
14	June 2006
7	May 2006
10	April 2006
25	March 2006
9	February 2006
27	January 2006
51	December 2005
43	November 2005
26	October 2005
24	September 2005
28	August 2005
41	July 2005
57	June 2005
62	May 2005
56	April 2005
40	March 2005
43	February 2005
36	January 2005
27	December 2004
21	November 2004
26	October 2004
44	September 2004
28	August 2004
29	July 2004
24	June 2004
28	May 2004
23	April 2004
26	March 2004
35	February 2004
26	January 2004
9	December 2003
36	November 2003
66	October 2003
28	September 2003
16	August 2003
19	July 2003
27	June 2003
21	May 2003
29	April 2003
19	March 2003
32	February 2003
26	January 2003
35	December 2002
29	November 2002
27	October 2002
18	September 2002
12	August 2002
12	July 2002
26	June 2002
38	May 2002
28	April 2002
36	March 2002
28	February 2002
46	January 2002
74	December 2001
33	November 2001
32	October 2001
15	September 2001
15	August 2001
18	July 2001
25	June 2001
19	May 2001
18	April 2001
44	March 2001
28	February 2001
13	January 2001
13	December 2000
28	November 2000
16	October 2000
22	September 2000
9	August 2000
16	July 2000
28	June 2000
21	May 2000
19	April 2000
33	March 2000
17	February 2000
55	January 2000
29	December 1999
25	November 1999
20	October 1999
13	September 1999
12	August 1999
14	July 1999
13	June 1999
30	May 1999
15	April 1999
14	March 1999
19	February 1999
16	January 1999
7	December 1998
12	November 1998
19	October 1998
15	September 1998
13	August 1998
12	July 1998
60	June 1998
24	May 1998
34	April 1998
33	March 1998
16	February 1998
19	January 1998
17	December 1997
20	November 1997
31	October 1997
22	September 1997
15	August 1997
19	July 1997
26	June 1997
28	May 1997
28	April 1997
20	March 1997
19	February 1997
11	January 1997
19	December 1996
18	November 1996
16	October 1996
13	September 1996
25	August 1996
11	July 1996
15	June 1996
23	May 1996
17	April 1996
19	March 1996
19	February 1996
1	January 1996
9	December 1995
15	November 1995
11	October 1995
12	September 1995
9	August 1995
14	July 1995
17	June 1995
18	May 1995
18	April 1995
27	March 1995
18	February 1995
14	January 1995
13	December 1994
10	November 1994
20	October 1994
19	September 1994
6	August 1994
14	July 1994
19	June 1994
6	May 1994
12	April 1994
17	March 1994
20	February 1994
7	January 1994
18	December 1993
16	November 1993
10	October 1993
8	September 1993
9	August 1993
13	July 1993
14	June 1993
21	May 1993
12	April 1993
7	March 1993
22	February 1993
21	January 1993
10	December 1992
22	November 1992
14	October 1992
20	September 1992
17	August 1992
15	July 1992
14	June 1992
10	May 1992
6	April 1992
9	March 1992
25	February 1992
27	January 1992
27	December 1991
52	November 1991
7	October 1991
4	September 1991
11	August 1991
8	July 1991
4	June 1991
5	May 1991
7	April 1991
5	March 1991
2	February 1991
9	January 1991
2	December 1990
4	November 1990
4	October 1990
7	September 1990
4	August 1990
7	July 1990
5	June 1990
10	May 1990
7	April 1990
5	March 1990
8	February 1990
4	January 1990
14	November 1989
8	October 1989
6	September 1989
8	August 1989
8	July 1989
14	June 1989
5	May 1989
4	April 1989
27	March 1989
12	February 1989
9	January 1989
26	November 1988
36	October 1988
2	September 1988
4	August 1988
5	July 1988
31	June 1988
26	May 1988
14	April 1988
14	March 1988
7	February 1988
8	January 1988
3	December 1987
11	November 1987