From Patrick.Wambacq at esat.kuleuven.be  Thu Dec  7 10:14:06 2006
From: Patrick.Wambacq at esat.kuleuven.be (Patrick Wambacq)
Date: Thu, 7 Dec 2006 10:14:06 +0100 (CET)
Subject: INTERSPEECH 2007 call for papers
Message-ID: <Pine.LNX.4.64.0612071012250.16850@littlemill.esat.kuleuven.be>


                            Interspeech 2007
                          August 27--31, 2005
                            Antwerp, Belgium

                         www.interspeech2007.org

                            CALL FOR PAPERS

ISCA and the Interspeech 2007 organizing committee would like to 
encourage submission of papers for the upcoming conference. This 
conference is jointly organized by scientists from the Netherlands 
and Belgium, and will be held in Antwerp (August 27-31, 2007).

AREAS AND TOPICS OF INTEREST:

Human speech production, perception and communication
   Phonology and phonetics
   Discourse and dialogue
   Prosody (production, perception, prosodic structure)
   Paralinguistic and nonlinguistic cues (e.g. emotion and expression)
   Speech production
   Speech perception
   Physiology and pathology
   Spoken language acquisition, development and learning

Speech and Language technology
   Speech and audio processing
   Speech enhancement
   Speech coding and transmission
   Spoken language generation and synthesis
   Speech recognition
   Spoken language understanding
   Accent and language identification
   Cross-lingual and multi-lingual processing
   Multimodal/multimedia signal processing
   Speaker characterization and recognition

Spoken language systems and applications
   Dialogue systems
   Systems for information retrieval
   Systems for translation
   Applications for aged and handicapped persons
   Applications for learning and education
   Other applications

Resources, standardization and evaluation
   Spoken language resources and annotation
   Evaluation and standardization

Others (please specify)


PAPER SUBMISSION

The deadline for full paper submission (4 pages) is March 23, 2007. 
Paper submission is done exclusively via the conference website,
using the submission guidelines. These guidelines will mention that
authors also have the opportunity to include a restricted number of 
multimedia files in their submission.

Previously-published papers should not be submitted, nor papers 
already submitted and/or accepted for publication in journals or 
upcoming conferences.

At the time of submission, authors will have the opportunity to 
specify that they would like to present their paper in one of the 
Special Sessions. All the information on Special Sessions and how 
to contribute to them will be available on the Interspeech 2007 
website by the time the paper submission opens.

Each corresponding author will be notified by e-mail of the acceptance 
or rejection of her/his paper by May 25, 2007. Minor updates of accepted
papers will be allowed during May 25 - June 3, 2007.


IMPORTANT DATES:

Full paper submission deadline:                 March 23, 2007
Notification of paper acceptance/rejection      May   25, 2007
Early registration deadline:                    June  22, 2007


For further information:         www.interspeech2007.org
or send email to:                info <at> interspeech2007 <dot> org

Organizers:
   Professor Dirk Van Compernolle (General Chair)
   Professor Lou Boves (General Co-Chair)


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm



From pierregrenon at gmail.com  Sat Dec  9 11:12:59 2006
From: pierregrenon at gmail.com (Pierre Grenon)
Date: Sat, 9 Dec 2006 11:12:59 +0100
Subject: CfP: AAAI-07 workshop on Explanation-aware Computing ExaCt 2007
Message-ID: <c1a7d8fd0612090212k292b917eq90f7ca3372f6a639@mail.gmail.com>

** Apologies if you receive multiple copies of this announcement **
       ** Please forward to anyone who might be interested **


                         CALL FOR PAPERS
                  for the AAAI-07 Workshop on

            EXPLANATION-AWARE COMPUTING (ExaCt 2007)

              22 - 23 July 2007, Vancouver (Canada)

                   http://exact2007.workshop.hm/

            Paper submission deadline: April 2, 2007


OBJECTIVES
Explanation has been widely investigated in disciplines such as
artificial intelligence, cognitive science, linguistics, philosophy
of science, and education. All these disciplines consider varying
aspects of "explanation", making it clear that there are many
different views of the nature of explanation.  Both within AI
systems and in interactive systems, the ability to explain reasoning
processes and results can have substantial impact. Within the field
of knowledge-based systems, explanations have been considered as an
important link between humans and machines to increase the confidence
of the user in the system's result, by providing evidence of how it
was derived. In mixed-initiative problem solving, explanations
exchanged between human and software agents may play an important
role in communication between humans and software systems. Additional
research has focused on how computer systems can themselves use
explanations, for example to guide learning. This workshop aims to
draw on multiple perspectives on explanation, to examine how
explanation can be applied to further the development of robust and
dependable systems and to illuminate system processes to increase
user acceptance and feeling of control.



GOALS AND AUDIENCE
The main goal of the workshop is to bring researchers, scientists
from both industry and academics, and representatives from different
communities and areas such as those mentioned above, together to
study, understand, and explore explanation in IT-applications. Besides
presentations and discussions of invited contributions and invited
talks, this symposium will offer organized and open spaces for
targeted discussions and creating an interdisciplinary community.


TOPICS OF INTEREST
Suggested topics for contributions (not restricted on IT views):
 * Models for explanations
 * Integrating application and explanation knowledge
 * Explanation-awareness in applications
 * Methodologies for developing explanation-aware systems
 * Learning to explain
 * Context-aware explanation
 * Confidence and explanations
 * Requirements and needs for explanations to support human
   understanding
 * Explanation of complex, autonomous systems
 * Cooperative explanation
 * Explanatory aspects of argumentation


SUBMISSIONS AND STYLE
Workshop submissions will be electronic, in pdf format only, using
a submission system on the workshop website.

Papers must be written in English and not exceed 5 pages in the AAAI
two-column format. At least one author of each accepted paper must
register for the workshop and present the contribution in order to
be published in the workshop proceedings.

Those wishing to participate providing a live system demonstration
should submit a proposal. A separate call for demos will be posted
for details at the workshop website.

Those wishing to participate without paper or demo submission should
submit a brief synopsis of their relevant work by XXXXXXX, 2007.

Attendance is limited to active participants only.


IMPORTANT DATES
  Submission deadline:                     April 2, 2007
  Notification of acceptance:              April 25, 2007
  Camera-ready versions of papers:         May 15, 2007


WORKSHOP SCHEDULE
The schedule will be made available on the workshop website.


INVITED TALK
 Douglas N. Walton, Department of Philosophy, University of
   Winnipeg, Canada


CHAIRS
 Thomas R. Roth-Berghofer, trb at dfki.uni-kl.de
   DFKI GmbH / TU Kaiserslautern, Germany
 Stefan Schulz, schulz at e-spirit.de
   The e-Spirit Company GmbH, Dortmund, Germany
 David B. Leake, leake at cs.indiana.edu
   Computer Science Department, Indiana University, USA

DEMO CHAIR
 Daniel Bahls, bahls at dfki.uni-kl.de
   DFKI GmbH, Kaiserslautern, Germany


PROGRAM COMMITTEE
 David W. Aha, Navy Center for Applied Research in AI, Washington
   DC, USA
 Derek Bridge, University College Cork, Ireland
 Michael T. Cox, BBN, USA
 Jörg Cassens, Norwegian University of Science and Technology (NTNU)
 Francisco Javier Díez, UNED Madrid, Spain
 Babak Esfandiari, Carleton University, Canada
 Peter Funk, Mälardalen University, Sweden
 Pierre Grenon, IFOMIS, University of Saarbrücken, Germany
 David McSherry, University of Ulster, Northern Ireland
 Hector Muñoz-Avila, Lehigh University, USA
 Paulo Pinheiro da Silva, University of Texas, El Paso, USA
 Enric Plaza, IIIA-CSIC, Spain
 Michael M. Richter, University of Kaiserslautern, Germany
 Christophe Roche, University of Savoie, France
 Sven Schwarz, DFKI, Germany
 Gheorghe Tecuci, George Mason University, Fairfax, VA, USA


From C.Orasan at wlv.ac.uk  Sun Dec 10 16:15:07 2006
From: C.Orasan at wlv.ac.uk (Constantin Orasan)
Date: Sun, 10 Dec 2006 15:15:07 +0000
Subject: Job announcement reminder: Postdoctoral Research Fellow/Senior
	Research Fellow in Question Answering
Message-ID: <1165763707.507.3.camel@localhost.localdomain>


[apologies for cross posting]

------------------------------------------------------------------
Postdoctoral Research Fellow/Senior Research Fellow in QALL-ME project

Salary £19,430 - £25,184* pa or £29,211 - £37,521* pa (level of
appointment dependent on qualifications and experience)
-------------------------------------------------------------------

Applications closing date: 15th December 2006
Start date: no later than 1st March 2007
Reference: A4642
Salary: £19,430 - £25,184* pa or £29,211 - £37,521* pa (level of
appointment dependent on qualifications and experience) 

As postdoctoral research fellow/senior research fellow you will work on
a EU funded project to develop a system for question answering learning
technologies in a multilingual and multimodal environment, focusing on
implementation of various components, as well as evaluation of the
system. This is a fixed contract for 30 months. You should have a degree
in computer science and a PhD in computational linguistics or equivalent
experience. Experience in Natural Language Processing (NLP) techniques
and programming are required, as well as familiarity with Question
Answering, Information Extraction and Machine Learning techniques for
language processing. Publications in good journals, experience with
grant applications and working with the industry, native or near native
proficiency in English are a plus. For appointment at Senior Research
Fellow level you will need to demonstrate a very good publications
record, grant applications experience, and potential leadership
qualities.

Required skills:
      * PhD or equivalent research experience/output in Computational
        Linguistics/Natural Language Processing
      * Experience with Question Answering and/or Information Extraction
      * Experience with at least one of the following programming
        languages C, C#, Perl or Java
      * Experience with machine learning for computational linguistics

Desirable skills:
      * Experience working with ontologies
      * Experience with database programming
      * Good journal publications

Applications should include a completed application form, CV, and
covering letter in which the candidates explain why they have applied
for the position and give details of their research interests/experience
and background. Candidates should also give the names of three referees
with their email addresses and telephone numbers. The interviews are
scheduled to take place in January 2007, and the starting date as soon
as possible after the interviews, but no later than 1st March 2007.

For informal inquiries, please contact Dr. Constantin Orasan
(C.Orasan at wlv.ac.uk) or Prof. Ruslan Mitkov (R.Mitkov at wlv.ac.uk).
Applications to be sent to Personnel. If emailed, please cc to
C.Orasan at wlv.ac.uk. 

For an application form, contact

    Personnel Services Department, 
    University of Wolverhampton, 
    Molineux Street, 
    Wolverhampton WV1 1SB
    Phone +44 (0) 1902 321049 (ansaphone), and quoting the reference number. 
    For hearing impaired candidates our Minicom number is +44 (0) 1902 321249. 
    Email address: per at wlv.ac.uk

The application form can also be downloaded from
http://clg.wlv.ac.uk/jobs/app_form_jobs.pdf.

The RESEARCH GROUP IN COMPUTATIONAL LINGUISTICS at the University of
Wolverhampton (http://clg.wlv.ac.uk)

Established by Prof. Mitkov in 1997, the Research Group in Computational
Linguistics is a highly successful one, delivering cutting-edge research
in a number of NLP areas such as anaphora resolution, automatic
abstracting, question answering, lexical knowledge acquisition, text
categorisation, named entity recognition, information extraction, corpus
construction and annotation, automatic terminology processing,
multilingual processing, and multiple-choice question generation. To a
large extent, this research has been undertaken in projects funded by
major UK funding bodies and commercial partners.

-- 
Constantin Orasan <C.Orasan at wlv.ac.uk>
Lecturer in Computational Linguistics
Research Group in Computational Linguistics
http://www.wlv.ac.uk/~in6093/
University of Wolverhampton



From bulling at in.tu-clausthal.de  Sat Dec  9 15:17:28 2006
From: bulling at in.tu-clausthal.de (Nils Bulling)
Date: Sat, 09 Dec 2006 15:17:28 +0100
Subject: subscribe
Message-ID: <457AC578.9030100@in.tu-clausthal.de>

test

-- 
Dipl.-Inf. Nils Bulling
Clausthal University of Technology, Germany
http://www.in.tu-clausthal.de/~nbulling
phone: +49 5323 72 7182  




From nza at Cs.Nott.AC.UK  Mon Dec 11 12:22:16 2006
From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK)
Date: 11 Dec 2006 11:22:16 +0000
Subject: PhD positions in agent verification
Message-ID: <200612111122.aa00054@pat.Cs.Nott.AC.UK>

Two PhD positions

