headers
zijiang.yang | 1 Oct 2005 14:17
Favicon

CFP: WORKSHOP ON SOFTWARE VERIFICATION AND VALIDATION

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

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

   ***************New Submission Deadline: Octorber 4, 2005********

                           CALL FOR PAPERS

                  SVV'05: 3RD INTERNATIONAL WORKSHOP ON
                 SOFTWARE VERIFICATION AND VALIDATION
                             October 31, 2005
                              Manchester, UK
                http://www.cs.wmich.edu/~zijiang/svv2005/

                             In Conjunction with
          International Conference on Formal Engineering Methods                                            (ICFEM'05)

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

Goal of the Workshop

Software is playing an important role in economy, government, and military.
Since software is often deployed in safety critical applications, correctness
and reliability have become issues of utmost importance. Techniques for
verification and validation traditionally fall into three main categories.
The first category involves informal methods such as software testing and
monitoring. The second involves formal verification, i.e., model checking and
theorem proving. The third is abstract interpretation and static program
analysis techniques.
(Continue reading)

Permalink | Reply | 0 comments |
headers
D.FILROM - CARLOS MARTIN VIDE | 1 Oct 2005 10:14

research positions 2005-11

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Apologies for multiple copies!

Please, pass it to whom may be interested. Thanks.

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

One-two 2-year postdoctoral research positions may be available starting before July 1st, 2006 in the
Research Group on Mathematical Linguistics at Rovira i Virgili University (Tarragona, Spain).

The web site of the host institute is:

http://www.grlmc.com

ELIGIBLE TOPICS

The eligible topics are the institute's current or future research directions:

- Formal language theory and its applications.
- Biomolecular computing and nanotechnology.
- Bioinformatics.
- Language and speech technologies.
- Formal theories of language acquisition and evolutionary linguistics.
- Computational neuroscience.

Other related fields might still be eligible provided there exist strong enough candidates for them.

JOB PROFILE
(Continue reading)

Permalink | Reply | 0 comments |
headers
Mariangiola Dezani | 3 Oct 2005 23:07
Picon
Favicon

EATCS AWARD 2006

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

                             Call for Nominations

EATCS annually honors a respected scientist from our community with the
prestigious EATCS Distinguished Achievements Award. The award is
given to acknowledge extensive and widely recognised contributions to  
theoretical
computer science over a life long scientific career.

For the EATCS Award 2006, candidates may be nominated to the Awards  
Committee.
Nominations must include supporting justification and will be kept  
strictly
confidential. The deadline for nominations is: December 1, 2005.

Nominations and supporting data should be sent to the chairman of the  
EATCS
Awards Committee:
Professor Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica
Universita' di Torino
c. Svizzera 185, 10149 Torino (Italy)

Email: dezani@...

Previous recipients of the EATCS Award are

R.M. Karp (2000)
C. Boehm (2001)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Computer Science Logic '06 Conference | 4 Oct 2005 10:01
Picon
Favicon

CSL'06 workshops and Ackermann Award

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

-------------------------------------------------------------------
                CSL  2006  Call For Workshop Proposals
-------------------------------------------------------------------

Computer Science Logic (CSL) is the annual conference series of the
European Association for Computer Science Logic (EACSL). The 15th
Annual Conference, CSL 2006, will take place in Szeged, Hungary,
from September 25 to September 29, 2006.  It will be organized by the
Department of Foundations of Computer Science at the University
of Szeged.

Workshops affiliated to CSL 2006 will be held before and after the
main conference, on September 23 and 24, and on September 30 and
October 1, 2006.

Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic to computer science.

Proposals should include:

* A short scientific summary and justification of the proposed topic.
* Proposed format and agenda.
* Proposed duration.
* Procedures for selecting participants and papers.
* Expected number of participants.
* Potential invited speakers.
* Plans for dissemination (e.g. proceedings, journal special issue).
(Continue reading)

Permalink | Reply | 0 comments |
headers
Luca Aceto | 5 Oct 2005 11:08
Picon
Favicon

FOSSACS 2006 --- Final CFP

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

**** We apologize for multiple postings ****

1. Executive Summary

DEADLINE FOR ABSTRACT SUBMISSIONS: Friday, 7 October 2005 (Strict)
DEADLINE FOR PAPER SUBMISSIONS: Friday, 14 October 2005 (Strict)
URL FOR SUBMISSIONS: http://sttt.cs.uni-dortmund.de/fossacs06/servlet/Conference

2. Call for Papers

      Foundations of Software Science and Computation Structures
                             FOSSACS 2006
                    A Member Conference of ETAPS 2006
              Vienna (Austria), March 27-March 31, 2006

                       http://fossacs06.ru.is/

FOSSACS seeks original papers on foundational research with a clear
significance for software science. The conference invites submissions
on theories and methods to support the analysis, integration,
synthesis, transformation, and verification of programs and software
systems.

Topics covered include, but are not limited to:

    * Algebraic models,
    * Automata and language theory,
    * Behavioural equivalences,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jana Sukkarieh | 6 Oct 2005 19:55
Picon
Picon

Natural Language and Knowledge Representation/Reasoning (CFP)

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Dear type members,

The following CFP for a special track organized at FLAIRS 2006 
is relevant to you because Logic / Lambda-calculus can be used
as semantic representations for natural language (NL) 
and reasoning (inference) is the best test for the
capability of any NL understanding system. Logic, Lambda-Calculus and reasoning are some of your typical
topics and ours.

best wishes
jana

 [Apologies for x-postings]

NATURAL LANGUAGE AND KNOWLEDGE REPRESENTATION (NL-KR)

Special Track at FLAIRS 2006

SECOND CALL FOR PAPERS

Holiday Inn Melbourne Oceanfront,  Melbourne Beach, FLORIDA, USA

MAIN CONFERENCE: 11-12-13 MAY 2006

Special track web page: http://users.ox.ac.uk/~lady0641/Flairs06_NL_KR
Main conference web page: http://www.indiana.edu/~flairs06

PURPOSE OF THE NL-KR TRACK
(Continue reading)

Permalink | Reply | 0 comments |
headers
Maribel Fernandez | 7 Oct 2005 13:16
Picon
Favicon

PhD grant: Computational Applications of Nominal Sets

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

PhD Studentship in Computer Science
       King's College London

Applications are invited for a PhD studentship at King's College London,
as part of the project Computational Applications of Nominal Sets
(joint with the University of Cambridge), funded by EPSRC.

The studentship can start any time between October 2005 and
September 2006. 
Relevant research areas for this grant are:
    * programming language semantics
    * theorem proving
    * equational theories
    * nominal logic

Please see the project web page for further information and how to apply:
  http://www.dcs.kcl.ac.uk/staff/maribel/CANS.html
Permalink | Reply | 0 comments |
headers
Alexander Kurz | 7 Oct 2005 15:16
Picon
Picon
Favicon

PhD Studentship available

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Apologies for multiple postings
-------------------------------
Please distribute to potential candidates
-----------------------------------------

Recently, I advertised a postdoc position on the EPSRC-funded project
"Coalgebras, Modal Logic, Stone Duality".

Additionally, there is now a departmentally funded PhD studentship
(GTA) available. The GTA scheme involves some teaching and runs for 4
years. Unfortunately, the position is probably only of interest to
students with an EU nationality: the university seems to be unwilling to
waive the fees for non-EU nationals.

The topic of the PhD will be in the area of "Coalgebras, Modal Logic,
Stone Duality". Repeating from my previous mail:

>From the point of view of computer science, the project is about
logics for transition systems (coalgbras). From the mathematical point
of view, the project will explore the dualities arising from extending
basic, Stone-type dualities via an algebra-coalgebra duality. This
draws on results and concepts from modal logic, domain theory,
universal algebra and category theory. A background in one (or more)
of the above areas is desirable.

The official announcement and application form is available at (Ref
E2275)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Ian Mackie | 11 Oct 2005 08:18
Picon
Favicon

CFP: TERMGRAPH 2006

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Call for Papers

3rd International Workshop on Term Graph Rewriting
TERMGRAPH 2006 1 April 2006, Vienna, Austria
A satellite event of ETAPS 2006

http://www.dcs.kcl.ac.uk/events/TERMGRAPH2006/

Term graph rewriting is concerned with the representation of
functional expressions as graphs and the evaluation of these
expressions by rule-based graph transformation. The advantage of using
graphs rather than strings or trees is that common subexpressions can
be shared, which improves the efficiency of computations in space and
time. Sharing is ubiquitous in implementations of functional and logic
programming languages, systems for automated reasoning, and symbolic
computation systems, etc.

The aim of this workshop is to bring together researchers working in
these different domains and to foster their interaction, to provide a
forum for presenting new ideas and work in progress, and to enable
newcomers to learn about current activities in term graph
rewriting. TERMGRAPH 2006 will be a one-day satellite event of the
ETAPS 2006, which will take place in Vienna, 2006. The first TERMGRAPH
workshop took place in Barcelona in 2002 and the second in Rome in
2004.

Topics of interest include all aspects of term graphs and sharing of
common subexpressions in rewriting, programming, automated reasoning
(Continue reading)

Permalink | Reply | 0 comments |

Gmane