Elektronisk Dansk A. I. Meddelser 107 Nov 07

90) First issue of Swarm Intelligence is online

Dear all,

I am very glad to let you know that the first issue of the journal

"Swarm Intelligence" is available, both in print and online:

/content/1935-3812

Before being part of a printed volume, accepted papers are

immediately published online at:

/content/120597/?Content+Status=Accepted

Swarm Intelligence is the principal peer-reviewed publication

dedicated to reporting on research and developments in the

multi-disciplinary field of swarm intelligence.

You are encouraged to submit reports on your best research to the journal.

Best,

Marco Dorigo

--

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

Swarm Intelligence: a new quarterly journal published by Springer

Information on the journal available at /11721

Papers can be submitted at /swrm

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

Marco Dorigo, Ph.D. email mdorigo@(no.spam)ulb.ac.be

Directeur de Recherches du FNRS URL iridia.ulb.ac.be/~mdorigo

IRIDIA CP 194/6 Skype: mdorigo

Universite' Libre de Bruxelles Tel +32 (0)2 6503169

Avenue Franklin Roosevelt 50 Mobile +32 478 301233

1050 Bruxelles Fax +32 (0)2 6502715

Belgium Secretary +32 (0)2 6502729

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

_______________________________________________

91) AISB

This is the AISB event bulletin for 5/11/2007

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

1. CFP: Advances in Modal Logic AiML-2008 (DEADLINE: 31:03:2008)

2. Framework Seven Funding Event 

3. CFP: VISAPP International Workshop on Robotic Perception 2008 (DEADLINE: 05:11:2007)

4. CfP: EvoHOT 2008 (DEADLINE EXTENDED) (DEADLINE: 11:11:2007)

5. CFP: Congress on Image and Signal Processing CISP 2008 (DEADLINE: 10:11:2007)

6. Call for CAV Award Nominations (CAV 2008) (DEADLINE: 28:01:2008)