Applications are invited for two 3-year PhD positions
in the project `Verifying requirements for resource-bounded
agents.' The aim of the project is to define epistemic
logics, computational models and automated verification
tools for the representation, specification and verification
of resource-bounded agents (agents with limited memory and
communication bandwith whose reasoning takes time). The
students will be based at the School of Computer Science
and IT, University of Nottingham (UK) supervised by Natasha
Alechina and Brian Logan, but will also spend several
months at the ITC-irst in Trento (Italy) working with
Piergiorgio Bertoli, Chiara Ghidini and Luciano Serafini.
Successful candidates should have a background in logic
and/or planning. Please address preliminary inquiries to
Natasha Alechina (nza(at)cs.nott.ac.uk). Application
deadline is the 29th of January 2007.
                                                                                
For more information, see http://www.cs.nott.ac.uk/~nza/trento-epsrc.html


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.



From mehdi at cs.uu.nl  Mon Dec 11 23:31:48 2006
From: mehdi at cs.uu.nl (Mehdi Dastani)
Date: Mon, 11 Dec 2006 23:31:48 +0100
Subject: EASSS 2007: call for tutorials
Message-ID: <457DDC54.6090005@cs.uu.nl>

       !!!   CALL FOR TUTORIALS -- EASSS 2007   !!!

The ninth edition of the European Agent Systems Summer School
(EASSS'07) will take place at

                  Durham University, UK
                    27-31 August 2007

     http://www.dur.ac.uk/durham.agents007/EASSS07/


Researchers and lecturers in the field of autonomous agents
and multi-agent systems are invited to submit a proposal
for a state-of-the-art course in the ninth edition of the
European Agent Systems Summer School. Like its very successful
predecessors, EASSS 2007 aims to offer a valuable forum for
knowledge exchange between various research groups in this field
for the benefit of students and researchers at both beginner and
advanced level. The success of this summer school is essential not
only for the mutual benefit of research groups, but also in
forming future generations of researchers to maintain the
excellence of Agents research and development in Europe.

A typical course has 4 hours in total, but variations are
possible. Courses should be broad enough to provide a general
introduction to the chosen topic, but it should also cover
the most important contributions in depth. Courses are expected
to take a wider perspective than one specific approach practised
by an individual or group. For an impression, the courses given in
2001 are collected in a volume of Springer's LNAI series (No 2086),
and programmes of previous editions of EASSS can be found via the
above webpage.

The summer schools attract about 100 students each year. We intend
to give a modest contribution towards tutors' expenses by providing
free accommodation, breakfast, lunch, and dinner, but each tutor is
encouraged to book and pay for his/her own travel to Durham. There
are cheap flights from Newcastle to various destinations in Europe.

Tutors are encouraged to submit a 1-page course proposal including:
the topic and its importance for the field, intended audience and
their required background knowledge, outline of the topics to be
presented, how the course material will be prepared, the tutors
and their experience, level of the course (beginners/advanced),
duration (2, 6, or, preferably, 4 hours), and any special equipment
requirements. Proposals will be evaluated based on the importance and
quality of the topic description, the quality of the presentation
material, and the teaching ability of the proposed speakers.


Deadline for proposals:         February 5, 2007
Notification:                   March 19, 2007
material for reader (< 26 pp)   July 2, 2007


Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl).


The EASSS-2007 Committee members are:

Rafael H. Bordini (local chair)         Durham, UK
Mehdi Dastani (chair)                   Utrecht, The Netherlands
Wiebe van der Hoek                      Liverpool, UK
Barbara Keplicz                         Warszawa, Poland
Michael Luck                            Southampton, UK
Michal Pechoucek                        Prague, Czech Republic
Carles Sierra                           Barcelona, Spain
Gerhard Weiss                           Hagenberg, Austria


For information about local organisation please contact
Rafael H. Bordini (durham.agents007 at durham.ac.uk).


POSSIBLE TOPICS:

* action selection and planning in multi-/agent systems
* adaptation, evolution and learning in multi-/agent systems
* agent-based simulation and modeling
* agent communication, agent dialogues and agent conversations
* agents, ontologies, web services and semantic web
* agent-oriented software engineering and development methodologies
* agent programming languages and development tools	
* agent standardizations in industry and commerce
* ambient intelligence and agents-based systems
* applications for agent and multi-agent systems
* argumentation in agent-based systems
* architectures for multi-agent systems
* artificial market systems, auctions, trading agents and electronic
   commerce
* autonomous robots and robot teams
* believability, human-like qualities of synthetic agents, humanoid,
   and sociable robots
* coalition formation and multi-agent teams
* computational complexity in agent systems
* conventions, commitments, norms, social laws and legal issues in
   multi-agent systems
* coordination, cooperation, and collaboration in multi-agent systems
* electronic institutions
* emergence, self-organisation and collective behavior in agent-based
   systems
* foundational issues and theories of agency
* frameworks, infrastructures, environments, and system support for
   multi-agent systems
* game theoretic models for agents based systems	
* information agents, routers, brokering and matchmaking
* lessons learned and performance evaluation of deployed multi-agent
   systems
* logics and formal models for agent systems
* mobile agents
* multi-agent, specification, verification and validation
* negotiation and conflict handling in multi-agent systems
* privacy, safety and security in multi-agent systems
* scalability, robustness and dependability of multi-agent systems
* social and cognitive models for agents	
* social and organizational structures of multi-agent systems
* trust and reputation in multi-agent systems
* task and resource allocation in multi-agent systems


-- 

Mehdi Dastani
Intelligent Systems Group
Utrecht University
P.O.Box 80.089
3508 TB Utrecht
The Netherlands
Tel: +31 - 30 - 253 3599
Fax: +31 - 30 - 251 3791
URL: http://www.cs.uu.nl/~mehdi


From ines at sat.inesc-id.pt  Tue Dec 12 10:47:54 2006
From: ines at sat.inesc-id.pt (Ines Lynce)
Date: Tue, 12 Dec 2006 09:47:54 -0000 (WET)
Subject: 2nd CFP: SAT 2007
Message-ID: <1129.152.78.65.216.1165916874.squirrel@sat.inesc-id.pt>

                           SAT 2007
	                Call for Papers

	         10th International Conference on
	Theory and Applications of Satisfiability Testing

	         May 28 - 31, Lisbon, Portugal

                 http://sat07.ecs.soton.ac.uk


  The International Conference on Theory and Applications of
  Satisfiability Testing is the primary annual meeting for researchers
studying the propositional satisfiability problem (SAT). SAT'07 is the
tenth SAT conference. SAT'07 features the SAT competition, the QBF
competition, the Pseudo-Boolean evaluation, and the MAX-SAT
  evaluation.


SCOPE

  Many hard combinatorial problems can be encoded into SAT.
  Therefore improvements on heuristics on the practical, as well as
theoretical insights into SAT apply to a large range of real-world
problems. More specifically, many important practical verification
problems can be rephrased as SAT problems. This applies to
  verification problems in hardware and software. Thus SAT is becoming one
of the most important core technologies to verify secure and dependable
systems. The topics of the conference span practical and theoretical
research on SAT and its applications and include but are not limited to
proof systems, proof complexity, search algorithms, heuristics, analysis
of algorithms, hard instances, randomized
  formulae, problem encodings, industrial applications, solvers,
  simplifiers, tools, case studies and empirical results. SAT is
  interpreted in a rather broad sense: besides propositional
  satisfiability, it includes the domain of quantified boolean
  formulae (QBF), constraints programming techniques (CSP) for
  word-level problems and their propositional encoding and
  particularly satisfiability modulo theories (SMT).


SUBMISSION

  Submissions should contain original material and can either be
  regular research papers up to 14 pages or short papers up to 6
  pages. Double submissions including submissions as short and long papers
will be rejected.  Submissions should use the Springer
  LNCS style. All appendices, tables, figures and the bibliography must
fit into the page limit. Submissions deviating from these
  requirements may be rejected without review. All accepted papers
including short papers will be published in the proceedings of the
conference. The conference proceedings will be published within
  Springer LNCS series. The submission page is
  http://www.easychair.org/SAT2007. Papers have to be submitted
  electronically as PDF files. Paper submissions are due by January 19.


PROGRAM CHAIRS

  Joao Marques-Silva, University of Southampton, UK
  Karem Sakallah, University of Michigan, USA


LOCAL CHAIR

  Ines Lynce, Technical University of Lisbon, Portugal


INVITED SPEAKERS

  Martin Davis, New York University, USA
  Andrei Voronkov, University of Manchester, UK


IMPORTANT DATES

  January 19, Paper Submission
  March 2, Author Notification
  March 16, Final Version


TECHNICAL PROGRAM COMMITTEE

  Fahiem Bacchus, University of Toronto, Canada
  Paul	Beame, University of Washington, USA
  Armin	Biere, Johannes Kepler University, Austria
  Adnan Darwiche, UCLA, USA
  Leonardo de Moura, Microsoft Research, USA
  Niklas Een, Cadence Design Systems, USA
  John Franco, University of Cincinnati, USA
  Ziyad Hanna, Intel Corp., USA
  Ian Gent, University of St. Andrews, UK
  Enrico Giunchiglia, Universita di Genova, Italy
  Carla Gomes, Cornell University, USA
  Aarti Gupta, NEC Research Labs, USA
  Edward A. Hirsch, Steklov Inst. of Mathematics, Russia
  Joonyoung Kim, Intel Corp., USA
  Hans Kleine-Buning, Univ. Paderborn, Germany
  James Kukula, Synopsys ATG, USA
  Oliver Kullmann, University of Wales Swansea, UK
  Daniel Le Berre, Universite d'Artois, France
  Chu-Min Li, Universite de Picardie, France
  Ines Lynce, Technical University of Lisbon, Portugal
  Panagiotis Manolios, Georgia Institute of Technology, USA
  Vasco Manquinho, Technical University of Lisbon, Portugal
  Slawomir Pilarski, Magma DA, USA
  Steve Prestwich, University College Cork, Ireland
  Roberto Sebastiani, Universita di Trento, Italy
  Hossein Sheini, CMU, USA
  Laurent Simon, Universite Paris Sud, France
  Ewald Speckenmeyer, Universitat Koln, Germany
  Ofer Strichman, Technion, Israel
  Stefan Szeider, Durham University, UK
  Armando Tacchella, Universita di Genova, Italy
  Allen Van Gelder, UC Santa Cruz, USA
  Hans van Maaren, Technische Universiteit Delft, Netherlands
  Toby Walsh, National ICT, Australia
  Lintao Zhang, Microsoft Research, USA


SAT COMPETITION
http://www.satcompetition.org/2007

  Daniel Le Berre, Universite d'Artois, France
  Laurent Simon, Universite Paris Sud, France

  Ewald Speckenmeyer, Universitat Koln, Germany
  Geoff Sutcliffe, University of Miami, USA
  Lintao Zhang, Microsoft Research, USA


QBF COMPETITION
http://www.qbflib.org/qbfeval

  Massimo Narizzano, Universita di Genova, Italy
  Luca Pulina, Universita di Genova, Italy
  Armando Tacchella, Universita di Genova, Italy


PSEUDO BOOLEAN EVALUATION
http://www.cril.univ-artois.fr/PB07

  Olivier Roussel, Universite d'Artois, France
  Vasco Manquinho, Technical University of Lisbon, Portugal


MAX-SAT EVALUATION
http://www.maxsat07.udl.es

  Josep Argelich, IIIA-CSIC, Spain
  Chu Min Li, Universite de Picardie, France
  Felip Manya, IIIA-CSIC, Spain
  Jordi Planes, IIIA-CSIC, Spain





From a.ricci at unibo.it  Tue Dec 12 13:14:32 2006
From: a.ricci at unibo.it (Alessandro Ricci)
Date: Tue, 12 Dec 2006 13:14:32 +0100
Subject: CFP: ProMAS at AAMAS'07
Message-ID: <E870C886-728D-41BF-AE6B-7D9B157FB8F0@unibo.it>

(please accept our apologies if you receive multiple postings)
			
CALL FOR PAPERS:   ProMAS'07		

Fifth International Workshop on Programming Multi-Agent Systems  
(ProMAS'07)

<http://www.cs.uu.nl/ProMAS/>

ProMAS'07 is a satellite workshop at AAMAS 2007
Hawaii, USA, 14-18 May 2007
<http://www.aamas2007.org/>


Even though the contributions of the multi-agent systems (MAS)
community can make a significant impact in the development of open
distributed systems, the techniques resulting from such contributions
will only be widely adopted when suitable programming languages and
development tools are available. Furthermore, such languages and tools
must incorporate those techniques in a principled but practical way, so
as to support the ever more complex task of professional programmers,
in particular when the systems have to operate in dynamic environments.

The ProMAS workshop series aims to address the theoretical and
practical programming issues related to developing and deploying
multi-agent systems. In particular, ProMAS aims to address how
multi-agent systems designs or specifications can be effectively
implemented. In its previous editions, ProMAS constituted an invaluable
occasion bringing together leading researchers from both academia and
industry to discuss issues on the design of programming languages and
tools for multi-agent systems. In particular, the workshop promotes the
discussion and exchange of ideas concerning the techniques, concepts,
requirements, and principles that are important for multi-agent
programming technology.

We encourage the submission of proposals for programming languages and
development tools that provide specific programming constructs to  
facilitate
the implementation of the essential concepts used in multi-agent system
analysis and specifications (e.g., mental attitudes, distribution, and
social interaction). We also welcome submissions describing significant
multi-agent applications, as well as agent programming tools that allow
the integration of agents with legacy systems. Further, we are  
particularly
interested in approaches or applications that show clearly the added- 
value
of multi-agent programming, and explain why and how this technology  
should
be adopted by designers and programmers both in academia and industry.


Specific topics for this workshop include, but are not limited to:

- Programming Languages for multi-agent systems
- Extensions of traditional languages for multi-agent programming
- Theoretical and practical aspects of multi-agent programming
- Computational complexity of MAS
- Semantics for multi-agent programming languages
- High-level executable multi-agent specification languages
- Algorithms, techniques, or protocols for multi-agent issues
   (e.g., coordination, cooperation, negotiation)
- Agent communication issues in multi-agent programming
- Implementation of social and organisational aspects of MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- Test and debugging tools and techniques
- Agent development tools and platforms
- Generic tools and infrastructures for multi-agent programming
- Interoperability and standards for MAS
- Programming mobile agents
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Application areas for multi-agent programming languages
- Applications using legacy systems
- Programming MAS for Grid-based applications
- Programming MAS for the Semantic Web
- Deployed (industrial-strength) MAS
- Benchmarks and testbeds for comparing MAS languages and tools


Important Dates:
----------------

Paper submission deadline:               5  February,    2007
Notifications of acceptance/rejection:   5  March,       2007
Camera-ready copies due:                 19 March,       2007
Workshop Date:                           14th/15th May,  2007 (TBA)


Submission Details:
-------------------

Authors can submit their papers via a conference management system,
available at the following address:

http://confs.deis-ce.unibo.it/ProMAS07

First, you will be asked to register into the system, then you will
get a user id and a password that you can use to submit your paper.
Papers should be formatted using Springer LNCS style
(http://www.springer.de/comp/lncs/authors.html) and have a maximum
of 15 pages.

Accepted papers will be published as a technical report and distributed
among participants during the workshop. As was the case for previous
editions of the ProMAS workshop, we are planning to publish extended
versions of selected papers as a volume of the Lecture Notes in Computer
Science series by Springer-Verlag.


Organising Committee:
---------------------

- Mehdi Dastani (Utrecht University, The Netherlands)
   http://www.cs.uu.nl/~mehdi
- Amal El Fallah Seghrouchni (University of Paris VI, France)
   http://www-poleia.lip6.fr/~elfallah/
- Alessandro Ricci (DEIS, Universita' di Bologna, Italy)
   http://lia.deis.unibo.it/~ari
- Michael Winikoff (RMIT University, Australia)
   http://www.cs.rmit.edu.au/~winikoff

Steering Committee:
---------------------

- Rafael Bordini (University of Durham, UK)
- Juergen Dix (Clausthal University of Technology, Germany)
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20061212/e3d27d7b/attachment.html>

From csoares at liacc.up.pt  Thu Dec 14 15:45:19 2006
From: csoares at liacc.up.pt (Carlos Soares)
Date: Thu, 14 Dec 2006 14:45:19 +0000
Subject: [rede.APPIA] Data Mining for Business PAKDD07 Workshop: Call for
 Presentations
Message-ID: <4581637F.3080204@liacc.up.pt>

[ Please circulate / Apologies for multiple postings ]
********************************************************************************


		            DATA MINING FOR BUSINESS


                                   22 May 2007
                                 Nanjing, China

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

                         workshop to be held in conjunction with

       the 11th Pacific-Asia Conference on Knowledge Discovery and Data 
Mining.


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


                               CALL FOR PRESENTATIONS


Business, government and science organizations are increasingly moving 
towards
decision-making processes that are based on information. In parallel, 
the amount
of data representing the activities of organizations that is stored in 
databases
is also growing. Therefore, the pressure to extract as much useful 
information as
possible from this data is very strong. Many tools for Data Mining (DM) and
Business Intelligence have been developed for that purpose. 
Additionally, DM
methods are increasingly being integrated into other information systems 
and
tools (e.g., customer relationship management, database management systems,
network security tools). Despite the maturity of the field, new problems 
and
applications are continuously challenging both researchers and 
practitioners. The
successful development of solutions for those problems requires that 
companies and
universities work in close contact. Feedback from people with a 
business-oriented
perspective is useful to assess current research results and to provide
researchers with new challenges to work on. On the other hand, 
practitioners as
well as decision makers in general need to be in touch with 
state-of-the-art
research. Otherwise, they will not be able to provide the best solutions to
their problems or to the problems of their clients. However, contact 
between
these two communities is not as frequent as would be desirable. Although 
data
mining, knowledge discovery and machine learning conferences provide an 
important
contribution, they mostly attract an audience with a more technical and 
research
background.


ORGANIZERS
* Carlos Soares (Faculty of Economics, University of Porto, Portugal)
* Yonghong Peng (School of Informatics, University of Bradford, UK)
* Jun Meng (College of Electrical Engineering, Zhejiang University, China)


IMPORTANT DATES
* Extended abstract submission: 5 January 2007
* Notification of acceptance: 5 February 2007
* Camera-ready paper submission: 30 February 2007
* Workshop date: 22 May 2007


TOPICS OF INTEREST
We are interested in presentations concerning applications, techniques 
and products.
We are interested in applications from (but not restricted to) the 
following areas:
* government
* banking and finance
* insurance
* retail
* e-business
* telecommunications
* network security
* entertainment
* automotive industry
* health
* pharmaceutics
We welcome success stories as well as applications which did not 
succeed. In
any case the presentations should include lessons learned that can be 
useful in
different situations. Submissions comparing different tools on 
applications are
also interesting. In the case of techniques, we are particularly 
interested in
innovative techniques used to address novel problems. Finally, submissions
concerning tools can describe the integration of DM and BI technologies 
into IS
tools of different kinds, especially in the case of tools for vertical
applications.


SUBMISSION
Interested authors should submit an extended abstract (max. 4 pages) in 
LNCS
format, either in english or chinese. More information about the LNCS 
format can
be found at http://www.springer.de/comp/lncs/authors.html.

Each submission will be evaluated by two reviewers, which will take the
following dimensions into account:
* innovation
* interest
* maturity
* lessons learned
* technical quality
* quality of presentation
Submissions should be sent by email to dmbiz at liacc.up.pt in the form of 
a PDF
file. The authors of accepted presentations will be asked to prepare a 
poster.

Submitting a paper to the workshop means that if the paper is accepted, 
at least
one author should attend the workshop to present the paper. For no-show 
authors,
their affiliations will receive a notification.

Selected papers will be given the opportunity to submit longer versions 
of their
work to be included in Post Proceedings volume to be published as a 
Springer LNAI
volume.


OTHER FORMS OF PARTICIPATION
Interested companies may become partners of this event. For more 
information,
please contact the workshop organizers.


PROGRAM COMMITTEE
Alípio Jorge			University of Porto		Portugal
André Carvalho			University of São Paulo		Brazil
Arno Knobbe			Kiminkii/Utrecht University	The Netherlands
Bhavani Thuraisingham		Bhavani Consulting		USA
Carlos Soares			University of Porto		Portugal
Carolina Monard			University of S. Paulo		Brazil
Chid Apte			IBM Research			USA
Dave Watkins			SPSS				USA	
Eric Auriol			Kaidara				France
Gerhard Paaß			Fraunhofer			Germany
Gregory Piatetsky-Shapiro	KDNuggets			USA
Jinlong Wang			Zhejiang University		China
Jinyan Li			Institute for Infocomm Research	Singapore
João Mendes Moreira		University of Porto		Portugal
Jörg-Uwe Kietz			Kdlabs AG			Switzerland
Jun Meng			Zhejiang University		China
Katharina Probst		Accenture Technology Labs	USA
Liu Zehua			Yokogawa Engineering		Singapore
Lou Huilan			Zhejiang University		China
Lubos Popelínský		Masaryk University		Czech Republic
Mykola Pechenizkiy		University of Eindhoven		The Netherlands
Paul Bradley			Apollo Data Technologies	USA
Peter van der Putten		Chordiant Software/Leiden University	The Netherlands
Petr Berka			University of Economics of Prague	Czech Republic
Ping Jiang			University of Bradford		UK
Raul Domingos			SPSS				Belgium
Rayid Ghani			Accenture			USA
Reza Nakhaeizadeh		DaimlerChrysler			Germany
Robert Engels			Cognit				Norway
Rüdiger Wirth			DaimlerChrysler			Germany
Ruy Ramos			University of Porto/Caixa Económica do Brasil	Portugal
Sascha Schulz			Humboldt University		Germany
Steve Moyle			Secerno				UK
Tie-Yan Liu			Microsoft Research		China
Tim Kovacs			University of Bristol		UK
Timm Euler			University of Dortmund		Germany
Wolfgang Jank			University of Maryland		USA
Walter Kosters			University of Leiden		The Netherlands
Xiangjun Dong			Shandong Institute of Light Industry	China
YongHong Peng			University of Bradford		UK
Zhao-Yang Dong			University of Queensland	Australia
Zhiyong Li			Zhejiang University		China


MORE INFORMATION: http://www.liacc.up.pt/dmbiz

CONTACT: dmbiz at liacc.up.pt




From csoares at liacc.up.pt  Thu Dec 14 15:45:59 2006
From: csoares at liacc.up.pt (Carlos Soares)
Date: Thu, 14 Dec 2006 14:45:59 +0000
Subject: Special Track on Data Mining STDM-CBMS 2007: 1st CFP
In-Reply-To: <DFA3206A564B80499B87B89B49BCD313971892@EXCHANGE3.campus.tue.nl>
References: <DFA3206A564B80499B87B89B49BCD313971892@EXCHANGE3.campus.tue.nl>
Message-ID: <458163A7.6040504@liacc.up.pt>

Pechenizkiy, M. wrote:
> ****************************************************
> Special Track on Data Mining STDM-CBMS 2007
> (http://www.win.tue.nl/~mpechen/conf/cbms2007/ )
> At 20th IEEE International Symposium on Computer-Based Medical Systems CBMS 2007 (http://cbms2007.uni-mb.si/) Maribor, Slovenia, 20-22 June 2007
> ****************************************************
>
> ***  FIRST CALL FOR PAPERS  ***
>
> Data mining has become a popular and effective technology for discovering new knowledge from large and complex data sets, and in particular, from medical data. Advances in data mining research and practice have made it possible to solve many important problems in medical diagnostics and health care. As part of the symposium, the Data Mining track invites original and high-quality submissions addressing all aspects of data mining with application to the medical context. 
>
> The topics of special interest include, but are not restricted to: 
>
> * Machine learning tools in medical applications
> * Supervised, unsupervised, and semisupervised learning
> * Feature selection and feature transformation
> * Data streams and longitudinal data analysis
> * Mining medical data with time- and context-changing patterns and data distributions
> * Visualisation of data and data mining results
> * Evaluation and interpretation of data mining results
> * Knowledge-driven data mining approaches
> * Cost-sensitive data mining
>
> Also we encourage papers that describe case studies based on large medical databases. 
>
> * IMPORTANT DATES *
>
> 31 January 2007         Paper submission
> 15 March 2007           Acceptance notification
> 15 April 2007           Camera-ready paper
> 20-22 June 2007         Symposium
>
> * SUBMISSION PROCEDURES *
>
> Submissions (6 pages max, IEEE 2-column format, including figures and references) will be done electronically via the CBMS 2007 web submission system. Each accepted paper will be published in the conference proceedings by IEEE CS Press. 
>
> For more details please see: 
> http://cbms2007.uni-mb.si/ and http://www.win.tue.nl/~mpechen/conf/cbms2007/. 
>  
>
> * TRACK CHAIRS *
>  
> Mykola Pechenizkiy      Technical University of Eindhoven, the Netherlands
> Seppo Puuronen          University of Jyväskylä, Finland
> Alexey Tsymbal          Siemens Corporate Research, Germany
>
>  
>
> * TRACK PROGRAMME COMMITTEE * (to be extended)
>
> Ameen Abu-Hanna         University of Amsterdam, The Netherlands 
> Riccardo Bellazzi       University of Pavia, Italy 
> Toon Calders            Technical University of Eindhoven, the Netherlands 
> Werner Dubitzky         University of Ulster, UK
> John H. Holmes          Hospital of University of Pennsylvania, USA  
> Eamonn Keogh            University of California at Riverside, USA 
> Peter Kokol             University of Maribor, Slovenia 
> Kerstin Maximini        University of Trier, Germany 
> Dunja Mladenic          J. Stefan Institute, Slovenia 
> Mikolaj Morzy           Poznan University of Technology, Poland 
> Vili Podgorelec         University of Maribor, Slovenia 
> Rainer Schmidt          University of Rostock, Germany 
> Andrei L. Turinsky       University of Calgary, Canada 
> Marek Wojciechowski     Poznan University of Technology, Poland 
> Stephen Wong            Harvard Medical School, USA 
> Anton Zamolotskikh      Trinity College Dublin, Ireland
>
>   


-- 
Carlos Soares
Fac. of Economics/University of Porto
csoares at liacc.up.pt






From hra at pixel.cviog.uga.edu  Thu Dec 14 19:53:02 2006
From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia)
Date: Thu, 14 Dec 2006 13:53:02 -0500
Subject: Worldcomp'07: Call For Papers/Sessions - conferences in computer science and engineering, USA
Message-ID: <200612141853.kBEIr2Pq019808@pixel.cviog.uga.edu>


I would be most grateful if you would share the announcement below
with those who may be interested. The Academic Sponsors of these conferences
include research labs/centers at Harvard University, MIT, University of
Texas at Austin, Purdue University, University of Iowa, Russian Academy
of Sciences, and others.

Thank you in advance,

Hamid R. Arabnia, PhD.
Professor, Computer Science
General Chair, WORLDCOMP'07
Editor-in-Chief, The Journal of Supercomputing (Springer)
-----
                  Call  For  Papers
                        and
              Call For Session Proposals

     The 2007 World Congress in Computer Science,
     Computer Engineering, and Applied Computing
                    WORLDCOMP'07
         (composed of 24 Joint Conferences)
          June 25-28, 2007, Las Vegas, USA

Dear Colleagues:

You are invited to submit a draft/full paper and/or a proposal to organize
a session/workshop.  All accepted papers will be published in the
respective conference proceedings.  The Academic Co-sponsors of
WORLDCOMP'07 include: MIT Media Lab, MIT; Harvard University's
Statistical Genomics and Computational Biology Lab; Texas Advanced
Computing Center, The University of Texas at Austin; Statistical and
Computational Intelligence Lab of Purdue University; University of
Iowa's Medical Imaging HPC Lab., and Institute for Informatics Problems
of the Russian Academy of Sciences, Moscow, Russia.  A more complete
list of sponsors can be found below.

The 2007 World Congress in Computer Science, Computer Engineering,
and Applied Computing (WORLDCOMP'07) is composed of the following
24 conferences (all will be held simultaneously, same location
and dates: June 25-28, 2007, USA).

o The 2007 International Conference on Parallel and Distributed
  Processing Techniques and Applications (PDPTA'07)

o The 2007 International Conference on Grid Computing and
  Applications (GCA'07)

o The 2007 International Conference on Computer Design (CDES'07)

o The 2007 International Conference on Scientific Computing (CSC'07)

o The 2007 International Conference on Artificial Intelligence
  (ICAI'07)

o The 2007 International Conference on Genetic and Evolutionary
  Methods (GEM'07)

o The 2007 International Conference on Bioinformatics and
  Computational Biology (BIOCOMP'07)

o The 2007 International Conference on Software Engineering Research
  and Practice (SERP'07)

o The 2007 International Conference on Wireless Networks (ICWN'07)

o The 2007 International Conference on Image Processing, Computer
  Vision, and Pattern Recognition (IPCV'07)

o The 2007 International Conference on Modeling, Simulation and
  Visualization Methods (MSV'07)

o The 2007 International Conference on Computer Graphics and Virtual
  Reality (CGVR'07)

o The 2007 International Conference on Multimedia Systems and
  Applications (MSA'07)

o The 2007 International Conference on Internet Computing (ICOMP'07)

o The 2007 International Conference on Semantic Web and Web Services
  (SWWS'07)

o The 2007 International Conference on Security and Management (SAM'07)

o The 2007 International Conference on Data Mining (DMIN'07)

o The 2007 International Conference on Information and Knowledge
  Engineering (IKE'07)

o The 2007 International Conference on e-Learning, e-Business,
  Enterprise Information Systems, and e-Government (EEE'07)

o The 2007 International Conference on Embedded Systems and
  Applications (ESA'07)

o The 2007 International Conference on Frontiers in Education: Computer
  Science and Computer Engineering (FECS'07)

o The 2007 International Conference on Foundations of Computer
  Science (FCS'07)

o The 2007 International Conference on Engineering of Reconfigurable
  Systems and Algorithms (ERSA'07)

o The 2007 International Conference on Communications in Computing
  (CIC'7)

(a link to each conference's URL can be found at
http://www.worldacademyofscience.org/worldcomp07)

General Chair:

   H. R. Arabnia, PhD
   Professor, Computer Science
   Editor-in-Chief, The Journal of Supercomputing (Springer)
   The University of Georgia
   Department of Computer Science
   415 Graduate Studies Research Center
   Athens, Georgia 30602-7404, USA
   email: hra at cs.uga.edu

Purpose / History:

   This set of joint conferences is the largest annual gathering of
   researchers in computer science, computer engineering and applied
   computing.  Many of the 24 joint conferences in WORLDCOMP are the
   premier conferences for presentation of advances in their respective
   fields.  Most of these conferences have been evaluated and determined
   to be top tier research conferences
   (see http://www.cs-conference-ranking.org/index.html for an example).
   We anticipate to have 2000 or more attendees from over 75 countries
   participating in the 2007 joint conferences.

   The motivation is to assemble a spectrum of affiliated research
   conferences into a coordinated research meeting held in a common
   place at a common time.  The main goal is to provide a forum for
   exchange of ideas in a number of research areas that interact.  The
   model used to form these annual conferences facilitates communication
   among researchers from all over the world in different fields of
   computer science, computer engineering and applied computing.  Both
   inward research (core areas of computer science and engineering) and
   outward research (multi-disciplinary, inter-disciplinary, and
   applications) will be covered during the conferences.

Proposal for Organizing Sessions/Workshops:

   Each session will have at least 6 paper presentations from different
   authors (12 papers in the case of workshops).  The session chairs
   will be responsible for all aspects of their sessions; including,
   soliciting papers, reviewing, selecting, ...  The names of session
   chairs will appear as Associate Editors in the conference proceedings
   and on the cover of the books.

   Proposals to organize sessions should include the following information:
   name and address (+ email) of proposer, title of session, a 100-word
   description of the topic of the session, the name of the conference the
   session is submitted for consideration, and a short description on how
   the session will be advertised (in most cases, session proposers solicit
   papers from colleagues and researchers whose work is known to the
   session proposer).  E-mail your proposal to H. R. Arabnia (address is
   given above).  We would like to receive the proposals by December 29, 2006.

Submission of Papers:

   Prospective authors are invited to submit their draft/full paper
   (about 5 to 8 pages - single space, font size of 10 to 12) to
   H. R. Arabnia by Feb. 20, 2007. E-mail submissions in MS document or
   PDF formats are preferable (Fax or postal submissions are also fine.)
   All reasonable typesetting formats are acceptable (later, the authors
   of accepted papers will be asked to follow a particular typesetting
   format to prepare their papers for publication.)

   The length of the Camera-Ready papers (if accepted) will be limited to
   7 (IEEE style) pages.  Papers must not have been previously published
   or currently submitted for publication elsewhere.  The first page of
   the draft paper should include: title of the paper, name, affiliation,
   postal address, email address, and telephone number for each author.
   The first page should also identify the name of the author who will
   be presenting the paper (if accepted) and a maximum of 5 topical
   keywords that would best represent the content of the paper.  Finally,
   the name of the conference that the paper is being submitted to must be
   stated on the first page.

   Papers will be evaluated for originality, significance, clarity, impact,
   and soundness.  Each paper will be refereed by two experts in the field
   who are independent of the conference program committee.  The referees'
   evaluations will then be reviewed by two members of the program
   committee who will recommend a decision to the chair of the track that
   the paper has been submitted to.  The chair will make the final decision.
   Lastly, the Camera-Ready papers will be reviewed by one member of the
   program committee.

Members of Program and Organizing Committees:

   The Program Committee includes members of chapters of World Academy
   of Science (chapters: supercomputing; scientific computing; artificial
   intelligence; imaging science; databases; simulation; software
   engineering; embedded systems; internet and web technologies;
   communications; computer security; and bioinformatics.) The Program
   Committee for individual conferences is currently being compiled. Those
   interested in joining the Program Committee should email H. R. Arabnia
   (hra at cs.uga.edu) the following information: Name, affiliation and
   position, complete mailing address, email address, tel/fax numbers,
   a short biography together with research interests and the name of
   the conference offering to help with.

Location of Conferences:

   The conferences will be held in the Monte Carlo Resort hotel, Las Vegas,
   Nevada, USA (with any overflows at other near-by hotels).  The Monte
   Carlo Resort is a mega hotel with excellent conference facilities and
   over 3,000 rooms.  The hotel is minutes from the airport with 24-hour
   shuttle service to and from the airport.  This hotel has many
   recreational attractions, including: waterfalls, spa, pools, sunning
   decks, Easy River water ride, wave pool, lighted tennis courts,
   health spa (with workout equipment, whirlpool, sauna, ...),
   nightly shows, snack bars, many restaurants, shopping area, bars, ...
   Many of these attractions are open 24 hours a day and most are suitable
   for families and children.  The negotiated room rate for conference
   attendees is very reasonable.  The hotel is within walking distance
   from most other attractions (major shopping areas, night clubs, free
   street shows, Golf courses, ...).

Co-Sponsors (this is a partial list):

   Academic Co-Sponsors of WORLDCOMP'07 include:
     - Massachusetts Institute of Technology (MIT) Media Laboratory,
       MIT (Cambridge, Massachusetts)
     - Statistical Genomics and Computational Biology Laboratory,
       Department of Statistics, Harvard University (Cambridge,
       Massachusetts)
     - Texas Advanced Computing Center, The University of Texas at
       Austin (Austin, Texas)
     - Statistical and Computational Intelligence Laboratory of
       Purdue University (West Lafayette, Indiana)
     - University of Iowa's Medical Imaging HPC Lab (Iowa City, Iowa)
     - Institute for Informatics Problems of the Russian Academy of
       Sciences, Moscow, Russia);
   Other Co-sponsors include:
     - HPCwire
     - GRIDtoday
     - STEM Education Society
     - HPCSoft, HPC Software Inc.
     - International Technology Institute (ITI)
     - H2cM - Hodges' Health, UK

Important Dates:

   Dec.  29, 2006:    Proposals for organizing/chairing sessions
   Feb.  20, 2007:    Submission of full/draft papers (about 5 to 8 pages)
   March 20, 2007:    Notification of acceptance
   April 20, 2007:    Camera-Ready papers and Registration due
   June 25-28, 2007:  The 2007 World Congress in Computer Science,
                      Computer Engineering, and Applied Computing
                      (WORLDCOMP'07 - 24 joint conferences)


From stijn.heymans at deri.org  Fri Dec 15 06:54:48 2006
From: stijn.heymans at deri.org (Stijn Heymans)
Date: Fri, 15 Dec 2006 06:54:48 +0100
Subject: Call for tutorials: European Semantic Web Conference 2007 (ESWC 2007)
Message-ID: <200612150654.53907.stijn.heymans@deri.org>

[Apologies if you receive multiple copies]

==================================================================
	CALL FOR TUTORIALS

	4th European Semantic Web Conference (ESWC 2007)
	3-7 June 2007
	Innsbruck, Austria

DESCRIPTION The vision of the Semantic Web is to enhance today’s web via the
exploitation of machine-processable meta data. The explicit representation of
the semantics of data, enriched with domain theories (Ontologies), will enable
a web that provides a qualitatively new level of service. It will weave
together a large network of human knowledge and makes this knowledge
machine-processable. Various automated services will help the users to achieve
their goals by accessing and processing information in machine-understandable
form. This network of knowledge systems will ultimately lead to truly
intelligent systems, which will be employed for various specialized reasoning
subsystems to accomplish complex tasks. Many technologies and methodologies are
being developed within Artificial Intelligence, Natural Language Processing,
Machine Learning, Databases, Multimedia Systems, Distributed Systems, Software
Engineering and Information Systems that can contribute towards the realization
of this vision.

The 4th Annual European Semantic Web Conference (ESWC 2007) will present the
latest results in research and application of Semantic Web technologies,
including knowledge mark-up languages, Semantic Web services, and ontology
management. More details can be found on the ESWC 2007 homepage.

In addition to the regular research and workshop programme, ESWC 2007 invites
tutorials on relevant topics of interest. A tutorial should present the state
of the art of a semantic web area enabling attendees to fully appreciate the
current issues, main schools of thought and possible application areas.
Proposals for tutorials are welcome for the ESWC 2007 topics of interest (see
bottom); tutorial proposals are requested to follow the submission process
defined below.

TUTORIAL PROPOSALS


ESWC 2007 tutorials may be either for a full day or for a half day. Unless
there is a clear rationale we will give preference to half day tutorials over
full day tutorials.

Tutorials proposed for the ESWC 2007 should cover one topic in appropriate
depth (see ESWC 2007 topics below), and present this in a appropriate manner
which enables attendees to fully comprehend and apply emerging Semantic Web
technologies. Although tutorials may focus entirely on theoretical aspects, we
strongly encourage hands-on sessions where appropriate.

Tutorial proposals should not exceed 5 pages in DIN A4 format and should
contain the following information:

    * abstract (200 words maximum; to be published on the ESWC 2007 website)
    * tutorial description (aims, content, presentation style, technical requirements)
    * relevance of the tutorial to ESWC 2007
    * outline of the tutorial content and schedule
    * information on presenters (name, affiliation, expertise, experiences in teaching and in tutorial presentation)

Tutorial proposals are to be submitted to Joerg Diederich, email: diederich at l3s dot de www: http://www.l3s.de/~diederich

Submitted proposals that follow the above guidelines will be reviewed by the
ESWC 2007 organizing committee with respect to the relevance of the topic, the
content, and the presentation style.

Important Dates:

    * submission deadline for tutorial proposals: 19 December 2006
    * notification of acceptance: 18 January 2007
    * tutorial hand-outs due: 31 March 2007
    * tutorial presentation date: 3 June 2007

For accepted tutorials, the presenters will need to submit the material for
hand-outs (the slide sets and / or additional information; software
installation and usage guides for practical hands-on sessions) to the
organization committee for preprinting and placement on the ESWC 2007 website.

For each accepted tutorial, we offer one discount of 180 EUR on the
registration fee for ESWC 2007 (50% of the Early-Bird registration fee).

TOPIC LIST The topics of interest for tutorials include, but are not limited to
the following:

    * Ontology Management (creation, evolution, evaluation, etc.)
    * Ontology Alignment (mapping, matching, merging, mediation and reconciliation)
    * Ontology Learning and Metadata Generation (e.g. HLT and ML approaches)
    * Multimedia and Semantic Web
    * Semantic Annotation of Data
    * Semantic Web Trust, Privacy, Security and Intellectual Property Rights
    * Semantic Web Rules and Query Languages
    * Logics for the Semantic Web
    * Reasoning on the Semantic Web
    * Behavior in the Semantic Web
    * Searching, Querying, Visualizing, Navigating and Browsing the Semantic Web
    * Personalization and User Modelling
    * User Interfaces and Semantic Web
    * Semantic Grid and Middleware
    * Semantic Web Services (description, discovery, invocation, composition, choreography, etc.)
    * Semantic Web-based Knowledge Management (e.g. Semantic Desktop, Knowledge Portals)
    * Semantic Web for e-Business, e-Culture, e-Government, e-Health, e-Learning, e-Science
    * Database Technologies for the Semantic Web
    * Data Semantics and Web Semantics
    * Semantic Interoperability
    * Semantic Workflows
    * Semantic Web Mining

TUTORIAL CHAIR Joerg Diederich (L3S Research Center), diederich at l3s dot de, http://www.l3s.de/~diederich

-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : nicht verfügbar
Dateityp    : application/pgp-signature
Dateigröße  : 189 bytes
Beschreibung: nicht verfügbar
URL         : <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20061215/f2bb4f27/attachment.sig>

From franconi at inf.unibz.it  Sun Dec 17 23:03:50 2006
From: franconi at inf.unibz.it (Enrico Franconi)
Date: Mon, 18 Dec 2006 11:03:50 +1300
Subject: European MSc in Computational Logic - scholarships available
Message-ID: <E40EFEC3-0C24-4B39-BECE-85CF2B1F6452@inf.unibz.it>

     *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC ***
               http://www.computational-logic.eu

The  Faculty of  Computer Science  at  the Free  University of  Bozen-
Bolzano (FUB), in Italy  (at the heart  of the  Dolomites mountains in
South-Tyrol),   is   offering   the   European  Masters   Program   in
Computational  Logic as  part of  its  Master of  Science in  Computer
Science offer (Laurea Specialistica).  The European Masters Program in
Computational Logic is an  international distributed Master of Science
course, in  cooperation with the  computer science departments  in the
following universities:

     * Free University of Bozen-Bolzano, Italy
     * Technische Universitaet Dresden, Germany
     * Universidade Nova de Lisboa, Portugal
     * Technische Universitaet Wien, Austria
     * Universidad Politecnica de Madrid, Spain

This program, completely in English, involves studying one year at the
Free University  of Bozen-Bolzano, and possibly  completing the second
year with a  stay in one of the partner  universities. After this, the
student will obtain, together with  the European degree, two Master of
Science  degrees:  the  Laurea  Specialistica  degree  from  the  Free
University  of  Bozen-Bolzano, with  legal  value  in  Italy, and  the
respective Master of Science  degree from the visited university, with
legal value in its country.

APPLICATION DEADLINES:

- * 10 FEBRUARY 2007 *: deadline  for non-European students requesting
   an Erasmus Mundus scholarship
   (notification of acceptance: 10 March 2007)
- 15 June 2007: deadline for all European and non-European students
   (notification of acceptance: 15 July 2007)
- 24 August 2007: last deadline only for European students
   starting at the Free University of Bozen-Bolzano, Italy
   (notification of acceptance: 10 September 2007)

** NOTE **: 10 FEBRUARY 2007 is the final deadline  for requesting an
Erasmus Mundus scholarship for non-European students!

SCHOLARSHIPS & MONEY SUPPORT:

In 2007 the European Masters Program in Computational Logic will offer
several new Erasmus Mundus  scholarships for non-European citizens (in
2004,  2005 and  2006 more  than 50  Erasmus Mundus  scholarships were
given). Each  scholarship for each  student amounts to 21,000  EUR per
academic  year; this includes  10 monthly  grants of  1,600 EUR  and a
fixed amount of 5,000 EUR for fees, travel expenses, relocation costs,
etc.  The 10th  of February 2007 is the  final deadline for requesting
an Erasmus Mundus scholarship for non-European students.

European citizens or non-European citizens with residence in Italy can
apply to  scholarships which  are granted purely  on the basis  of the
yearly income of the applicant and of her/his parents or husband/wife.
Scholarships  amount up  to more  than  6,000 EUR  per academic  year,
including facilities  on the accommodation and  total reimbursement of
the enrolment fees.

The Free  University of Bozen-Bolzano has a  tuition-waiver budget for
reimbursing  the total  tuition/enrolment fees  to all  the applicants
studying in Bozen-Bolzano  and who do not have  already a scholarship;
so, applicants studying  in Bozen-Bolzano are entitled  not to pay any
tuition/enrolment fees.

Check the web page for detailed info on applications and scholarships:
http://www.computational-logic.eu

THE STUDY PROGRAMME:

The  European Masters Program  in Computational  Logic is  designed to
meet  the demands  of industry  and research  in this  rapidly growing
area.  Based on a  solid foundation in mathematical logic, theoretical
computer science, artificial  intelligence and declarative programming
students  will  acquire   in-depth  knowledge  necessary  to  specify,
implement and  run complex systems as  well as to  prove properties of
these  systems. In  particular, the  focus of  instruction will  be in
deduction systems, knowledge  representation and reasoning, artificial
intelligence, formal  specification and verification,  syntax directed
semantics, logic  and automata  theory, logic and  computability. This
basic  knowledge is  then  applied  to areas  like  logic and  natural
language  processing,  logic  and  the semantic  web,  bioinformatics,
information  systems and  database technology,  software  and hardware
verification.  Students  will acquire  practical  experience and  will
become  familiar in  the use  of tools  within these  applications. In
addition, students will  be prepared for a future  PhD, they will come
in  contact with  the  international research  community  and will  be
integrated   into  ongoing  research   projects.  They   will  develop
competence  in  foreign  languages  and  international  relationships,
thereby improving their social skills.

Applicants  should  have  a  Bachelor  degree  (Laurea  triennale)  in
Computer Science, Computer Engineering, or other relevant disciplines;
special cases will be considered.  The programme is part of the Master
in Computer  Science (Laurea Specialistica in Informatica)  and it has
various  strengths that make  it unique  amongst Italian  and European
universities:

* Curriculum taught entirely in English:  The programme is open to the
    world and prepares the students to move on the international scene.
* Possibility of a strongly research-oriented curriculum.
* Possibility  for  project-based  routes  to obtain  the  degree  and
    extensive lab facilities.
* Other specialisations  with streams in the  hottest Computer Science
    areas,   such  as  Web  Technologies,  Information   and  Knowledge
    Management, Databases and Software Engineering.
* International student community.
* Direct  interaction with  the local  and international  industry and
    research  centres, with the possibility  of practical  and research
    internships that can lead to future employment.
* Excellent scholarship opportunities and student accommodations.

The European Masters Program in  Computational Logic is one of the few
European  Masters  awarded  by  the European  Union's  Erasmus  Mundus
programme from its first year of existence in 2004. The Erasmus Mundus
programme is  a co-operation  and mobility programme  in the  field of
higher  education which  promotes the  European Union  as a  centre of
excellence  in  learning  around  the  world.   It  supports  European
top-quality   Masters  Courses   and  enhances   the   visibility  and
attractiveness  of European  higher education  in  third-countries. It
also  provides  EU-funded  scholarships  for  third-country  nationals
participating in  these Masters Courses,  as well as  scholarships for
EU-nationals studying in third-countries.

The  European  Masters Program  in  Computational  Logic is  sponsored
scientifically by the European  Network of Excellence on Computational
Logic  (CoLogNET), the  European  Association of  Logic, Language  and
Information   (FoLLI),  the   European   Coordinating  Committee   for
Artificial   Intelligence  (ECCAI),   the   Italian  Association   for
Artificial   Intelligence  (AI*IA),   the   Italian  Association   for
Informatics  (AICA, member  of  the Council  of European  Professional
Informatics  Societies), the  Italian  Association for  Logic and  its
Applications  (AILA), and  the Portuguese  Association  for Artificial
Intelligence (APPIA).

THE FREE UNIVERSITY OF BOZEN-BOLZANO:

The Free  University of Bozen-Bolzano, founded in  1997, boasts modern
premises  in   the  centre   of  Bozen-Bolzano.  The   environment  is
multilingual,  South Tyrol being  a region  where three  languages are
spoken: German, Italian and Ladin. Studying in a multilingual area has
shown  that  our students  acquire  the  cutting  edge needed  in  the
international business  world. Many of  our teaching staff  hails from
abroad.   Normal  lectures  are   complemented  with   seminars,  work
placements and  laboratory work, which give our  students a vocational
as well  as theoretical training, preparing them  for their subsequent
professional careers. Studying at the Free University of Bozen-Bolzano
means,  first and  foremost,  being  guided all  the  way through  the
student's educational career.
Bozen-Bolzano, due to its enviable geographical position in the centre
of   the  Dolomites,  also   offers  our   students  a   multitude  of
opportunities  for  spending  their  free-time. The  city  unites  the
traditional with the modern. Young people and fashionable shops throng
the city  centre where ancient mercantile buildings  are an attractive
backdrop to a city that is  in continual growth. To the south there is
the  industrial  and  manufacturing  area with  prosperous  small  and
medium-sized businesses  active in every economic sector.  Back in the
17th century  Bozen-Bolzano was already a  flourishing mercantile city
that, thanks  to its particular  geographic position, functioned  as a
kind of bridge between northern and southern Europe. As a multilingual
town  and a cultural  centre Bozen-Bolzano  still has  a lot  to offer
today.  Its plethora  of theatres,  concerts with  special programmes,
cinemas and museums, combined with a series of trendy night spots that
create local  colour make  Bozen-Bolzano a city  that is  beginning to
cater for  its increasingly demanding  student population. And  if you
fancy a very special experience, go and visit the city's favourite and
most famous resident - "Oetzi", the Ice Man of Similaun, housed in his
very  own  refrigerated room  in  the  recently opened  archaeological
museum.
Bozen-Bolzano and its surroundings are an El Dorado for sports lovers:
jogging  on the  grass alongside  the River  Talfer-Talvera,  walks to
Jenesien-S.Genesio   and  on   the  nearby   Schlern-Sciliar  plateau,
excursions  and mountain climbing  in the  Dolomites, swimming  in the
numerous nearby lakes and, last but not least, skiing and snowboarding
in the surrounding ski areas.

FURTHER INFORMATION:

Prof. Enrico Franconi at info at fub.computational-logic.eu

European Masters Program in Computational Logic
Faculty of Computer Science
Free University of Bozen-Bolzano
Piazza Domenicani, 3
I-39100 Bozen-Bolzano BZ, Italy

Phone: +39 0471 016 000
Fax:   +39 0461 173 9006
Email: info at fub.computational-logic.eu
Web site: http://www.computational-logic.eu



From riemsdijk at pst.ifi.lmu.de  Wed Dec 20 14:28:04 2006
From: riemsdijk at pst.ifi.lmu.de (Birna van Riemsdijk)
Date: Wed, 20 Dec 2006 14:28:04 +0100
Subject: CFP: DALT@AAMAS'07
Message-ID: <45893A64.5070307@pst.ifi.lmu.de>


  [Please accept our apologies if you receive multiple postings.]

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

                     5th International Workshop on
       Declarative Agent Languages and Technologies (DALT 2007)

                              14 or 15 May 2007

                   Hawaii Convention Center, Hawaii
                 (held in conjunction with AAMAS 2007)

             URL: http://www.di.unito.it/~baldoni/DALT-2007/
				
*****************************************************************
CALL FOR PAPERS
*****************************************************************

The  workshop  on  Declarative  Agent  Languages and Technologies
(DALT), in its fifth  edition this year,  is  a  well-established
forum  for researchers interested in sharing their experiences in
combining declarative and formal approaches with engineering  and
technology  aspects  of  agents  and multiagent systems. Building
complex agent systems calls for models and technologies that  en-
sure  predictability,  allow  for the verification of properties,
and guarantee flexibility.  Developing technologies that can sat-
isfy  these  requirements  still poses an important and difficult
challenge. Here, declarative approaches have the potential of of-
fering solutions satisfying the needs for both specifying and de-
veloping multiagent systems.  Moreover, they are gaining more and
more  attention in important application areas such as the seman-
tic web, service-oriented  computing,  security,  and  electronic
contracting.  For  instance,  some convergence points between the
areas of formal methods for dealing with web services and  formal
methods  for agents are emerging and gaining more and more atten-
tion.

DALT 2007 will be held as a satellite workshop of AAMAS 2007, the
6th  International Joint Conference on Autonomous Agents and Mul-
tiagent Systems, in May 2007 in Honolulu, Hawaii.  Following  the
success of four previous editions, DALT will again aim at provid-
ing a discussion forum  to  both  (i)  support  the  transfer  of
declarative  paradigms and techniques to the broader community of
agent researchers and practitioners, and (ii) to bring the  issue
of  designing  complex  agent  systems  to  the  attention of re-
searchers working on declarative languages and technologies.

*****************************************************************
TOPICS OF INTEREST
*****************************************************************

DALT topics of interest include, but are not limited to:

General themes:
* specification of agents and multiagent systems
* declarative approaches to engineering agent systems

Formal techniques:
* (constraint) logic programming approaches to agent systems
* distributed constraint satisfaction
* modal and epistemic logics for agent modelling
* model checking agents and multiagent systems

Declarative models:
* declarative models of agent beliefs, goals and capabilities
* declarative models of bounded rationality
* declarative paradigms for the combination of heterogeneous
   agents
* electronic institutions
* agent-inspired declarative approaches to web services or
   service-oriented architectures

Applications of declarative techniques to:
* agents and the semantic web
* service-oriented multiagent systems
* agent communication and coordination languages
* protocol specification and conformance checking
* description of contracts and negotiation policies
* security in multiagent systems

Evaluation of declarative approaches:
* experimental analysis of declarative agent technologies
* industrial  experiences with declarative agent technologies

*****************************************************************
SUBMISSION INSTRUCTIONS
*****************************************************************

We welcome and encourage the submission of high-quality, original
papers,  which  are  not  being   submitted   simultaneously  for
publication  elsewhere.  Papers  should  be  written in  English,
formatted according to the Springer LNCS style, and not exceed 16
pages. Paper submission is electronic via the conference website.

*****************************************************************
WORKSHOP PROCEEDINGS
*****************************************************************

Printed  copies  of  the  proceedings  will  be  available at the
workshop.   Assuming   a   sufficient   number  of   high-quality
submissions,  we are  again  going to consider the publication of
formal  post-proceedings  with  an  international  publisher. The
post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476),
DALT  2005  (LNAI 3904),  and  DALT  2006  (LNAI 4327)  have been
published by Springer-Verlag in the  Lecture Notes in  Artificial
Intelligence series.

*****************************************************************
IMPORTANT DATES
*****************************************************************

* Paper submission deadline: 5 February 2007
* Notification of authors: 5 March 2007
* Final versions due: 19 March 2007
* Workshop: 14 or 15 May 2007

*****************************************************************
PROGRAMME COMMITTEE
*****************************************************************

* Marco Alberti (University of Ferrara, Italy)
* Natasha Alechina (University of Nottingham, UK)
* Grigoris Antoniou (University of Crete, Greece)
* Matteo Baldoni (University of Torino, Italy) -- co-chair
* Cristina Baroglio (University  of Torino, Italy)
* Rafael Bordini (University of Durham, UK)
* Keith Clark (Imperial College London, UK)
* Ulle Endriss (University of Amsterdam, Netherlands)
* Benjamin Hirsch (Technical University Berlin, Germany)
* Shinichi Honiden (National Institute of Informatics, Japan)
* John Lloyd (Australian National University, Australia)
* Viviana Mascardi (University of Genova, Italy)
* John-Jules Meyer (University of Utrecht, Netherlands)
* Enrico Pontelli (New Mexico State University, USA)
* Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen,
   Germany) -- co-chair
* Chiaki Sakama (Wakayama University, Japan)
* Munindar Singh (North Carolina State University, USA)
* Tran Cao Son (New Mexico State University, USA) -- co-chair
* Wamberto Vasconcelos (University of Aberdeen, UK)
* Mirko Viroli (University of Bologna, Italy)
* Michael Winikoff (RMIT University, Australia) -- co-chair

*****************************************************************
ORGANISING COMMITTEE
*****************************************************************

* Matteo Baldoni (University of Torino, Italy)
* Tran Cao Son (New Mexico State University, USA)
* M. Birna van Riemsdijk (Ludwig-Maximilians-Universitaet
   Muenchen, Germany)
* Michael Winikoff (RMIT University, Australia)

*****************************************************************
STEERING COMMITTEE
*****************************************************************

* João Leite (New University of Lisbon, Portugal)
* Andrea Omicini (University of Bologna-Cesena, Italy)
* Leon Sterling (University of Melbourne, Australia)
* Paolo Torroni (University of Bologna, Italy)
* Pinar Yolum (Bogazici University, Turkey)

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



From jv at imm.dtu.dk  Thu Dec 21 09:52:36 2006
From: jv at imm.dtu.dk (Joergen Villadsen)
Date: Thu, 21 Dec 2006 09:52:36 +0100
Subject: CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007)
Message-ID: <20061221085236.ABC448A0025@pfepc.post.tele.dk>

*******************************************************************
                       FIRST CALL FOR PAPERS
      International Workshop on Hybrid Logic 2007 (HyLo 2007)
                   http://hylomol.ruc.dk/HyLo2007
                        6 - 10 August, 2007
                       organized as part of
                   the European Summer School on
                  Logic, Language and Information
           ESSLLI 2007 https://www.cs.tcd.ie/esslli2007
                   6 - 17 August, 2007 in Dublin
*******************************************************************

ORGANIZERS:

Torben Braüner (Roskilde University, Denmark, torben at ruc.dk) - Chair
Jørgen Villadsen (Technical University of Denmark, jv at imm.dtu.dk) 

WORKSHOP PURPOSE:

Hybrid logic is a branch of modal logic allowing direct reference 
to worlds/times/states. It is easy to justify interest in hybrid 
logic on the grounds of applications as the additional expressive 
power is very useful. In addition, hybrid-logical machinery improves 
the behaviour of the underlying modal formalism. For example, it 
becomes considerably simpler to formulate modal proof systems, and 
one can prove completeness and interpolation results of a 
generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard 
hybrid-logical machinery like nominals, satisfaction operators, and 
the downarrow binder, but generally extensions of modal logic that 
increase its expressive power.

The workshop HyLo 2007 will be relevant to a wide range of people, 
including those interested in description logic, feature logic, 
applied modal logics, temporal logic, and labelled deduction. The 
workshop continues a series of previous workshops on hybrid logic, 
most recently the LICS-affiliated HyLo 2006 
(http://hylomol.ruc.dk/HyLo2006/). The workshop aims to provide a 
forum for advanced PhD students and researchers to present and 
discuss their work with colleagues and researchers who work in the 
broad subject areas represented at ESSLLI.

For more general background on hybrid logic, and many of the key 
papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). 

SUBMISSION DETAILS:

We invite the contribution of papers reporting new work from
researchers interested in hybrid logic. Details about the 
submission procedure will be announced in the second call for 
papers. The accepted papers will appear in the workshop 
proceedings published by ESSLLI. One author for each accepted paper 
must attend the workshop in order to present the paper. It is 
planned to publish revised versions of the accepted papers in a 
special issue of Journal of Logic, Language and Information.

WORKSHOP FORMAT:

The workshop is part of ESSLLI and is open to all ESSLLI 
participants. It will consist of five 90-minute sessions held over 
five consecutive days in the first week of ESSLLI. There will be 
2 or 3 slots for paper presentation and discussion per session. 
On the first day the workshop organizers will give an introduction 
to the topic.

INVITED SPEAKERS:

Balder ten Cate (University of Amsterdam, The Netherlands)
Ian Hodkinson (Imperial College, UK)

PROGRAM COMMITTEE:

Carlos Areces (INRIA Lorraine, France)
Patrick Blackburn (INRIA Lorraine, France)
Thomas Bolander (Technical University of Denmark) - Co-Chair
Torben Braüner (Roskilde University, Denmark) - Chair
Mai Gehrke (New Mexico State University, USA)
Valeria de Paiva (PARC, USA)
Jørgen Villadsen (Technical University of Denmark) 

IMPORTANT DATES:

Deadline for submissions: March 8, 2007
Notification of acceptance: April 21, 2007
Preliminary programme: April 24, 2007
ESSLLI early registration: May 1, 2007
Deadline for final versions: May 17, 2007
Final programme: June 21, 2007
Workshop dates: 6 - 10 August, 2007

LOCAL ARRANGEMENTS:

All workshop participants including the presenters will be required 
to register for ESSLLI. The registration fee for authors presenting 
a paper will correspond to the early student/workshop speaker 
registration fee. Moreover, a number of additional fee waiver grants 
will be made available by the ESSLLI local organizing committee on 
a competitive basis and workshop participants are eligible to apply 
for those. There will be no reimbursement for travel costs and 
accommodation. Workshop speakers who have difficulty in finding 
funding should contact the local organizing committee to ask for 
the possibilities for a grant.

FURTHER INFORMATION:

About the workshop: http://hylomol.ruc.dk/HyLo2007
About ESSLLI: https://www.cs.tcd.ie/esslli2007


From WiebevanderHoek at csc.liv.ac.uk  Fri Dec 22 10:17:32 2006
From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek)
Date: Fri, 22 Dec 2006 09:17:32 +0000 (GMT)
Subject: Logic, Rationality and Interaction
Message-ID: <Pine.LNX.4.64.0612220917050.9541@linux01.csc.liv.ac.uk>

CALL FOR PAPERS

Workshop Logic, Rationality and Interaction, 5-9 August, 2007.
URL: http://www.illc.uva.nl/LORI
Beijing, China.

*About the Workshop*

In the past decade it has become increasingly clear that studying
information, first and foremost, means studying information exchange. This
acknowledgement of the inherently social character of information shows up
at many places in modern logical theories. More generally, information
exchange is a form of interaction where agents act together in strategic
ways. This new perspective has led to contacts between logic and game
theory, bringing a new set of disciplines into the scope of logic: viz.,
economics, and the social sciences. New interfaces are arising, such as
epistemic studies of rational behavior in games. Another interesting
development in this area is the rise of the notion of 'social software',
the idea of using computational techniques for analyzing patterns of
social behavior. And finally, interaction is also crucial to intelligent
behavior in the field of natural language. Here pragmatics, the study of
the actual use of language between different agents, has become the
primary focus of research. Notions from game theory, in particular
evolutionary games, are being used to-day to answer all kinds of pragmatic
issues, for instance, how linguistic conventions can arise.
This workshop aims to bring together researchers working on these and
related topics in logic, philosophy, computer science, and related areas
in order to arrive at an integrated perspective on knowledge acquisition,
information exchange, and rational action.

*Call for papers*

Researchers from various fields, including artificial intelligence, game
theory, linguistics, logic, philosophy, and cognitive science are invited
to submit a paper to this workshop which aims to arrive at an
interdisciplinary perspective on knowledge acquisition, information
exchange, and rational action. Topics of interest include, but are not
limited to

    a. semantic models for knowledge, for belief, and for uncertainty
    b. dynamic logics of knowledge, information flow, and action
    c. logical analysis of the structure of games
    d. belief revision, belief merging
    e. logics for preferences and utilities
    f. logics of probability and uncertainty

All researchers in the area are invited to submit a paper of 12 pages.
Each paper should include a title, the names and contact details of all
authors, and a short abstract of 100-300 words. Talks will be 45 minutes
long, including 10 - 15 minutes for discussion. The detailed submission
procedure will be specified soon. A selection of the accepted papers will
be published in a special issue of 'Knowledge, Rationality and Action'.

*Important Dates*

    a.  Paper submission deadline: 15 April 2007
    b.  Notification of authors: 15 May 2007
    c.  Camera-ready copies due: 15 June 2007
    d.  Workshop dates: 5-9 August 2007


*People involved *

Chair: Johan van Benthem
Co-Chairs: Shier Ju and Frank Veltman
General Organizers : Minghui Xiong and Fenrong Liu

Invited Speakers
       a. Alexandru Baltag (Oxford University, UK)
       b. Vincent F. Hendricks (Roskilde University, Denmark)
       c. Wiebe van der Hoek (Liverpool University, UK)
       d. Gerhard Jager (University of Bielefeld, Germany)
       e. Yossi Feinberg (Stanford University, USA)
       f. Jialong Zhang (Chinese Academy of Social Sciences, China)

Programme Committee

The Programme Committee consists of chairs and invited speakers.

Committee of Recommendation

       a. Patrick Blackburn (European Association of Logic, Language and
Information)
       b. Giacomo Bonanno (LOFT)
       c. Joseph Halpern (TARK)
       d. Jacek Malinowski (Studia Logica)
       e. Gabriel Sandu (Eurocores Program)

*Contact*

If you have any questions or comments regarding the organization of the
workshop or the paper submission procedure, please do not hesitate to
contact us:
        a. Minghui Xiong (email: hssxmh at mail.sysu.edu.cn)
        b.  Fenrong Liu (email: fenrong at science.uva.nl)


From Belaid.Benhamou at cmi.univ-mrs.fr  Fri Dec 22 18:00:28 2006
From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou)
Date: Fri, 22 Dec 2006 18:00:28 +0100
Subject: Second CFP of TABLEAUX 2007
In-Reply-To: <43CB87AA.9030400@ucl.ac.uk>
References: <43CB87AA.9030400@ucl.ac.uk>
Message-ID: <458C0F2C.8070001@cmi.univ-mrs.fr>


-------------- nächster Teil --------------
Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt.
Name: 2NDCFPTABLEAUX.txt
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20061222/4f1d14e0/attachment.txt>

From ruy at cin.ufpe.br  Mon Dec 25 17:46:28 2006
From: ruy at cin.ufpe.br (ruy at cin.ufpe.br)
Date: Mon, 25 Dec 2006 14:46:28 -0200 (BRST)
Subject: WoLLIC'2007 - 2nd CFP
Message-ID: <2550.200.164.147.77.1167065188.squirrel@webmail.cin.ufpe.br>

                  [** sincere apologies for duplicates **]

                               Call for Papers

         14th Workshop on Logic, Language, Information and Computation
                               (WoLLIC'2007)
                          Rio de Janeiro, Brazil
                              July 2-5, 2007

    WoLLIC is an annual international forum on inter-disciplinary research
    involving formal logic, computing and programming theory, and natural
    language and reasoning.  Each meeting includes invited talks and
    tutorials as well as contributed papers.

    The Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from
    July 2 to July 5, 2007, and sponsored by the Association for Symbolic
    Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL),
    the European Association for Logic, Language and Information
    (FoLLI), the European Association for Theoretical Computer Science
    (EATCS), the Sociedade Brasileira de Computacao (SBC), and the
    Sociedade Brasileira de Logica (SBL).

PAPER SUBMISSION
    Contributions are invited on all pertinent subjects, with particular
    interest in cross-disciplinary topics.  Typical but not exclusive
    areas of interest are: foundations of computing and programming;
    novel computation models and paradigms; broad notions of proof and
belief;
    formal methods in software and hardware development; logical approach to
    natural language and reasoning; logics of programs, actions and
resources;
    foundational aspects of information organization, search, flow, sharing,
    and protection.
    Proposed contributions should be in English, and consist of a scholarly
    exposition accessible to the non-specialist, including motivation,
    background, and comparison with related works.
    They must not exceed 10 pages (in font 10 or higher), with up to
    5 additional pages for references and technical appendices.
    The paper's main results must not be published or submitted
    for publication in refereed venues, including journals and other
    scientific meetings.
    It is expected that each accepted paper be presented at the meeting by
    one of its authors.
    Papers must be submitted electronically at
    www.cin.ufpe.br/~wollic/wollic2007/instructions.html
    A title and single-paragraph abstract should be submitted by
    February 23, and the full paper by March 2 (firm date).
    Notifications are expected by April 13, and final papers for
    the proceedings will be due by April 27 (firm date).

PROCEEDINGS
    Proceedings, including both invited and contributed papers,
    will be published in advance of the meeting.
    Publication venue: Springer's Lecture Notes in Computer Science.

INVITED SPEAKERS:
    Veronique Cortier (LORIA Nancy)
    Martin Escardo (Birmingham)
    Georg Gottlob (Oxford)
    Achim Jung (Birmingham)
    Louis Kauffman (U Illinois Chicago)
    Sam Lomonaco (U Maryland Baltimore)
    Paulo Oliva (London/QM)
    John Reif (Duke)
    Yde Venema (Amsterdam)

STUDENT GRANTS
    ASL sponsorship of WoLLIC'2007 will permit ASL student members to
    apply for a modest travel grant (deadline: April 1, 2007).
    See www.aslonline.org/studenttravelawards.html for details.

IMPORTANT DATES
    February 23, 2007: Paper title and abstract deadline
    March 2, 2007: Full paper deadline (firm)
    April 12, 2007: Author notification
    April 26, 2007: Final version deadline (firm)

PROGRAM COMMITTEE
    Samson Abramsky (U Oxford)
    Michael Benedikt (Bell Labs)
    Lars Birkedal (ITU Copenhagen)
    Andreas Blass (U Michigan)
    Thierry Coquand (Chalmers U, Goteborg)
    Jan van Eijck (CWI, Amsterdam)
    Marcelo Finger (U Sao Paulo)
    Rob Goldblatt (Victoria U, Wellington)
    Yuri Gurevich (Microsoft Redmond)
    Hermann Haeusler (PUC Rio)
    Masami Hagiya (Tokyo U)
    Joseph Halpern (Cornell U)
    John Harrison (Intel UK)
    Wilfrid Hodges (U London/QM)
    Phokion Kolaitis (IBM Almaden Research Center)
    Marta Kwiatkowska (U Birmingham)
    Daniel Leivant (Indiana U) (Chair)
    Maurizio Lenzerini (U Rome)
    Jean-Yves Marion (LORIA Nancy)
    Dale Miller (Polytechnique Paris)
    John Mitchell (Stanford U)
    Lawrence Moss (Indiana U)
    Peter O'Hearn (U London/QM)
    Prakash Panangaden (McGill, Montreal)
    Christine Paulin-Mohring (Paris-Sud, Orsay)
    Alexander Razborov (Steklov, Moscow)
    Helmut Schwichtenberg (Munich U)
    Jouko Vaananen (U Helsinki)

ORGANISING COMMITTEE
    Marcelo da Silva Correa (U Fed Fluminense)
    Renata P. de Freitas (U Fed Fluminense)
    Ana Teresa Martins (U Fed Ceara')
    Anjolina de Oliveira (U Fed Pernambuco)
    Ruy de Queiroz (U Fed Pernambuco, co-chair)
    Petrucio Viana (U Fed Fluminense, co-chair)

WEB PAGE
    www.cin.ufpe.br/~wollic/wollic2007

---
















From Patrick.Hung at uoit.ca  Thu Dec 28 02:52:12 2006
From: Patrick.Hung at uoit.ca (Patrick Hung)
Date: Wed, 27 Dec 2006 20:52:12 -0500
Subject: Call For Contributions: 2007 IEEE International Conference on Services Computing (SCC 2007)
Message-ID: <ECC165E96ED12C4694072B3DB0DE3F9F056841FA@itsosmsx01.oncampus.local>

Apologies for cross-postings. Please send it to interested colleagues and students. Thanks.
 
Happy Holidays!
 
***** CALL FOR CONTRIBUTIONS *****
Tutorial Proposal 
Workshop Proposal 
Panel Proposal 
SOA Standards Presentation Proposal 
Demo Presentation Proposal 
Exhibit Proposal 
Job Fair Booth Reservation or Event Proposal 
For any enquires about proposals, please contact the related chair(s) directly.
 
 
::::::::: CALL FOR PAPERS :::::::::
 
2007 IEEE International Conference on Services Computing (SCC 2007)
===================================================================
http://conferences.computer.org/scc/2007
July 9-13, 2007, Salt Lake City, Utah, USA
 
Theme: Services: Science, Technology, and Business
Celebrating the 2007 IEEE Congress on Services! 
Sponsored by IEEE Computer Society
Technical Committee on Services Computing (tab.computer.org/tcsc)
 
Building on its great success in 2004, 2005, and 2006, the 2007 IEEE International Conference on Services Computing (SCC 2007) continues to bridge the gap between Services Computing and Business models with an emerging suite of ground-breaking technology that includes service-oriented architecture (SOA), business process integration and management, grid and utility computing. SCC 2007 will be co-located with the 2007 IEEE International Conference on Web Services (ICWS 2007). IEEE Services Oriented Architecture (SOA) Industry Summit, IEEE International Services Computing Contest, IEEE SOA Standards Symposium, IEEE Services Computing Workshops, IEEE Services Computing Ph.D. Student Symposium will be featured at this joint event. The theme of SCC 2007 is "Services: Science, Technology, and Business" 
 
Services Computing, as a new cross discipline, addresses how to enable IT and computing technology to help people perform business processes, services, and applications more efficiently and effectively. At the core of a business model is a set of processes that jointly help yield a profit in an organization. As we can see, Services Computing currently shapes the thinking of  business modeling, business consulting, solution creation, service delivery, and software architecture design, development and deployment. The global nature of Services Computing leads to many opportunities and few challenges and creates a new networked economic structure for supporting different business models. SCC 2007 has the following three major research tracks: Foundations of Services Computing, Services-Centric Business Models, and Business Process Integration and Management.
 
Authors are invited to submit original, UNPUBLISHED research papers that are not being considered in another forum. Please note that the same paper should not be submitted to SCC 2007 and ICWS 2007 simultaneously. Such duplicate submissions will be rejected from both conferences without review. Manuscripts will be limited to 8 (IEEE Proceeding style) pages and be printed on 10 or 11 size font. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers. Electronic submission of manuscripts (in PDF or Word format) is required. Detailed Instructions for electronic paper submission, panel proposals, tutorial proposals, and review process can be found at http://conferences.computer.org/scc/2007/. At least one author of each accepted paper is required to attend the conference and present the paper. The enhanced version of the selected papers published in SCC 2007 will be invited for publication in the International Journal of Business Process Integration and Management (IJBPIM), the International Journal of Web Services Research (JWSR), the International Journal of Grid and Utility Computing (IJGUC), and possibly other IEEE journals in the field of Services Computing. One Best Paper Award and one Best Student Paper Award will be presented by SCC 2007. The first author of the best student papers should be full-time student. 
 
Review Policy: "IEEE Policy and professional ethics requires that referees treat the contents of papers under review as privileged information not to be disclosed to others before publication. It is expected that no one with access to a paper under review will make any inappropriate use of the special knowledge, which that access provides. Contents of abstracts submitted to conference program committees should be regarded as privileged as well, and handled in the same manner. The Conference Publications Chair shall ensure that referees adhere to this practice. Organizers of IEEE conferences are expected to provide an appropriate forum for the oral presentation and discussion of all accepted papers. An author, in offering a paper for presentation at an IEEE conference, or accepting an invitation to present a paper, is expected to be present at the meeting to deliver the paper. In the event that circumstances unknown at the time of submission of a paper preclude its presentation by an author, the program chair should be informed on time, and appropriate substitute arrangements should be made. In some cases it may help reduce no-shows for the Conference to require advance registration together with the submission of the final manuscript."
Topics of interest include, but are NOT limited to, the following:
 
Foundations of Services Computing 
---------------------------------
Services Science 
Service Modeling and Implementation 
Service Delivery, Deployment and Maintenance 
Service Value Chains and Innovation Lifecycle 
Service-Oriented Architecture (SOA) Industry Standards and Solution Stacks 
Service-based Grid/Utility/Autonomic Computing 
Services Computing in Mobile Ad-hoc NETworks (MANETs) 
Service Level Agreements (SLAs) Negotiation, Automation and Orchestration 
Service Security, Privacy and Trust 
Quality of Services (QoS) and Cost of Services (CoS) 
Ontology and Semantic Web for Services Computing 
Services Repository and Registry
Formal Methods for SOA
Service Discovery
Services Engineering Practices and Case Studies
 
Services-Centric Business Models
--------------------------------
Business Service Analysis, Strategy, Design, Development and Deployment 
Service-Oriented Business Consulting Methodology and Utilities 
Intra- or Inter- Enterprise for Business-to-Business Service Control 
Service Revenue Models and Utility Computing, e.g., Fee-for-Transaction and Fee-for-Service. 
Service Strategic Alliance and Partners 
Service Network Economic Structures and Effects 
Ontology and Business Service Rules 
Trust and Loyalty in Services-Centric Business Models 
Cultural, Language, Social and Legal Obstacles in Services-Centric Business Models 
Commercialization of Services Computing Technologies 
Industry Service Solution Patterns 
Service Interaction Patterns
Case Studies in Services-Centric Business Models 
 
Business Process Integration and Management
-------------------------------------------
Mathematical Foundation of Business Process Modeling, Integration and Management 
Business Process Modeling Methodology and Integration Architecture 
Collaborative Business Processes 
Extended Business Collaboration (eBC) Architecture and Solutions 
Business Process-Based Business Transformation and Transition 
Enabling Technologies for Business Process Integration and Management 
Performance Management and Analysis for Business Process Integration and Management 
Security, Privacy and Trust in Business Process Management 
Return On Investment (ROI) of Business Process Integration and Management 
Requirements Analysis of Business Process Integration and Management 
Enterprise Modeling and Application Integration Services, e.g. Enterprise Service Bus 
Monitoring of Services, Process Mining, and Quality of Service
Case Studies in Business Process Integration and Management 

Important Dates: 
Abstract Submission Deadline: February 5, 2007
Paper Submission Due Date: February 12, 2007 
Decision Notification (Electronic): April 15, 2007
Camera-Ready Copy & Pre-registration Due: May 1, 2007

ICWS 2007 Keynotes:
 
Robert Morris, Ph.D.
Vice President, Services Research, IBM Research
 
Ike Nassi, Ph.D.
Senior Vice President, SAP Research Americas 

General Chairs:
 
Ephraim Feig, IEEE Fellow, Ph.D.
Senior Director of Services Architecture
Motorola, USA
 
HT Kung, Ph.D.
William H. Gates Professor of Computer Science and Electrical Engineering
Division of Engineering and Applied Sciences
Harvard University, USA

Program Committee Chairs:
 
W.M.P. van der Aalst. Ph.D.
Professor, the Information Systems (IS) Department 
Eindhoven University of Technology, The Netherlands
 
Liang-Jie (LJ) Zhang, Ph.D.
Research Staff Member and Founding Chair of Services Computing Professional Interest Community
IBM T.J. Watson Research Center, USA

Program Committee Vice-Chair:
 
Patrick C. K. Hung, Ph.D.
Assistant Professor, Faculty of Business and Information Technology
University of Ontario Institute of Technology (UOIT), Canada

Industry Track Chair:
 
Fausto Bernardini, Ph.D.
Senior Manager, Application Services Technologies 
IBM T.J. Watson Research Center, USA

Work-in-Progress Chair:
 
Zhi-Hong Mao, Ph.D.
Assistant Professor, Department of Electrical and Computer Engineering
University of Pittsburgh, USA

Tutorial Chairs:
 
Michael Maximilien, Ph.D.
Research Staff Member, Almaden Services Research Group
IBM Almaden Research Center, USA
 
J. Leon Zhao, Ph.D.
Professor, Department of MIS
University of Arizona, USA 

Panel Chairs: 
 
Frank Ferrante
Editor in Chief, IEEE IT Professional Magazine
IEEE, USA
 
Ling Liu, Ph.D.
Associate Professor, College of Computing
Georgia Institute of Technology, USA
 
Workshop Chair:
 
Jian Yang, Ph.D.
Associate Professor, Department of Computing
Macquaire University, Australia

IEEE SOA Industry Summit Co-Chairs: 
 
Ali Arsanjani, Ph.D.
Chief Architect, SOA and Web services Center of Excellence
IBM Global Services, USA
 
Tony Shan
Lead Systems Architect
Wachovia Bank, USA

SOA Contest Co-Chairs: 
 
Zhixiong Chen, Ph.D.
Associate Professor, Mathematics and Computer Information Science
Macy College, USA
 
Charles A. Shoniregun, Ph.D.
Programme Leader for MSc TM, School of Computing & Technology
University of East London, UK
 
Publicity Co-Chairs: 
 
Mikio Aoyama, Ph.D.
Professor, Department of Information and Telecommunication Engineering
Nanzan University, Japan
 
Hong Mei, Ph.D.
Professor, School of Electronics Engineering and Computer Science
Peking University, China 
 
Andreas Wombacher, Ph.D.
Assistant Professor, Department of Computer Science
EPFL, Switerland
 
Akhil Kumar, Ph.D.
Professor, Department of Supply Chain and Information Systems, Smeal College of Business
Penn State University, USA

Ph.D. Symposium Chair: 
 
Anup Kumar, Ph.D.
Professor, University of Louisville, USA 

Job Fair Chair: 
 
Hemant Jain, Ph.D.
Wisconsin Distinguished Professor; Tata Consultancy Services Professor, School of Business Administration
University of Wisconsin-Milwaukee, USA
 
Technical Program Committee:
 
Sheikh Iqbal Ahamed (Marquette University, USA)
Antonia Delft Albani (University of Technology, The Netherlands)
Anne H. Anderson (Sun Microsystems Laboratories)
Axel Martens (IBM TJ Watson Research Center, USA)
Akhilesh Bajaj (The University of Tulsa, USA)
Roger Barga (Microsoft Research, USA)
Bhanu Prasad (Florida A&M University, USA)
Mario Bravetti (University if Bologna, Italy)
Paul Buhler (College of Charleston, USA)
Rajkumar Buyya (The University of Melbourne, Australia)
Wentong Cai (Nanyang Technological University, Singapore)
Jiannong Cao (Hong Kong Polytechnic University, Hong Kong)
Rong N. Chang (IBM T.J. Watson Research Center, USA)
Charles Shoniregun (University of East London, UK)
Zhixiong Chen (Mercy College, USA)
Hsing K. Cheng (University of Florida, USA)
Ludmila Cherkasova (HP Laboratories, USA)
William Cheung (Hong Kong Baptist University, Hong Kong)
S.C. Cheung (The Hong Kong University of Science and Technology, Hong Kong)
Cecil Eng Huang Chua (Nanyang Technological University, Singapore)
Claude Godart (University Henri Poincare, France)
Farhad Daneshgar (University of New South Wales, Australia)
Haluk Demirkan (Arizona State University, USA)
Joerg Desel (The Catholic University of Eichstatt-Ingolstadt, Germany)
Prashant Doshi (University of Georgia, USA)
Opher Etzion (IBM Research Laboratory in Haifa, Israel)
Ming Fan (University of Washington, USA)
Weiguo Fan (Virginia Polytechnic Institute and State University, USA)
Fion Lee (Baptist University, Hong Kong)
Gianluigi Zavattaro (University if Bologna, Italy)
Michael Goul (Arizona State University, USA)
Dominic Greenwood (Whitestein Technologies AG, New Zealand)
Minyi Guo (University of Aizu, Japan)
Hakan Hacigumus (IBM Almaden Research Center, USA)
Hai Zhuge (Chinese Academy of Sciences, China)
Yanbo Han (Chinese Academy of Sciences, China)
Alan Hevner (University of South Florida, USA)
Peter Hrastnik (E3 Competence Center, Austria)
Christian Huemer (Vienna University of Technology, Austria)
Kazuo Iwano (IBM Corporation, Japan)
Stefan Jablonski (University of Erlangen, Germany)
Varghese S. Jacob (University of Texas at Dallas, USA)
Janaka L. Balasooriya (University of Missouri-Rolla, USA)
Hai Jin (Huazhong University of Science and Technology, China)
Daniel S. Katz (JPL/Caltech, USA)
Jeffrey T. Kreulen (IBM Almaden Research Center, USA)
Akhil Kumar (Penn State University, USA)
Dongwon Lee (Penn State University, USA)
Sanjay K. Madria (University of Missouri-Rolla, USA)
Zhi-Hong Mao (University of Pittsburgh, USA)
Leo Mark (Georgia Tech, USA)
Michael Maximilien (IBM Almaden Research Center, USA)
Vojislav Misic (University of Manitoba, Canada)
Prasenjit Mitra (Pennsylvania State University, USA)
Niranjan Iyengar Varadharajan (Infosys Technologies Limited, India)
Srinivas Padmanabhuni (Infosys Technologies Limited, India)
Paul Grefen (Eindhoven University of Technology, The Netherlands)
Dunlu Peng (Fudan University, China)
Sandeep Purao (Pennsylvania State University, USA)
Ramiro Liscano (University of Ontario Institute of Technology, Canada)
Berthold Reinwald (IBM Almaden Research Center, USA)
Norbert Ritter (University of Kaiserslautern, Germany)
Dumitru (Titi) Roman (University of Innsbruck / DERI Innsbruck, Austria)
Matti Rossi (Helsinki School of Economics, Finland)
Steve Ross-Talbot (Hattrick Software & Pi4 Technologies Foundation, USA)
Josef Schiefer (Vienna University of Technology, Austria)
Seog-Chan Oh (GM Research, USA)
Tony Shan (Wachoiva Bank, USA)
Venky Shankararaman (Singapore Management University, Singapore)
Benjamin Shao (Arizona State University, USA)
Jun Shen (University of Wollongong, Australia)
Keng Siau (University of Nebraska at Lincoln, USA)
Giri K. Tayi (SUNY at Albany, USA)
Zhong Tian (IBM Beijing Research Lab, China)
Kwok Ching Tsui (HSBC, Hong Kong)
Vijay Vaishnavi (Georgia State University, USA)
Robert van Engelen (Florida State University, USA)
Kaladhar Voruganti (IBM Almaden Research, USA)
Cho-Li Wang (University of Hong Kong, Hong Kong)
Kanliang Wang (Xi'An Jiaotong University, China)
Xiaoling Wang (Fudan University, China)
Hongbing Wang (SouthEast University, China)
Mathias Weske (University of Potsdam, Germany)
Wolfgang Reisig (Humboldt University, Germany)
Andreas Wombacher (EPFL, Switerland)
Carson Woo (University of British Columbia, Canada)
George Yee (National Research Council, Canada)
Ying Li (IBM Beijing Research Lab, China)
Yuan-Chwen You (National Sun Yat-Sen University, Taiwan)
Yuqing Sun (Shandong University, China)
Dongsong Zhang (University of Maryland at Baltimore County, USA)
Jia Zhang (Northern Illinois University, USA)
Yanchun Zhang (Victoria University, Australia)
Jing Zhao (China University of Geosciences, China)
Huimin Zhao (University of Wisconsin-Milwaukee, USA)
Lina Zhou (University of Maryland at Baltimore County, USA)
Aoying Zhou (Fudan University, China)
Haibin Zhu (Nipissing University, Canada)
 
Technical Steering Committee:
 
Carl K Chang (Iowa State University, USA)
Ephraim Feig (Motorola, USA)
Hemant Jain (University of Wisconsin- Milwaukee , USA)
Frank Leymann (University of Stuttgart, Germany)
Calton Pu (Georgia Tech, USA)
Jeffrey Tsai (University of Illinois at Chicago, USA)
Zhiwei Xu (Institute of Computing Technology (ICT), China)
Liang-Jie Zhang (IBM Research, USA)

Web Master:
 
Ryan Bishop (University of Ontario Institute of Technology, Canada)
 
*** For any enquires, please e-mail to the Assistant of Program Committee Vice-Chair Patrick C. K. Hung: Michelle Watson via michelle DOT watson AT uoit DOT ca

From ci-listen at in.tu-clausthal.de  Sun Dec 17 01:11:32 2006
From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik)
Date: Sun, 17 Dec 2006 01:11:32 +0100
Subject: Fwd: Call for papers Core 2007
Message-ID: <web-19248179@tu-clausthal.de>


Hi Juergen,
so is this a fake? ;-) Anyway, I think it is a candidate 
for discard. Just because of the broad topic.

Maybe we can start our own list of fake conferences ;-).

Best,

Peter.

   --- the forwarded message follows ---
-------------- nächster Teil --------------
Eine eingebundene Nachricht wurde abgetrennt...
Von: core <core at cic.ipn.mx>
Betreff: Call for papers Core 2007
Datum: Thu, 14 Dec 2006 20:57:14 -0600 (CST)
Größe: 3662
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20061217/076e4175/attachment.mht>