7. CFP: Description Logics (DL'08) (DEADLINE: 15:02:2008)

8. CFP: BMEI'08-CISP'08 BioMedical Engineering & Informatics/ Image and Signal Processing (DEADLINE: 10:11:2007)

9. CFP: IFIP AI 2008 Artificial Intelligence in Theory and Practice (DEADLINE: 07:01:2008)

10. CFP: TAP 2008 Tests and Proofs - new deadlines (DEADLINE: 11:11:2007)

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

1. CFP: Advances in Modal Logic AiML-2008

<http://aiml08.loria.fr>http://aiml08.loria.fr

(DEADLINE: 31:03:2008)

FIRST CALL FOR PAPERS

AiML-2008

ADVANCES in MODAL LOGIC

9-12 September 2008, LORIA, Nancy, France

<http://aiml08.loria.fr>http://aiml08.loria.fr

DEADLINE: 31 March 2008

Advances in Modal Logic is an initiative aimed at presenting

an up-to-date picture of the state of the art in modal logic

and its many applications. The initiative consists of a

conference series together with volumes based on the conferences.

AiML-2008 is the seventh conference in the series.

TOPICS

We invite submission on all aspects of modal logics, including

the following:

- applications of modal logic

- computational aspects of modal

- complexity and decidability of modal and temporal logics

- modal and temporal logic programming

- model checking

- theorem proving for modal logics

- history of modal logic

- philosophy of modal logic

- specific instances of modal logic

- description logicsAdvances in Modal Logic

- dynamic logics and other process logics

- epistemic and deontic logics

- modal logics for agent-based systems

- modal logic and game theory

- modal logic and grammar formalisms

- provability and interpretability logics

- spatial and temporal logics

- theoretical aspects of modal logic

- algebraic and categorical perspectives on modal logic

- coalgebraic modal logic

- completeness and canonicity

- correspondence and duality theory

- many-dimensional modal logics

- modal fixed point logics

- model theory of modal logic

- proof theory of modal logic

- variations of modal logic

- hybrid logic

- intuitionistic logic

- monotonic modal logic

- substructural logic

Papers on related subjects will also be considered.

INVITED SPEAKERS

- to be confirmed

PAPER SUBMISSIONS

In a change from previous AiML's, there will be two types of paper:

(1) Full papers for publication and presentation at the conference.

(2) Abstracts for short presentation only.

Both types of paper should be submitted electronically using the submission page at

</AiML08/>/AiML08/

The online submission system will be opened a few weeks before the submission deadline of 31 March 2008.

(1) FULL PAPERS

These will be published by College Publications

<http://www.collegepublications.co.uk>http://www.collegepublications.co.uk

in a volume to be made available at the meeting. Authors are invited to submit for review a full paper, not submitted elsewhere. It should be at most 15 pages plus optionally a technical appendix of up to 5 pages, together with a plain-text abstract of say 100-200 words.

To appear in the conference volume, papers must be prepared in LaTeX using the style files to be provided at <http://aiml08.loria.fr>http://aiml08.loria.fr . At least one author of each accepted paper must register for and attend the conference to present the paper.

(2) ABSTRACTS

These should up to about 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light review. They may be made available at the conference, and authors should indicate if they would like to make a short presentation of their abstract of up to 15 minutes.

PROGRAMME COMMITTEE

Alessandro Artale (Free University of Bolzano, Italy)

Alexandru Baltag (University of Oxford, UK)

Guram Bezhanishvili (New Mexico State University, USA)

Philippe Balbiani (IRIT, Toulouse, France)

Patrick Blackburn (LORIA, France)

Stephane Demri (CNRS, Cachan, France)

Melvin Fitting (City University of New York, USA)

Guido Governatori (University of Queensland, Australia)

Silvio Ghilardi (University of Milano, Italy)

Valentin Goranko (University of the Witwatersrand, South Africa)

Rajeev Gore (Australian National University, Australia)

Andreas Herzig (IRIT, Toulouse, France)

Ian Hodkinson (Imperial College London, UK)

Ramon Jansana (University of Barcelona, Spain)

Alexander Kurz (University of Leicester, UK)

Carsten Lutz (Dresden University of Technology, Germany)

Edwin Mares (Victoria University of Wellington)

Larry Moss (Indiana University, USA)

Dirk Pattinson (Imperial College London, UK)

Mark Reynolds (University of Western Australia, Australia)

Ulrike Sattler (University of Manchester, UK)

Ildiko Sain (Hungarian Academy of Sciences)

Renate Schmidt (University of Manchester, UK)

Jerry Seligman (University of Auckland, New Zealand)

Valentin Shehtman (Moscow State University, Russia)

Nobu-Yuki Suzuki (Shizuoka University, Japan)

Yde Venema (ILLC, University of Amsterdam, The Netherlands)

Heinrich Wansing (Dresden University of Technology, Germany)

Frank Wolter (University of Liverpool, UK)

Michael Zakharyaschev (Birkbeck College, London, UK)

PROGRAMME CO-CHAIRS

Carlos Areces

LORIA, Nancy

carlos.areces(at)loria.fr

Rob Goldblatt

Victoria University of Wellington

rob.goldblatt(at)mcs.vuw.ac.nz

LOCAL ORGANIZER

Patrick Blackburn

LORIA, Nancy

patrick.blackburn(at)loria.fr

IMPORTANT DATES

Submission deadline: 31 March 2008

Acceptance notification: 31 May 2008

Final version of full papers due: 30 June 2008

Conference: 9-12 September 2008

CONFERENCE LOCATION

Advances in Modal Logic 2008 will be held at LORIA (Laboratoire

Lorrain de Recherche en Informatique et ses Applications) in Nancy,

in the Lorraine, in the east of France.

FURTHER INFORMATION

Information about AiML-2008 will be available at the conference

website <http://aiml08.loria.fr>http://aiml08.loria.fr

E-mail enquiries should be directed to the local

organizer or the program co-chairs.

Information about AiML itself can be obtained at

<>

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

2. Framework Seven Funding Event

<.uk/secretary/ff7funding.doc>.uk/secretary/ff7funding.doc

Framework Seven Funding Event

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

There will be a call for proposals for Framework Seven Collaborative Research Funding from the EU published on 4th December with 90M? available for R&D in Cognitive Systems, Interaction and Robotics. In conjunction with this a free event will be run at Brunel University on 26 November. A flyer containing details is available from the AISB web page (<.uk/secretary/ff7funding.doc>.uk/secretary/ff7funding.doc).

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

3. CFP: VISAPP International Workshop on Robotic Perception 2008

<http://www.ira.disco.unimib.it/CFP.RoboticPerception08.pdf>http://www.ira.disco.unimib.it/CFP.RoboticPerception08.pdf

(DEADLINE: 05:11:2007)

VISAPP International Workshop on Robotic Perception 2008

January, 22nd 2008 - Funchal, Madeira - Portugal

In conjunction with the 3rd International Conference on Computer Vision

Theory and Applications (VISAPP 2008).

Program Chairs

- Luca Iocchi, Univ. di Roma "La Sapienza", Rome, Italy

- Domenico G. Sorrenti, Univ. di Milano - Bicocca, Milano, Italy

Program Committee

- J. Baltes

- S. Behnke

- R. Benosman

- A. Bernardino

- A. Birk

- B. Browning

- W. Burgard

- V. Caglioti

- F. Dellaert

- K. Konolige

- G. Kraetzschmar

- L. Iocchi

- I. Macaluso

- M. Matteucci

- E. Menegatti

- D. N. Monekosso

- W. Nisticò

- J. Ruiz del Solar

- D. G. Sorrenti

- M. Sridharan

- M. Takashi

- P. Zingaretti

Important Dates

Paper submission:

November 5, 2007 (might be delayed a bit)

Acceptance notification:

November 12, 2007 (might be delayed a bit)

Final submission and registration of at least one author of an accepted paper:

November 23, 2007

Scope

This workshop aims at bringing together researchers interested in sharing their

work in good experimental practice of robotic perception. The workshop main

topic is vision-based odometry and SLAM, but we encourage also contributions on

different aspects of perception applied to mobile robots.

Main topic

- Vision-based odometry and SLAM

Other topics

- 3D range cameras

- Cognitive robot vision systems

- Distributed perception

- Feature extraction and representation

- Motion detection and tracking

- Multi-camera robot vision

- Omnidirectional robot vision

- Real-time vision systems for mobile robots

- Robot vision benchmarking and evaluation

- Vision and manipulation

- Vision-based robotic industrial applications

- Vision-based robotic learning

- Visually guided robotics

- Vision hardware systems for mobile robots

- Visual tracking for robotics applications

Additional Information

Call for papers temporary is at (will be on <> soon):

<http://www.ira.disco.unimib.it/CFP.RoboticPerception08.pdf>http://www.ira.disco.unimib.it/CFP.RoboticPerception08.pdf

All other information is available at: <>

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

4. CfP: EvoHOT 2008 (DEADLINE EXTENDED)

<>/

(DEADLINE: 11:11:2007)

Dear Colleague:

We would like to invite you to submit a paper to EvoHOT 2008, the 4th

European Workshop on Hardware Optimization Techniques.

********** DEADLINE HAS BEEN EXTENDED TO NOVEMBER 11 **************

EvoHOT focuses on innovative heuristics, game theory and bio-inspired

techniques (eg. EA, SA, AIS, NN, ants) applied to the Electronic

Design Automation.

The workshop goal is to show the latest developments; industrial

experiences; successful attempts to /evolve/ rather than /design/ new

solutions; hybridizations of traditional methodologies.

EvoHOT topics include, but are not limited to:

* Analog circuit design

* Automatic test pattern generation

* Built-in self test

* Evolutionary design of electronic circuits

* Evolutionary hardware design methodologies

* Evolutionary robotics

* Evolvable hardware

* Floorplanning

* Hardware/Software co-design

* Hybrid evolutionary/exact approach

* Hardware accelerated methodologies

* Logic synthesis

* Routing

* Test program generation

Submissions should be formatted according to the LNCS guidelines and

must not be longer than 10 pages.

EvoHOT is part of Evo*, Europe premier event in the field of

evolutionary computing. Evo* incorporates 3 conferences and 11

workshops; its proceedings are published by Springer in the LNCS

series. The 2008 event will take place in Napoli (Italy) on 26-28

March 2008.

The website <>/ offers updated information about

EvoHOT and all other Evo* events, including call for papers,

organising committees and submission requirements. A one page brochure

is also available to download at that website.

Thanks for your patience and interest

Rolf Drechsler & Giovanni Squillero (EvoHOT chairs)

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

5. CFP: Congress on Image and Signal Processing CISP 2008

<http://www.hainu.edu.cn/CISP2008>http://www.hainu.edu.cn/CISP2008

(DEADLINE: 10:11:2007)

2008 International Congress on Image and Signal Processing 

(CISP 2008)

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 

28 - 30 May 2008, Sanya, Hainan, China 

Submission Deadline: 10 November 2007

<http://www.hainu.edu.cn/CISP2008>http://www.hainu.edu.cn/CISP2008 

Call for Papers, Invited Sessions & Sponsorship 

The aim of CISP 2008 is to bring together researchers working in many 

different areas of image and signal processing to foster exchange of 

new ideas. 

The CISP 2008 proceedings will be published by the IEEE and will be 

indexed in both EI and ISTP. Selected good papers will be recommended 

for publication in SCI/SCI-E indexed international journals. 

CISP 2008 will be co-located with the 2008 International Conference on 

BioMedical Engineering and Informatics (BMEI 2008: <http://www>http://www.

hainu.edu.cn/BMEI2008 ), in order to promote cross-fertilization 

between the broad areas of biomedical engineering and signal 

processing. 

ABOUT SANYA 

Sanya is one of China's premier tourist destinations, with white-sand 

beaches, charming scenery, hot-springs, and popular activities such as 

scuba-diving and rafting. More than 20 ethnic groups, including Han, 

Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to 

appreciate the various cultures of China. 

For more information, visit the conference web page or email the

secretariat at <mailto:cisp2008@hainu.edu.cn>cisp2008@hainu.edu.cn 

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

6. Call for CAV Award Nominations (CAV 2008)

<http://www.princeton.edu/cav2008>http://www.princeton.edu/cav2008

(DEADLINE: 28:01:2008)

Call for CAV AWARD Nominations

20th International Conference on

Computer Aided Verification (CAV 2008)

<http://www.princeton.edu/cav2008>http://www.princeton.edu/cav2008

.......................................................................

An annual award, called the CAV Award, has been established

"For a specific fundamental contribution

or a series of outstanding contributions

to the field of Computer-Aided Verification."

The cited contribution(s) must have been made not more recently than

five years ago and not over twenty years ago. In addition, the

contribution(s) should not yet have received recognition via a major

award, such as the ACM Turing or Kanellakis Awards.

The award of $10,000 will be granted to an individual or a group of

individuals chosen by the Award Committee from a list of nominations.

The Award Committee may choose to make no award in a given year.

The CAV Award will be presented in an award ceremony at the

Computer-Aided Verification Conference and a citation will be published

in a journal of record (currently, Formal Methods in System Design).

Anyone, with the exception of members of the Award Committee, is

eligible to receive the Award.

Call for Nominations for the CAV Award

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

Anyone can submit a nomination except a member of the Steering Committee

of the Computer-Aided Verification Conference, or someone whose term of

service on the Award Committee ended within the last two years. The

Award Committee can originate a nomination.

A nomination must state clearly the contribution(s), explain why the

contribution is fundamental or the series of contributions is

outstanding, and be accompanied by supporting letters and other evidence

of worthiness. Nominations should include a proposed citation (up to 25

words), a succinct (100-250 words) description of the contribution(s),

and a detailed statement to justify the nomination.

For the CAV Award in 2008, please send nominations to one of the

following two Steering Committee members of the Computer-Aided

Verification Conference, who will forward the nominations to the Chair

of the Award Committee:

Edmund M. Clarke, CMU emc (at) cs.cmu.edu

Robert P. Kurshan, Cadence rkurshan (at)

Nominations must be received by January 28, 2008.

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

7. CFP: Description Logics (DL'08)

</dl2008/>/dl2008/

(DEADLINE: 15:02:2008)

21st International Workshop on Description Logics (DL'08)

CALL FOR PAPERS

Dresden, Germany

May 13-16, 2008

</dl2008/>/dl2008/

The DL workshop is the major annual event of the description logic

research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia

and industry, who are interested in description logics and their

applications.

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

IMPORTANT DATES

Paper submission deadline: 15 February 2008

Notification of acceptance: 23 March 2008

Camera ready papers due: 13 April 2008

DL'07 Workshop: 13-16 May 2008 (3 or 4 days, to be decided)

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

INVITED SPEAKERS

* Bernhard Ganter, Dresden, Germany

* Georg Gottlob, Oxford, UK

* Maarten Marx, Amsterdam, The Netherlands

* Kent Spackman, Oregon, USA

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

SCOPE

We invite contributions on all aspects of description logics.

Possible subjects include:

* Foundations of description logics, including expressive power,

decidability and complexity of reasoning, novel inference problems,

and reasoning techniques for solving these problems.

* Extensions of description logics, including, but not limited to,

closed world reasoning, defaults, epistemic reasoning, temporal and

spatial reasoning, procedural knowledge, and query languages.

* Integration of description logics with other formalisms, such as

object-oriented representation languages, database query languages,

constraint-based programming, logic programming, and rule-based

systems.

* Use of description logics in applications or areas such as ontology

engineering, ontology languages, databases, semi-structured data,

document management, natural language, learning, planning, semantic

web, and grid computing.

* Building systems based on description logics, with special emphasis

on optimization and implementation techniques.

* Tools that exploit description Logic reasoning, such as ontology

editors, database schema design, query optimization, and data

integration tools.

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

SUBMISSION DETAILS

We invite submissions of papers in Springer LNCS style, see

</comp/lncs/Authors.html>/comp/lncs/Authors.html

to arrive no later than February 15, 2008.

The length of submissions is limited to 11 pages, including title and

abstract (if any), and list of references. Submitted papers must be in

PDF format. Submission is via EasyChair, see

</DL08/>/DL08/

The workshop proceedings will be made available electronically in the

CEUR Workshop Proceedings series, see

<>/

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

WORKSHOP CHAIRS

* Franz Baader, Dresden, Germany (General chair)

* Carsten Lutz, Dresden, Germany (PC Chair)

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

PROGRAM COMMITTEE

* Carlos Areces, Nancy, France

* Alessandro Artale, Bozen-Bolzano, Italy

* Alex Borgida, Rutgers, USA

* Sebastian Brandt, Machester, UK

* Diego Calvanese, Bozen-Bolzano, Italy

* Giuseppe de Giacomo, Rome, Italy

* Volker Haarslev, Montreal, Canada

* Ian Horrocks, Oxford, UK

* Ulrich Hustadt, Liverpool, UK

* Pascal Hitzler, Karlsruhe, Germany

* Carsten Lutz, Dresden, Germany (Chair)

* Maja Milicic, Dresden, Germany

* Boris Motik, Oxford, UK

* Ralf Moeller, Hamburg, Germany

* Bijan Parsia, Manchester, UK,

* Peter Patel-Schneider, Alcatel Lucent, USA

* Riccardo Rosati, Rome, Italy

* Uli Sattler, Manchester, UK

* Umberto Straccia, Pisa, Italy

* David Toman, Waterloo, Canada

* Frank Wolter, Liverpool, UK

* Misha Zakharyaschev, London, UK

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

RESOURCES

* Information regarding registration, travel information, hotels, etc

will be made available on the DL2008 homepage

</dl2008/>/dl2008/

* Enquiries about the DL2008 workshop can be made by mailing to

<mailto:lutz@f.tu-dresden.de>lutz@f.tu-dresden.de

* The general Description Logic home page is at

<>/

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

8. CFP: BMEI'08-CISP'08 BioMedical Engineering & Informatics/ Image and Signal Processing

<http://www.hainu.edu.cn/BMEI2008>http://www.hainu.edu.cn/BMEI2008

(DEADLINE: 10:11:2007)

2008 International Conference on BioMedical Engineering

and Informatics (BMEI 2008)

2008 International Congress on Image and Signal Processing

(CISP 2008)

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

28 - 30 May 2008, Sanya, Hainan, China

Submission Deadline: 10 November 2007

<http://www.hainu.edu.cn/BMEI2008>http://www.hainu.edu.cn/BMEI2008

<http://www.hainu.edu.cn/CISP2008>http://www.hainu.edu.cn/CISP2008

Call for Papers, Invited Sessions & Sponsorship

The aim of the joint BMEI'08-CISP'08 is to bring together researchers

working in many different areas of biomedical engineering and

informatics, image and signal processing to foster exchange of

new ideas.

The BMEI'08-CISP'08 proceedings will be published by the IEEE and will

be indexed in both EI and ISTP. Selected good papers will be

recommended for publication in SCI/SCI-E indexed international

journals.

ABOUT SANYA

Sanya is one of China's premier tourist destinations, with white-sand

beaches, charming scenery, hot-springs, and popular activities such as

scuba-diving and rafting. More than 20 ethnic groups, including Han,

Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to

appreciate the various cultures of China.

For more information, visit the conference web pages or email the

secretariats at <mailto:bmei2008@hainu.edu.cn>bmei2008@hainu.edu.cn for BMEI 2008 and

<mailto:cisp2008@hainu.edu.cn>cisp2008@hainu.edu.cn for CISP 2008, respectively.

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

9. CFP: IFIP AI 2008 Artificial Intelligence in Theory and Practice

</ifipai2008>/ifipai2008

(DEADLINE: 07:01:2008)

SECOND CALL FOR PAPERS

IFIP AI 2008: The Second IFIP International Conference on Artificial

Intelligence in Theory and Practice, Milan, Italy, September 7th-10th

2008 </ifipai2008>/ifipai2008

IFIP AI 2008 is one of the constituent parts of the IFIP World

Computer Congress. The conference will follow the same format as the

highly successful IFIP AI 2006 at the IFIP WCC 2006 in Santiago,

Chile. For details see <>.

Papers describing original work are invited in the areas listed below

or other areas of Artificial Intelligence for oral presentation at the

conference. Acceptance will be based on quality, relevance and

originality and the practical value of the work.

Papers of no more than 10 pages should be submitted following the

publisher's prescribed format (for details see the conference web

site). Final versions may be submitted in either Word or Latex format

but at this stage all papers should be submitted as PDF files. The

proceedings will be published by Springer Science and Business Media

(SSBM). Papers should be uploaded via the conference website at

</ifipai2008>/ifipai2008 from which further information is

available.

IMPORTANT DATES

Submission deadline: January 7th, 2008 (this will not be extended)

Notification of acceptance: March 10th, 2008

Camera-ready deadline: April 7, 2008

Conference: September 7th-10th, 2008

CONFERENCE CHAIR

John Debenham, University of Technology, Sydney, Australia

<mailto:debenham@it.uts.edu.au>debenham@it.uts.edu.au

PROGRAM COMMITTEE CHAIR

Max Bramer, University of Portsmouth, United Kingdom

<mailto:max.bramer@port.ac.uk>max.bramer@port.ac.uk

PROGRAM COMMITTEE MEMBERS

A full list of members is available on the conference website.

TOPICS (not exhaustive):

* Industrial Applications of Artificial Intelligence

* Intelligent Decision Support Systems

* Integration of AI with other Technologies

* Evaluation of AI Systems

* AI Languages, Programming Techniques and Tools

* Knowledge Acquisition

* Expert and Knowledge-based Systems

* Fuzzy Logic and Plausible Inference

* Neural Networks

* Evolutionary Computation and Algorithms

* Speech and Natural Language Interfaces

* Machine Vision

* Intelligent Information Retrieval

* Genetic Algorithms

* Planning and Scheduling

* Bayesian Networks and Stochastic Reasoning

* Evolutionary Programming

* Learning and Adaptive Systems

* Intelligent Agents

* Distributed AI Algorithms, Techniques, and Applications

* Distributed AI Systems and Architectures

* Intelligent Tutoring Systems

* Structured and Unstructured Data Mining

* Case-Based Reasoning Systems

* Hardware and Robotics

* Social Impact, Acceptance and Implications of AI

* Intelligent Systems Engineering and Design Methodologies

* Ontologies and Semantic Web

* Knowledge and Information Management

* Business Process Management and Enterprise Portals

* Organisational Memory Knowledge Systems

* Inter-organisational KM portals

* Knowledge Management, E-Learning and Enterprise Portals

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

10. CFP: TAP 2008 Tests and Proofs - new deadlines

<http://www.uni-koblenz.de/tap2008/>http://www.uni-koblenz.de/tap2008/

(DEADLINE: 11:11:2007)

(NEW SUBMISSION DEADLINES. ABSTRACT: NOV 11, 2007; PAPER: NOV 18, 2007)

TAP 2008

Second International Conference on Tests and Proofs

April 9-11, 2008, Prato (near Florence), Italy

<http://www.uni-koblenz.de/tap2008/>http://www.uni-koblenz.de/tap2008/

*CALL FOR PAPERS*

SCOPE

The TAP conference is devoted to the convergence of proofs and tests.

It combines ideas from both sides for the advancement of software quality.

To prove the correctness of a program is to demonstrate, through impeccable

mathematical techniques, that it has no bugs; to test a program is to run it

with the expectation of discovering bugs. The two techniques seem

contradictory: if you have proved your program, it's fruitless to comb

it for

bugs; and if you are testing it, that is surely a sign that you have

given up

on any hope to prove its correctness.

Accordingly, proofs and tests have, since the onset of software engineering

research, been pursued by distinct communities using rather different

techniques and tools.

And yet the development of both approaches leads to the discovery of common

issues and to the realization that each may need the other. The emergence of

model checking has been one of the first signs that contradiction may

yield to

complementarity, but in the past few years an increasing number of research

efforts have encountered the need for combining proofs and tests, dropping

earlier dogmatic views of incompatibility and taking instead the best of

what

each of these software engineering domains has to offer.

How does deduction help testing? How does testing help deduction?

How can the combination of testing and deduction increase the reach of

both?

TOPICS

Topics include:

- Generation of test data, oracles, or preambles by deductive techniques

such as theorem proving, model checking, symbolic execution,

constraint logic programming, etc.

- Generation of specifications by deduction

- Verification techniques combining proofs and tests

- Program proving with the aid of testing techniques

- Transfer of concepts from testing to proving (e.g., coverage criteria)

- Automatic bug finding

- Formal frameworks

- Tool descriptions and experience reports

- Case studies

IMPORTANT DATES

November 11, 2007: NEW Abstract submission deadline

November 18, 2007: NEW Paper submission deadline

January 20, 2008: Acceptance notification

February 3, 2008: Final version due

April 9-11, 2008: Conference

SUBMISSIONS

Submissions should describe previously unpublished work (completed or in

progress), including descriptions of research, tools, and applications.

Papers must be formatted following the Springer LNCS guidelines and be

at most

15 pages long.

Submission of papers is via EasyChair at </TAP2008/>/TAP2008/.

The proceedings will be published within Springer's LNCS series and

they will be available at the conference.

CONFERENCE CHAIR

B. Meyer (ETH Zurich, Switzerland)

PROGRAM CO-CHAIRS

B. Beckert (U of Koblenz, Germany)

R. Hähnle (Chalmers U of Technology, Sweden)

PROGRAMME COMMITTEE

B. Aichernig (TU Graz, Austria)

M. Butler (U of Southampton, UK)

P. Chalin (Concordia U Montreal, Canada)

T.Y. Chen (Swinburne U of Technology, Australia)

Y. Gurevich (Microsoft Research, USA)

D. Hamlet (Portland State U, USA)

W. Howden (U of California at San Diego, USA)

D. Jackson (MIT, USA)

K. Meinke (KTH Stockholm, Sweden)

B. Meyer (ETH Zurich, Switzerland)

P. Müller (Microsoft Research, USA)

T. Nipkow (TU München, Germany)

A. Polini (U of Camerino, Italy)

Robby (Kansas State U, USA)

D. Rosenblum (U College London, UK)

W. Schulte (Microsoft Research, USA)

N. Sharygina (U of Lugano, Switzerland, and CMU, USA)

B. Venneri (U of Firenze, Italy)

B. Wolff (ETH Zurich, Switzerland)

STEERING COMMITTEE

Y. Gurevich (Microsoft Research, USA)

B. Meyer (ETH Zurich, Switzerland)

ORGANIZING COMMITTEE

C. Gladisch (U of Koblenz, Germany)

P. Rümmer (Chalmers U of Technology, Sweden)

CONTACT

Email: <mailto:tap2008@uni-koblenz.de>tap2008@uni-koblenz.de

Web: <http://www.uni-koblenz.de/tap2008/>http://www.uni-koblenz.de/tap2008/

Dear AISB members

This is the AISB miscellaneous bulletin for 17/10/2007

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

1. CFP: Special issue of the Journal of Logic and Computation - Coalgebra & Logic (DEADLINE: 01:12:2007)

2. CFP: IJCV Special Issue on Evaluation of Articulated Human Motion and Pose (DEADLINE: 11:01:2008)

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

1. CFP: Special issue of the Journal of Logic and Computation - Coalgebra & Logic

(DEADLINE: 01:12:2007)

Call for papers: Coalgebra & Logic

(special issue of the Journal of Logic and Computation)

Coalgebras are rapidly gaining ground as fundamental structures for

modeling the concept of state-based dynamics, where typically, a "state

of affairs" can be observed and modified. Of clear and even defining

importance in the study of such evolving systems is the concept of

behavior and related notions such as invariance and observational

(in)distinguishability. Universal Coalgebra emerges as a general

theory of state-based systems, parametrized by endofunctors on

suitable categories.

This development explains the increasing interest in the development

and study of languages and deductive systems for specifying and

reasoning about behavior at a coalgebraic level of generality. Many of

these coalgebraic logics share or generalize interesting features of

modal logics. As a consequence, Coalgebraic Logic is not only a natural

meeting ground of Logic and Coalgebra, but also an exciting new

application area of modal logic.

Two workshops that were organized in 2007 jointly gave a picture of

the state of the art in the field of Coalgebra and Logic: the Workshop

on Logic for Coalgebras (10-11 May 2007, Amsterdam) and the Workshop on

Coalgebraic Logic (10-11 August 2007, Oxford). The organizers of the two

workshops will jointly edit a special issue of the Journal of Logic and

Computation focusing on Coalgebra and Logics. This special issue will

have contributions from the invited speakers of the workshops, but

submissions of contributed papers are welcome as well.

Authors that are interested to contribute to this special issue, are

invited to submit a manuscript (in either pdf or ps format) of no more

than 25 pages to one of the editors listed below. All submissions will

be subject to anonymous peer review. The deadline for submission is

1 December 2007.

The editors:

Alexander Kurz: <mailto:kurz@mcs.le.ac.uk>kurz@mcs.le.ac.uk

Alessandra Palmigiano: <mailto:apalmigi@science.uva.nl>apalmigi@science.uva.nl

Yde Venema: <mailto:yde@science.uva.nl>yde@science.uva.nl

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

2. CFP: IJCV Special Issue on Evaluation of Articulated Human Motion and Pose

<>

(DEADLINE: 11:01:2008)

CALL FOR PAPERS

International Journal of Computer Vision (IJCV)

Special Issue On: Evaluation of Articulated Human Motion and Pose Estimation

Guest Editors:

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

Michael J. Black Brown University (<mailto:black@cs.brown.edu>black@cs.brown.edu)

Leonid Sigal Brown University (<mailto:ls@cs.brown.edu>ls@cs.brown.edu)

Aim and Scope:

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

There has been a large body of work developed in the last 10 years on the human 

pose estimation and tracking from video. Progress however has been limited by 

the lack of common datasets and error metrics for quantitative comparison. The 

goal of this special issue is to quantitatively establish the current state of 

the art in the human pose estimation and tracking from single and multiple 

camera views, using a common benchmark (HumanEva) database and error metrics.

The HumanEva datasets (<http://vision.cs.brown.edu/humaneva/>http://vision.cs.brown.edu/humaneva/) contain multiple 

calibrated video sequences (grayscale and color) that are synchronized with 3D 

body poses obtained from a motion capture system. The database contains 

multiple subjects performing a variety of common actions (e.g. walking, 

jogging, gesturing, etc.). Error metrics for computing error in 2D and 3D pose 

are also provided to allow comparison of different methods on equal footing. 

The dataset contains training, validation and testing (with withheld ground 

truth) sets. The performance on testing sequences can be evaluated using 

on-line evaluation service. For detailed description of the procedure that 

should be followed for testing and evaluation of results please see 

<http://www.cs.brown.edu/people/ls/ehum2/submit.html>http://www.cs.brown.edu/people/ls/ehum2/submit.html.

This is an open call-for-papers. While submissions from the NIPS EHuM and IEEE 

CVPR EHuM2 workshops were invited to submit extended versions of their 

contributions, this does not guarantee acceptance to the special issue. 

Submissions from outside the two workshops are also strongly encouraged and 

will be considered on equal grounds. All manuscripts will be reviewed according 

to rigorous external IJCV reviewing policy to assure quality of the 

contributions.

The list of possible topics of interest to the special issue includes (but is 

not limited to) the following:

-- Tracking and pose estimation (in 2D and 3D);

-- Articulated body models;

-- Priors for human motion and dynamics;

-- Appearance models;

-- Discriminative and generative approaches for articulated pose recovery;

-- Quantitative metrics for evaluation of pose estimation and tracking.

Submission Procedure:

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

Manuscripts of full journal length with detailed experimental results using 

(but not limited to) HumanEva datasets are solicited for submission. Due to the 

retrospective and prospective nature of the special issue, we will encourage 

submissions of both original unpublished works as well as surveys where prior 

approaches are evaluated using the data and the metrics provided. The latter 

are expected to contain extensive experimental and discussion sections that go 

sufficiently beyond experiments presented in the original publication. 

Submissions should follow the guidelines set out by IJCV and will be reviewed 

accordingly. Authors should submit manuscripts via IJCV website, 

<>, by choosing ``Special Issue - EHuM'' as the Article 

Type.

Submission Deadline: January 11, 2008

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

More Information about the AISB can be found at <.uk>.uk

Bulletins maintained by:

Therie Hendrey-Seabrook

AISB Executive Office

Chichester 2R211

School of Science and Technology

University of Sussex

Falmer, Brighton

BN1 9QJ

Tel: +44(0) 1273 678448

Fax: +44(0) 1273 877873

To: aisb@sx.ac.uk

Subject: AISB OPPORTUNITIES BULLETIN

From: "T.J.M.Hendrey-Seabrook" <t.j.m.hendrey-seabrook@sussex.ac.uk>

Date: Wed, 17 Oct 2007 13:42:06 +0100

X-Sussex: true

X-Sussex-transport: remote_smtp_rew

X-DAIMI-Spam-Score: 3.153 () AWL,HTML_FONT_FACE_BAD,HTML_MESSAGE,SUBJ_ALL_CAPS. CRMScore=HAM(1.4563).

Dear AISB members

This is the AISB opportunities bulletin for 17/10/2007

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

1. PhD Position - electron tomography - University of Antwerp 

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

1. PhD Position - electron tomography - University of Antwerp

<http://www.emat.ua.ac.be>http://www.emat.ua.ac.be/

The EMAT (<http://www.emat.ua.ac.be>http://www.emat.ua.ac.be/) and Vision Lab (<http://www.emat.ua.ac.be>http://www.emat.ua.ac.be/) research groups at the University of Antwerp (Belgium) are recruiting a PhD student to join a research project on electron tomography.

Tasks:

The PhD candidate will be expected to

- develop new reconstruction and preprocessing algorithms aimed at more accurate electron tomography

- develop (in collaboration) a software package for iterative/discrete tomographic reconstruction in electron microscopy

- apply the new techniques to a variety of microscopy data sets

Your profile:

- Master of science (Physics, Chemistry, Applied Mathematics, ...)

- Background in electron microscopy or material science is a plus.

- Knowledge of C, C++, or Matlab;

- Interest in image processing;

- Fluent in English both written and spoken (mandatory) ;

We offer:

- Exciting applied projects that combine image processing and electron microscopy;

- A stimulating, high tech, and multidisciplinary research environment;

- a net salary of 1430 euro/month

Duration: 4 years

Start date: As soon as possible.

Please send your CV with references to

- Prof Dr S. Bals (<mailto:sara.bals@ua.ac.be>sara.bals@ua.ac.be)

- Prof Dr J. Sijbers (<mailto:jan.sijbers@ua.ac.be>jan.sijbers@ua.ac.be)

- Dr J. Batenburg (<mailto:joost.batenburg@ua.ac.be>joost.batenburg@ua.ac.be)

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