-------- Original-Nachricht --------
Betreff: [computational.science] Final Call for Papers: 14th Online
World Conference on Soft Computing in Industrial Applications (WSC14)
Datum: Tue, 6 Oct 2009 16:48:05 +0900
Von: Mario Koeppen <mkoeppen(a)ieee.org>
Organisation: "ICCSA"
An: Computational Science Mailing List
<computational.science(a)lists.iccsa.org>
<<Apology if you receive this message more than once>>
**************************************************************************
The 14th Online World Conference on
Soft Computing in Industrial Applications
WSC14
Final Call for Papers
The World Wide Web
November 17-29, 2009
**************************************************************************
http://wsc14.science-city.org
Submission Deadline: October 18, 2009
**************************************************************************
SCOPE
**************************************************************************
The "14th Online World Conference on Soft Computing in Industrial
Applications" (WSC14) is now being held on the Internet. Continuing a
tradition started over a decade ago by the World Federation of Soft
Computing, the WSC14 conference aims at bringing together outstanding
research and developments in the field of soft computing (evolutionary
computation, fuzzy logic, neural networks, Bayesian networks, and
their fusion) and its applications, from across the world. Papers will
be published on-line with the dual benefits of rapid dissemination and
reduced cost. As with the previous conferences, papers accepted and
presented at the WSC14 conference will also be published by Springer
within the "Advances In Intelligent and Soft Computing" series as an
edited volume after the conference. Furthermore, significantly revised
and extended versions of selected papers from the conference will be
invited for a "fast track" submission to the Elsevier Science Applied
Soft Computing Journal.
During the conference, interactive discussions are hosted between the
authors and participants over the Internet. The registration to the
conference is open to all (academics, students and industrial/
commercial parties) and is completely free of charge.
Submissions are invited in, but not limited to, any of the following
areas:
- Soft Computing Techniques
- Soft Computing for Modeling, Control, and Optimization
- Fuzzy Control
- Artificial Neural Networks
- Evolutionary Computing: Genetic Algorithms and Genetic Programming
- Neuro-Fuzzy Systems
- Genetic Fuzzy Systems
- Neuro-Fuzzy-Genetic Systems
- Software Agent Systems and Architectures
- Ant Colony Optimization
- Fuzzy Information Fusion
- Rough Sets
- Bayesian Networks
- Fuzzy Image Processing
- Bio-inspired Systems
- Support Vector Machines
- Application Areas
- Industrial Applications of Soft Computing
- Intelligent Information Retrieval
- Data Mining
- Robotics
- Fault Diagnosis
- Bioinformatics
- Web Intelligence
- Speech Processing
- Business Information Systems
- Knowledge Management
- Evolvable Hardware and Software
- Image and Signal Processing
- Pattern Recognition
- Traffic and Transportation System
**************************************************************************
PAPER SUBMISSION
**************************************************************************
Instructions for Authors: Papers reporting original and unpublished
research results on the above and related topics are solicited. All
submitted papers will be refereed for quality, originality and
relevance by the Program Committee. The acceptance/rejection of the
papers will be based on the review results. All questions should be
addressed to the PC chairs.
An electronic version (PDF format) of the full paper should be
submitted by the paper submission deadline to the workshop website.
Manuscripts should be provided according to the guidelines given on
the WSC14 homepage http://wsc14.science-city.org.
**************************************************************************
IMPORTANT DATES
**************************************************************************
October 18, 2009: Deadline for on-line submissions of regular papers.
November 7, 2009: Acceptance/rejection notification.
November 14, 2009: Submission of full papers and online presentations.
November 17 - 29, 2009: Online conference.
December 15, 2009: Submission of camera-ready papers for final review.
**************************************************************************
ORGANIZATION
**************************************************************************
Honorary Chair
Jun Wang, The Chinese University of Hong Kong, Hong Kong
General Chair
Mario Koeppen, Kyushu Institute of Technology, Fukuoka, Japan
Program Co-Chairs
Xiao-Zhi Gao, Helsinki University of Technology, Espoo, Finland
Antonio Gaspar-Cunha, University of Minho, Guimaraes, Portugal
International Advisory Board
Nik Kasabov, Auckland University, New Zealand
Janusz Kascprzyk, Polish Academy of Sciences, Poland
Seppo Ovaska, Helsinki University of Technology, Finland
Andreas Koenig, University of Kaiserslautern, Germany
Ashraf Saad, Armstrong Atlantic State University, USA
Joern Mehnen, Cranfield University, UK
Special Event Chair
Gerald Schaefer, Loughborough University, UK
Publicity Chair
Kaori Yoshida, Kyushu Institute of Technology, Japan
Best Paper Award Chair
Youakim Badr, INSA-Lyon, France
Web Chair
Rodrigo Verschae, Kyushu Institute of Technology, Japan
International Program Committee
(see webpage)
**************************************************************************
CONTACT
**************************************************************************
Mario Koeppen
Network Design and Research Center
Kyushu Institute of Technology
680-4, Kawazu, Iizuka, Fukuoka 820-8502 Japan
Phone: +81 948 29 7947 / Fax: +81 948 29 7946
E-Mail: mkoeppen-at-ieee.org
---------------------------------------------------------------------
To unsubscribe, e-mail: computational.science-unsubscribe(a)lists.iccsa.org
For additional commands, e-mail: computational.science-help(a)lists.iccsa.org
-------- Original-Nachricht --------
Betreff: [isworld] 2nd CfP: ICNS 2010 || March 7-13, 2010 - Cancun, Mexico
Datum: Mon, 5 Oct 2009 17:15:12 -0400 (EDT)
Von: Vicky Star <vicky(a)confpromo.com>
Antwort an: Vicky Star <vicky(a)confpromo.com>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups
the following opportunity to submit and publish original scientific
results.
Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )
Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore
Submitted for indexing: Elsevier's EI Compendex Database, EI?s Engineering
Information Index
Other indexes are being considered: INSPEC, DBLP, Thomson Reuters
Conference Proceedings Citation Index
=================
============== ICNS 2010 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICNS 2010: The Sixth International Conference on Networking and Services
March 7-13, 2010 - Cancun, Mexico
General page: http://www.iaria.org/conferences2010/ICNS10.html
Call for Papers: http://www.iaria.org/conferences2010/CfPICNS10.html
Submission deadline: October 17, 2009
Featured workshop:
- LMPCNA 2010: The Second International Workshop on Learning Methodologies
and Platforms used in the Cisco Networking Academy (CNA)
http://www.iaria.org/conferences2010/LMPCNA.html
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals:
http://www.iariajournals.org
Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )
Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore
Submitted for indexing: Elsevier's EI Compendex Database, EI?s Engineering
Information Index
Other indexes are being considered: INSPEC, DBLP, Thomson Reuters
Conference Proceedings Citation Index
Please note the Poster Forum and Work in Progress options.
The topics suggested by the conference can be discussed in term of
concepts, state of the art, research, standards, implementations, running
experiments, applications, and industrial case studies. Authors are
invited to submit complete unpublished papers, which are not under review
in any other conference or journal in the following, but not limited to,
topic areas.
All tracks are open to both research and industry contributions, in terms
of Regular papers, Posters, Work in progress, Technical/marketing/business
presentations, Demos, Tutorials, and Panels.
Before submission, please check and conform with the Editorial rules:
http://www.iaria.org/editorialrules.html
ICNS 2010 Tracks (tracks' topics and submission details: see CfP on the site)
ENCOT: Emerging Network Communications and Technologies
Access and home networks; Ad hoc networks; Application-specific networks
(e.g. SANs); Autonomic Networks; Delay-tolerant Networking; Distributed
communications systems & applications; Energy-efficient networking;
High-speed & optical networks; Mobile networking and systems; MPLS-VPN &
IPSec-VPN networks; Multimedia and multicast communications; Networking
Communication theory; Network modeling & simulation; Network monitoring
techniques; Network security; Next Generation Networks (NGN); Overlay
networks; Peer-to-peer networking; Programmable and Active Networks;
Sensor networks; Switching and routing; Wireless and Satellite Networks
COMAN: Network Control and Management
Network, control and service architectures; Network signaling, pricing and
billing; Network middleware; Network management, monitoring and control;
Network resource scheduling; Networks policy-based management; Management
of autonomic networks and systems; Telecommunication networks
architectures; On-demand networks, utility computing architectures;
Applications and case studies
SERVI: Multi-technology service deployment and assurance
Service-oriented architectures; Service definition, creation, bundling,
deployment; Service reuse, composition and service feature interaction;
Service orchestration and federation; Inter-provider service dependency;
Intra-provider service dependency and service interaction; Service
middleware and service development platforms (SDPs); Service open
architecture (SOA); Profiling and service adaptation; Service privacy and
security; Quality of service, service level agreement [QoS/SLA]; Service
agreement violations; Mobile services and service migration; Reliability,
availability, serviceability [RAS]; Service performance metrics; Traffic
engineering, metering, monitoring; Voice over IP services; IP Multimedia
services; Real-time/not-real-rime services; real-time services over
IP/IPv6; Service performance evaluation, tools, simulation
NGNUS: Next Generation Networks and Ubiquitous Services
Methodologies, development support, and tools for NGN and converging
services; NGN and convergence of ubiquitous services; NGN frameworks,
architectures, and concepts; NGN technologies and mechanisms; QoS/SLA,
traffic in NGN; NGN transport/service layered capabilities and operations;
NGN concepts for active, ad hoc, mobile, and wireless networks; 3G and 4G
Mobile networks; Fixed/mobile networks integration and internetworking;
Services and service differentiation over NGN; Managing ubiquitous
services in NGN; NGN interworking, non-NGN interoperability, migration;
Regulatory services in NGN and standard activities; NGN device
instrumentation; NGN policy-based control; Next Generation Internet
MPQSI: Multi Provider QoS/SLA Internetworking
Architectures, frameworks, mechanisms for admission control and
measurement; QoS in multi-provider and multi-technology networks; Service
classes and multi-provider service class discovery; Service level
agreement and service assurance in multi-provider environments;
Carrier-class end-to-end SLA and QoS monitoring and management; Multi
provider accounting/billing/cost sharing; Management, monitoring, and
measurements in multi-provider networks; End-to-end QoS/SLA advanced
network services in multi-provider networks; End-to-end QoS/SLA for
multimedia applications and services in multi-provider networks; Security
issues in multi-service provider networks; Business models for
multi-providers under QoS/SLA constraints; Standards and fora activities
GRIDNS: Grid Networks and Services
GRID theory, frameworks, methodologies, architecture, ontology; GRID
infrastructure and technologies; GRID middleware; GRID protocols and
networking; GRID computing, utility computing, autonomic computing,
metacomputing; Programmable GRID; Data GRID; Context ontology and
management in GRIDs; Distributed decisions in GRID networks; GRID services
and applications; Virtualization, modeling, and metadata in GRID; Resource
management, scheduling, and scalability in GRID; GRID monitoring, control,
and management; Traffic and load balancing in GRID; User profiles and
priorities in GRID; Performance and security in GRID systems; Fault
tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID
networks; GRID fora, standards, development, evolution; GRID case studies,
validation testbeds, prototypes, and lessons learned
EDNA: Emergency Services and Disaster Recovery of Networks and Applications
Theory on disaster-tolerant robust networks; Recovery by disruption
resource procedures; Security issues with emergency services and disaster
recovery; Networks resiliency methods; Formal methods for safety-critical
systems; Networks emergency services; Public safety, reliable emergency
communications, and applications; Response to the networks emergency
services; Disaster prevention and recovery; Fighting mechanisms for
disaster of networks and applications; Notifications and recovery in
various network technologies; Customer protection and serviceability
perception; Cost models and business impact; Cultural and legal aspects;
Future advanced network development and evolution; Standards and
guidelines; Lawful interception and defense strategies;
IPv6DFI: Deploying the Future Infrastructure
IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6
Adoption - Trends and Policies; National Strategies in Stimulating IPv6
Adoption; IPv6 in Government Infrastructures - Specific Requirements; IPv6
Infrastructures for Emergency Response and Law Enforcement - MetroNet6;
Communications Equipment Certification for IPv6 Support; IPv6 in Broadband
Networks; IPv6 Programs, from Research to Knowledge Dissemination; IPv6
Technology - Practical Information; Advanced Topics and Latest
Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6
Enabled Applications and Devices
IPDy: Internet Packet Dynamics
Measurement of stream characteristics (reordering, delay, losses, jitter,
etc.); Measurement and estimation of network characteristics; Tools,
metrics and benchmarks; End-to-end packet dynamics; Timing aspects in
packet dynamics; Impact of load balancing, parallelism within nodes, etc.
on packet dynamics; QoS mechanisms and their impact on packet dynamics;
Models (e.g., relating protocols, resources and architectures to packet
dynamics); Mitigation of adverse effects of reordering, jitter, etc.;
Traffic engineering; Impact of packet dynamics on application performance
GOBS: GRID over Optical Burst Switching Networks
Terabit burst switching; Burst assembly for IP DiffServ over optical burst
switching networks; Optical network infrastructure for Grid; Synchronous
stream optical burst switching; Optical burst switching based GRID
architecture; Reliable optical burst switching for next-generation Grid
networks; Throughput for Grid optical burst switching Grid networks;
Resiliency paths over the optical Grid networks; Consumer oriented Grids
using optical burst switching; Protocols for optical burst switched Grid
networks; Hybrid optical switching for data-intensive media Grid; Anycast
routing in optical burst switched Grid networks; Optical burst switching
for IP-over-WDM/DWDM; Customizable Grid-to-optical network; Ultra high
capacity optical networks; Hybrid optical burst/circuit switched for
Grid-enabled optical networks; Job scheduling in optical burst switching
Grid networks; Architecture and middleware for Grid-Over-OBS
==========
IARIA Publicity Board
Committee members: http://www.iaria.org/conferences2010/ComICNS10.html
====================
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
-------- Original-Nachricht --------
Betreff: [isworld] Final Call: WITS 2009 Research Prototypes & Teaching
Modules session
Datum: Mon, 5 Oct 2009 19:07:50 -0400
Von: Faiz Currim <faiz-currim(a)uiowa.edu>
Antwort an: Faiz Currim <faiz-currim(a)uiowa.edu>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
Final Call For Submissions: Research Prototypes & Teaching Modules
Nineteenth Workshop On Information Technologies And Systems (WITS'09)
December 14�15, 2009, Phoenix, Arizona - USA
http://www.indiana.edu/~wits2009/
IMPORTANT DATES (for both Prototypes and Teaching Modules)
Deadline for submission: ......... October 09, 2009 [1 page summary]
Notification of acceptance: ....... October 19, 2009
Camera-ready copy due: ............ October 27, 2009
RESEARCH PROTOTYPES
We would like to invite submissions for the Research Prototype session of
the Nineteenth Annual Workshop on Information Technologies and Systems
(WITS'09). The purpose of the WITS workshop is to provide a forum for
discussion and interaction among scholars with research interests in the
cutting edge issues of information technology and systems.
The prototypes are displayed during both days (morning session) of the
WITS workshop, and involve a poster board along with a live demonstration
of your system if available.
The initial submission (October 9th deadline) requires a one-page summary
of your prototype system. More details including detailed submission
instructions are available at:
http://www.indiana.edu/~wits2009/prototypes.html
If you have any questions, please email: faiz-currim(a)uiowa.edu
=============================================
CALL for Submissions: Teaching Tools and Modules
Nineteenth Workshop on Information Technologies and Systems (WITS'09)
December 14�15, 2009, Phoenix, Arizona - USA
http://www.indiana.edu/~wits2009/
TEACHING MODULES
Instructors teaching Information Technology (IT) in a business curriculum
face significant challenges in organizing and developing instructional
materials that effectively integrate technology concepts with business
issues and problems. The objective of the technology instructional tools
and modules session is to bring together well-developed ideas, which can
assist the MIS community at large. We solicit submissions of instructional
modules that would demonstrate innovative integrations of technology and
business in graduate or undergraduate courses.
The teaching modules are displayed during both days (morning session) of
the WITS workshop, and involve a poster board along with an interactive
demonstration of your module if available.
The initial submission (October 9th deadline) requires a one-page summary
of your teaching module that you wish to present (not the entire course).
More details including detailed submission instructions are available at:
http://www.indiana.edu/~wits2009/teaching.html
If you have any questions, please email: faiz-currim(a)uiowa.edu
---------------------------------------
WORKSHOP & PROGRAM CO-CHAIRS
Vijay Khatri (vkhatri(a)indiana.edu), Indiana University, Bloomington, USA
Huimin Zhao (hzhao(a)uwm.edu), University of Wisconsin-Milwaukee, USA
LOCAL ARRANGEMENTS CHAIR
Valentin Dinu (valentin.dinu(a)asu.edu), Arizona State University, Tempe,
USA
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
-------- Original-Nachricht --------
Betreff: [isworld] CFP Conf-IRM 2010 Montego Bay Jamaica - Submission
deadline 15 Oct 2009
Datum: Tue, 06 Oct 2009 12:53:03 +1300
Von: Felix Tan <felix.tan(a)aut.ac.nz>
Antwort an: Felix Tan <felix.tan(a)aut.ac.nz>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
2010 International Conference on Information Resources Management
(Conf-IRM)
An AIS Affiliated Conference
www.conf-irm.org
Paper Submission: http://www.conf-irm.org/drupal/?q=node/15
Rose Hall Resort and Spa, A Hilton Hotel, Montego Bay, Jamaica
May 16-18, 2010
Call for Papers
Theme: Collaboration and Community in a Global World
Important Dates
Submission date: October 15, 2009
Notification of Acceptance/Rejection: January 8, 2010
Final Submission and Early Registration due date: February 25, 2010
The organizing committee invites you to submit your research work,
teaching cases, and proposals for panels and tutorials to Conf-IRM.
All conference submissions will be double-blind and peer reviewed. The
review process will be handled by the track chairs and co-chairs.
Submission Types and Guidelines
Full Length Submissions
Submissions must be no more than 5000 words, including references,
appendices and title page, with a maximum of 5 figures/tables.
Submissions must be original, and previously unpublished, conceptual
or
empirical research manuscript for review. All accepted papers will be
published in the conference proceedings in their entirety upon payment
of registration fees. Papers accepted and presented at the conference
will also be placed in the AIS e-Library. Papers not presented at the
conference, for any reason, will not be included in the AIS e-Library.
Highly rated papers by the reviewers will be considered for
publications
in selected Journals. Moreover, the paper that best represents, in
terms
of quality and suitability to the theme and ideals of the conference
will be awarded the "Best Paper" Award during the conference.
Research-in-Progress Submissions
Submissions of no more than 2000 words with a maximum of 3
figures/tables. All research-in-progress submissions will be published
in the proceedings as short papers.
Teaching Cases
We welcome submissions of teaching cases. The cases should be based on
real situations and targeted at specific learning objectives. Cases
should be no more than 5000 words and must be accompanied by
instructor
teaching notes (not included in the 5000 words). The teaching notes
will not be published.
Panel and Tutorial Submissions
Submissions of not more than 1000 words. Proposals should include the
objectives, issues to be covered and full details of all presenters.
Method of presentation is at the submitter's discretion; however, the
submitter has the responsibility for providing his/her own panel
members. All accepted proposals will appear in the conference
proceedings (Please note that all panelists and tutorial presenters
must
register for the conference).
Important Announcements
- The number of submissions by an author (including joint authorship)
is strictly limited to a maximum of two submissions.
- Authors of accepted papers (at least one person per submission) and
all panel members MUST register and attend the conference.
Submissions of all types must be received by October 15, 2009.
Conference Tracks and Track Co-Chairs
● Advances in IT Application Development and Delivery Methods
and Processes
Maurice McNaughton, UWI, Jamaica
Tuure Tuunanen, U. of Auckland, New Zealand
● Data, Information, and Knowledge Management
Pramila Gupta, CQ University-Melbourne, Australia
Shayma Alkobaisi, UAEU, UAE
● E-Business and e-Commerce
John Christian and Geoff Seaver, National Defense University, USA
● Collaboration and Social Networking
Anabela Mesquita, ISCAP, Portugal
Anil Aggarwal, University of Baltimore, USA
● Emerging ICTs
Alex Ramirez, Carleton University, Canada
Bharat Maheshwari, University of Windsor, Canada
● ICT for Development and Economic Prosperity
Antonio Díaz Andrade AUT University, New Zealand
Marie Anne Macadar, UERGS, Brazil
● ICT in Government, Education, and Healthcare
Gerry Gingrich, National Defence University, USA
Sree Nilakanta, Iowa State University, USA
● ICT in Latin America and the Caribbean (Spanish)
José Abásolo, Universidad de los Andes, Colombia
Ricardo Sosa, Tecnológico de Monterrey, Mexico
● Trilha em Português (Portuguese Language Track)
Cesar Alexandre de Souza, FEA-USP, Brazil
Maria Alexandra Cunha, PUCPR, Brazil
● ICT in SMEs
Harindranath G., Romano Dyerson,
David Barnes, Royal Holloway-University of London, UK
● Information Security, Privacy, and Risk Management
Lech Janczewski, University of Auckland, New Zealand
Shaobo Ji, Carleton University, Canada
● IS Research and Teaching Approaches, Methods, and Techniques
Manuel Mora T., Autonomous University of Aguascalientes, Mexico
Nelly Todorova, University of Canterbury, New Zealand
● Green IS/IT
Alemayehu Molla RMIT, Australia
Cathy Urquhart University of Auckland, New Zealand
● IT Service Management
Rob Benyon, Rhodes University, South Africa
Piers Campbell, UAEU, UAE
● Social Implications of ICTs on People, Organizations, and Society
Cindi Smatt, Texas A & M University, USA and
Renee Pratt, Washington and Lee University, USA
● Strategic IT Management and Governance
Mohammad Dadashzadeh, Oakland University, USA
Michael Raisinghani, Texas Womens University, USA
● Panels and Tutorials
George Ditsa, UAEU, UAE
Sameer Verma, San Francisco State University, USA
Send all your inquiries to:
Conference Co-Chairs
Evan Duggan, University of the West Indies, Jamaica,
evan.duggan(a)uwimona.edu.jm
Gerald Grant, Carleton University, Canada,
gerald_grant(a)carleton.ca
Program Co-Chairs
Annette Mills, University of Canterbury, New Zealand,
annette.mills(a)canterbury.ac.nz
Kweku-Muata Osei-Bryson, Virginia Commonwealth University, USA
kweku.muata(a)isy.vcu.edu
Jairo Gutierrez, University of Auckland, New Zealand,
j.gutierrez(a)auckland.ac.nz
International Co-Chairs
Felix B Tan, AUT University, New Zealand,
felix.tan(a)aut.ac.nz
G. Harindranath, Royal Holloway, University of London,
g.harindranath(a)rhul.ac.uk
Sherif Kamel, American University in Cairo, Egypt,
skamel(a)aucegypt.edu
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
-------- Original-Nachricht --------
Betreff: [isworld] Reminder - Call for Chapter Proposals: "Semantic
Technologies for Business and Information Systems Engineering"
Datum: Mon, 5 Oct 2009 20:39:55 -0400
Von: Stefan Smolnik <Stefan.Smolnik(a)ebs.edu>
Antwort an: Stefan Smolnik <Stefan.Smolnik(a)ebs.edu>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
(Apologies for crosspostings of this announcement.)
CALL FOR CHAPTER PROPOSALS
Proposal Submission Deadline: October 15, 2009
Full Chapter Submission Deadline: December 30, 2009
Semantic Technologies for Business and Information Systems Engineering:
Concepts and Applications
A book edited by
Prof. Dr. Stefan Smolnik, European Business School (EBS), Germany
Prof. Dr. Frank Teuteberg, University of Osnabrück, Germany
Prof. Dr. Oliver Thomas, University of Osnabrück, Germany
To be published by IGI Global:
http://www.igi-global.com/requests/details.asp?ID=691
Introduction
There are increasing opportunities to consider the application of semantic
technologies for business information systems. Semantic technologies are
expected to improve business processes and information systems, and lead
to savings in cost and time as well as improved efficiency. However, the
degree of automation in enacting business processes and monitoring
information systems and value chains is still unsatisfying. Current
problems are representational heterogeneities between the various modeling
notations used, the various (subjective) perspectives of the modelers on
the application domains, or the different stages in the life-cycles of
business processes. Interoperability and integration of advanced business
information systems is concerned with the application of semantic
technologies. These technologies allow for annotating meaning to business
concepts and processes, and allow for automatically monitoring business
systems and processes without human interactions. This edited book will
explore the potential of semantic technologies for business and
information systems engineering, and provide the state of the art in
corresponding theoretical foundations and business applications.
Objective of the Book
This book will summarize the state of the art in applying semantic
technologies for business and information systems engineering.
Target Audience
The targeted audience is varied. The book is expected to be a strong
reference for students and researchers in semantic technologies for
business and information systems engineering but also a source book for
practitioners. The book will assist researchers in academia and industry,
students, business process analysts, information management professionals,
software engineers, and other practitioners in gaining knowledge on
applying semantic technologies for advanced business information systems,
in annotating semantics to business processes, and in semantically
integrating advanced business information systems.
Recommended topics include, but are not limited to, the following:
� Powerful ontologies and ontology languages for advanced business
information systems
� Standardization efforts in ontology engineering
� Methods, approaches, and tools for transforming conceptual models into
ontologies
� Semantic annotation of conceptual models using ontologies
� Mapping, comparison, and analysis of conceptual models using ontologies
� References models relevant to semantic technologies for advanced
business information systems
� Semantic interoperability between advanced business information systems
� Business process annotation techniques and adaptation of semantic
business process models
� Business process intelligence and process mining
� Context-aware process instantiation
� Analysis of human behavior in designing, implementing, and applying
semantic technologies in advanced business information systems
� Semantic Web services and service-oriented architectures
� Semantic technologies to support business activity monitoring and
real-time business analytics
� Applications of semantic technologies to solve various business problems
� Business interoperability issues and examples of semantic business
applications
� Tools to ease the development of business information systems applying
semantic technologies
� Metrics for semantic conceptual models and ontology comparison, and
their applicability in different application domains
� Critical success factors for the application of semantic technologies
for advanced business information systems
� Case studies, experiments, and empirical studies on conceptual modeling
and ontology engineering
� Combination of semantic technologies with risk monitoring, compliance
management, service level agreement management, quality management, and
business process benchmarking
� Successful applications in various industries (e.g., automotive,
engineering, pharmaceutical), and (service) domains (e.g., environmental
management, supply chain management, compliance management, risk
management, business process management and/or monitoring, knowledge
management)
Submission Procedure
Researchers and practitioners are invited to submit on or before October
15, 2009, a 2-3 page chapter proposal clearly explaining the mission and
concerns of his or her proposed chapter. Authors of accepted proposals
will be notified by October 30, 2009 about the status of their proposals
and sent chapter guidelines. Full chapters are expected to be submitted by
December 30, 2009. All submitted chapters will be reviewed on a
double-blind review basis. Contributors may also be requested to serve as
reviewers for this project.
Publisher
This book is scheduled to be published by IGI Global (formerly Idea Group
Inc.), publisher of the �Information Science Reference� (formerly Idea
Group Reference), �Medical Information Science Reference,� �Business
Science Reference,� and �Engineering Science Reference� imprints. For
additional information regarding the publisher, please visit
www.igi-global.com.
Important Dates
October 15, 2009: Proposal Submission Deadline
October 30, 2009: Notification of Proposal Acceptance
December 30, 2009: Full Chapter Submission
March 15, 2010: Review Results Returned
April 15, 2010: Revised Chapter Submission
April 30, 2010: Final Acceptance Notifications
May 15, 2010: Final Chapter Submission
Inquiries and submissions can be forwarded electronically (Word document)
or by mail to:
Prof. Dr. Stefan Smolnik
Institute of Research on Information Systems (IRIS)
European Business School (EBS)
International University Schloss Reichartshausen
Rheingaustr. 1, 65375 Oestrich-Winkel, GERMANY
Phone: +49-6723-991-246 � Fax: +49-6723-991-255
E-mail: stefan.smolnik[at]ebs.edu
WWW: http://www.ebs.edu/iris
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
-------- Original-Nachricht --------
Betreff: [isworld] Call for chapter proposals | Business, Technological
and Social Dimensions of Computer Games
Datum: Sat, 3 Oct 2009 00:47:51 +0100
Von: Maria Manuela Cruz-Cunha <mcunha(a)ipca.pt>
Antwort an: Maria Manuela Cruz-Cunha <mcunha(a)ipca.pt>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
CALL FOR CHAPTER PROPOSALS
Business, Technological and Social Dimensions of Computer Games: Multidisciplinary Developments
Edited by Maria Manuela Cruz-Cunha, Vítor Hugo Carvalho & Paula Tavares
http://www.mcruzcunha.com/computer_games
computer.games.book(a)gmail.com
To be published by IGI Global:
http://www.igi-global.com/requests/details.asp?ID=711
Deadline for chapter proposals submission (1 page): October 7, 2009
=================================================================
(please excuse us if you receive this email more than once)
Dear Professor / Dr. /Mr. /Mrs.,
We are pleased to invite you to contribute to the book �Business, Technological and Social Dimensions of Computer Games: Multidisciplinary Developments.� For your reference, please find below a detailed explanation of our objectives for this manuscript as well suggestions of some possible topics to which you may wish to contribute. You are, however, not limited to these topics. Please feel free to add any topics that you think are critical issues in the theme.
INTRODUCTION:
This multidisciplinary area presents an exponentially growing impact on the economy, creating huge business opportunities and generating large investments and returns. It also creates, new employment opportunities for professionals of many areas, which range from designers to programmers, psychologists to mathematicians, managers to politicians, and marketers to investors, as it increases the number of graduate and post-graduate studies offered by universities worldwide.
MISSION AND OVERALL OBJECTIVES OF THE BOOK:
The mission of the proposed book is to discuss the main issues, challenges, opportunities and trends related to this explosive range of new developments and applications, in permanent evolution.
The overall objectives are:
- To discuss the impact of this emerging industry, new professions, new users;
- To present the new technological developments related to the requirements of this industry;
- To discuss new requirements;
- To present practical solutions and recent developments;
- To introduce the state-of-the-art technologies;
- To discuss social and individual impact;
- To discuss the future generations of computer games;
- To provide guidance for further research and development;
- To build a bridge between research and practice.
TARGET AUDIENCE:
The book is intended to support a professional audience of top managers and computer games professionals (developers and creative) and also an academic audience (teachers, researchers and students, mainly of post-graduate studies).
The book is expected to include around 20 chapters of approximately 8,000 words each.
RECOMMENDED TOPICS:
The book intends to collect the most recent technological developments in all embraced fields of knowledge or disciplines of computer games development, encompassing planning, design, development, marketing, business management, and consumer behavior.
The book is intended to cover the following aspects:
1. The technological dimension, addressing supporting technologies and tools; computing developments and requirements; programming languages; human-computer interaction.
2. Business / industry dimension: emerging businesses; business opportunities and applications; prospective studies; studies of impact; critical success factors; distribution; piracy and copyrights.
3. Human aspects: epistemology; psychological aspects; behavioral effects; interaction; social effects.
4. Communication and art: digital art, design and aesthetics in games; games as educational tools.
5. Other applications
SUBMISSION PROCEDURE:
Researchers and practitioners are invited to submit on or before October 7, 2009, a 1-2 page manuscript proposal clearly explaining the mission and concerns of the proposed chapter. This proposal should be sent in Word format to computer.games.book(a)gmail.com (LaTex files cannot be accepted).
Authors will be notified by October 15, 2009 about the status of their proposals.
Guidelines for preparing full chapters will be sent to authors of accepted proposals, who will have until January 15, 2010, to prepare their full chapter of approximately 8,000 words.
Chapters must be original and not submitted for publication or published elsewhere.
All submitted chapters will be reviewed on a double-blind review basis.
The book is scheduled to be published in 2011 by IGI Global, publisher of Information Science Reference (formerly Idea Group Reference), Medical Information Science Reference, and IGI Publishing imprints. For additional information regarding the publisher, please visit www.igi-global.com .
For more detailed information, please visit the project website at http://mcruzcunha.com/computer_games
Should you have any questions or concerns, please do not hesitate to contact us at computer.games.book(a)gmail.com
We appreciate your consideration for this invitation and hope to hear from you soon!
Kind regards,
Maria Manuela Cruz-Cunha (mcunha(a)ipca.pt)
Vítor Carvalho (vcarvalho(a)ipca.pt)
Paula Tavares (ptavares(a)ipca.pt)
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
--
Univ.Prof. Dr. Gustaf Neumann
Institute of Information Systems and New Media
WU Vienna
Augasse 2-6, A-1090 Vienna, AUSTRIA
-------- Original-Nachricht --------
Betreff: [isworld] OLKC 2010 conference now accepting online submissions
Datum: Fri, 2 Oct 2009 13:26:18 -0400
Von: Michael Zack <m.zack(a)neu.edu>
Antwort an: Michael Zack <m.zack(a)neu.edu>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
International Conference on Organizational Learning, Knowledge and
Capabilities (OLKC 2010)
3-6 June 2010, Northeastern University, Boston, Massachusetts, USA
The OLKC 2010 conference website is now accepting online submissions.
You can access the online submission page either by going to the
conference website (www.cba.neu.eduy/olkc2010) and navigating to the
call-for-papers page, or by going to the submission site directly
(www.conftool.net/olkc2010) where you will be asked to create an account
before submitting your abstract.
OLKC is a leading international conference for researchers in the area of
organizational knowledge and learning. The conference is international in
scope, and inclusive of the wide range of intellectual perspectives that
have helped to make organizational knowledge and learning one of the most
vibrant areas for contemporary research and debate. We therefore welcome
theoretical, empirical and combined contributions.
The theme of the 2010 OLKC conference is �Learning to Innovate; Innovating
to Learn.� The world economy in which we are living poses challenges that
lead to a realization that �more of the same� will be difficult to
sustain. Thus, innovation becomes a critical means for organizational
success. Broadly defined, innovation can be related to organizational
input, managerial process or organizational output. The OLKC community of
scholars has already initiated dialogue that links its particular
strengths to innovation issues. This conference aims to further that
dialogue by attracting leading edge work that leverages the OLKC
community�s in-depth understanding of learning and knowledge to better
understand innovation. Our aim is to stimulate breakthrough research
streams linking organizational learning, knowledge management and
innovation.
Key Dates
Submission deadline for 800 word abstract: 15 November 2009;
Authors will be advised of the abstract decision: 15 January 2010
Full papers of 5,000 to 7,000 words due: 15 April 2010
Abstracts and papers can be submitted at www.conftool.net/olkc2010
Conference Organizers
Mike Zack, Northeastern University, m.zack(a)neu.edu
Nick Athanassiou, Northeastern University, n.athanassiou(a)neu.edu
Contacts
For general conference information: Mike Zack (m.zack(a)neu.edu)
For program-specific information: Nick Athanassiou (n.athanassiou(a)neu.edu)
For more information on OLKC 2010: http://www.cba.neu.edu/olkc2010
For more information on OLKC and previous conferences: http://www.olkc.net
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
--
Univ.Prof. Dr. Gustaf Neumann
Institute of Information Systems and New Media
WU Vienna
Augasse 2-6, A-1090 Vienna, AUSTRIA
-------- Original-Nachricht --------
Betreff: [isworld] CfPart - IFIP WG 8.1 Working Conference on The
Practice of Enterprise Modeling (PoEM 2009)
Datum: Fri, 2 Oct 2009 10:06:32 -0400
Von: Anne Persson <anne.persson(a)his.se>
Antwort an: Anne Persson <anne.persson(a)his.se>
An: AISWORLD Information Systems World Network <isworld(a)lyris.isworld.org>
Apologies for cross posting
-------------------------------------
CALL FOR PARTICIPATION (see attachment)
PoEM 2009
2nd IFIP WG 8.1 Working Conference on
The Practice of Enterprise Modeling:
Stockholm, Sweden
18-19 November, 2009
http://poem.dsv.su.se/
Enterprise Modeling (EM) has gained substantial popularity both in the
academic community and among practitioners. There is a variety of EM
methods, approaches, and tools developed and offered on the market. In
practice they are used for various purposes such as business strategy
development, process restructuring, as well as business and IT
architecture alignment and governance.
PoEM conference aims to establish a dedicated forum where researchers,
users and practitioners share their experience as well as openly discuss
emerging issues in the field. PoEM 2009 will be the 2nd IFIP WG 8.1
working conference on the Practice of Enterprise Modeling. It follows the
success of PoEM 2008 which attracted over 50 participants from all over
the world, representing both industry and academia.
The conference program consists of 17 paper presentations addressing
original and significant topics of Enterprise Modeling ranging from
reports of innovative case studies to laying grounds to novel solutions in
terms of methods and tools. The program will feature two keynotes by
highly experienced practitioners � Christer Nellborn addressing the
challenge of transforming EM into natural tool for business development
and Håvard Jørgensen on the current experiences and knowledge gaps in
Enterprise Modeling.
The event will also include joint brainstorming sessions about the future
challenges and development trends of Enterprise Modeling. These sessions
are envisioned to stimulate the link between the practitioners and
researchers.
Early registration deadline October, 15
Registration for PoEM 2009 can be done via the conference website
http://poem.dsv.su.se/registration/
WELCOME!
Anne Persson and Janis Stirna
PoEM 2009 co-chairs
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann(a)wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.
--
Univ.Prof. Dr. Gustaf Neumann
Institute of Information Systems and New Media
WU Vienna
Augasse 2-6, A-1090 Vienna, AUSTRIA
-------- Original-Nachricht --------
Betreff: [WI] FIRST PhD Autumn School on Modal Logic
Datum: Thu, 01 Oct 2009 14:38:15 +0200
Von: Thomas Bolander <tb(a)imm.dtu.dk>
An: aarati(a)cs.stanford.edu, aayesh(a)dmu.ac.uk, acl2(a)cs.utexas.edu,
acl(a)opus.cs.columbia.edu, adam(a)cogsci.jhu.edu,
admin(a)lists.oasis-open.org, agents(a)csc.liv.ac.uk, agents(a)cs.umbc.edu,
ageron(a)math.unicaen.fr, aiia(a)dis.uniroma1.it, ailr(a)nwpu.edu.cn,
akirasu.tw(a)yahoo.com.tw, akoslow(a)gc.cuny.edu, alama(a)stanford.edu,
alessandro.facchini(a)unine.ch, a.lisitsa(a)csc.liv.ac.uk,
amirouche.moktefi(a)gersulp.u-strasbg.fr, Andreas.Herzig(a)irit.fr,
angelides(a)stanford.edu,
ankuendigungen-gimod(a)liste.es.e-technik.tu-darmstadt.de,
anna.maetzener(a)access.unizh.ch, antonio.ledda(a)inwind.it,
arbiser(a)dc.uba.ar, areces(a)loria.fr, asci(a)twi.tudelft.nl, atm(a)let.rug.nl,
balder.tencate(a)uva.nl, baltag(a)comlab.ox.ac.uk, basin(a)inf.ethz.ch,
bbaki(a)info.unicaen.fr, bbarbour(a)unitec.ac.nz,
bdjioua(a)paris4.sorbonne.fr, Beata.Konikowska(a)ipipan.waw.pl,
behounek(a)cs.cas.cz, Bernhard.Heinemann(a)fernuni-hagen.de,
bilkova(a)math.cas.cz, birkedal(a)itu.dk, blutner(a)web.de, bou(a)mat.ub.es,
b.teheux(a)ulg.ac.be, carniell(a)cle.unicamp.br, categories(a)mta.ca,
ccal(a)math.ist.utl.pt, ccshan(a)post.harvard.edu, cdiprisc(a)ivic.ve,
cherrierp(a)wanadoo.fr, Christiane.Ruffieux(a)chuv.ch, cintula(a)cs.cas.cz,
ckemke(a)cs.umanitoba.ca, c.konyevits(a)bluewin.ch, clp(a)comp.nus.edu.sg,
clpr-users(a)comp.nus.edu.sg, cluk(a)dcs.shef.ac.uk, cmartinez(a)wesleyan.edu,
collinsp(a)scot.ac.uk, colognet(a)ucy.ac.cy, comlab(a)comlab.ox.ac.uk,
community(a)mlnet.org, complog(a)cs.nmsu.edu, comprox(a)doc.ic.ac.uk,
compulognet-parimp(a)clip.dia.fi.upm.es, compulognet-parimp(a)dia.fi.upm.es,
concurrency(a)cwi.nl, conferences(a)computer.org, coniglio(a)cle.unicamp.br,
coq-club(a)pauillac.inria.fr, corpora(a)hd.uib.no, cotton(a)ensae.fr,
css(a)cs.stanford.edu, cup(a)icot.or.jp, czhou(a)indiana.edu,
dai-list(a)mcc.com, daml-all(a)daml.org, Daniel.hausmann(a)dfki.de,
davor.runje(a)fer.hr, dbailey(a)cse.ucsc.edu, dbitaly(a)list.dia.uniroma3.it,
dbworld(a)cs.wisc.edu, demri(a)lsv.ens-cachan.fr, dg(a)dcs.kcl.ac.uk,
dgracia(a)ub.edu, Diderik.Batens(a)UGent.be, digicult-forum(a)digicult.info,
diglib(a)infoserv.inist.fr, discussion(a)agentcities.org, dl(a)dl.kr.org,
dotkom-project(a)dcs.shef.ac.uk, dunn(a)indiana.edu, ea(a)ira.uka.de,
eccaiwww(a)eccai.org, ecoop-info(a)ecoop.org, edelcio(a)pucsp.br,
editor(a)agentlink.org, editor(a)knowledgeboard.com, eestevez(a)us.es,
egkle(a)comcast.net, ehamada(a)mesastate.edu, elsnet-list(a)elsnet.org,
elsnet-list(a)let.uu.nl, enrique.alonso(a)uam.es, e_pacuit(a)hotmail.com,
epontell(a)cs.nmsu.edu, esslli07lecturers(a)cs.tcd.ie,
esslli07participants(a)cs.tcd.ie, esterel-users(a)sophia.inria.fr,
e.tomaszewski(a)iphils.uj.edu.pl, evalo3(a)hotmail.com,
event(a)in.tu-clausthal.de, events_calendar(a)acm.org, ez4(a)st-andrews.ac.uk,
fabio.delprete(a)unimi.it, fadoria2001(a)yahoo.com.br,
fanyang(a)uclink.berkeley.edu, fg-db(a)informatik.uni-rostock.de,
fgwm(a)uni-trier.de, finite-model-theory(a)lists.RWTH-Aachen.DE,
finng(a)ruc.dk, fm-discussion(a)cs.man.ac.uk, fmichael(a)brooklyn.cuny.edu,
fom(a)cs.nyu.edu, fotfs(a)math.uni-bonn.de, franceschet(a)dimi.uniud.it,
frovin(a)ruc.dk, fsoler(a)us.es, ftohme(a)criba.edu.ar,
gazette(a)sfs.nphil.uni-tuebingen.de, gemm(a)usal.es,
genechoquette(a)hotmail.com, gfeng(a)usc.edu,
gilberto.pastorello(a)terra.com.br, gil(a)ub.edu, goranko(a)maths.wits.ac.za,
graduiertenkolleg-infos(a)ims.uni-stuttgart.de,
gragra(a)i3.informatik.rwth-aachen.de, Grant.Marler(a)cgu.edu,
grosado(a)uprrp.edu, guigong3(a)etu.unige.ch, guray(a)asu.edu,
gwa(a)lists.ut.ee, haf(a)fc.unesp.br, Hans.Lycke(a)UGent.be,
hehuac(a)nwpu.edu.cn, Heinrich.Wansing(a)mailbox.tu-dresden.de,
hellm001(a)umn.edu, hermann(a)inf.puc-rio.br, hkurokawa(a)gc.cuny.edu,
hspencer(a)stanford.edu, hugomar(a)ime.usp.br, humanist(a)lists.Princeton.EDU,
humanist(a)princeton.edu, hykel(a)maths.man.ac.uk, hylo(a)loria.fr,
ifla-l(a)infoserv.inist.fr, ifmsig(a)cs.tcd.ie, ilpo.halonen(a)helsinki.fi,
imperativlogik(a)hotmail.com, info(a)folli.org,
institutnicod-diffusion(a)ens.fr, irlist-editor(a)acm.org,
irlist-editor(a)sigir.org, isworld(a)listserv.heanet.ie,
ISWORLD-request(a)listserv.heanet.ie, itala(a)cle.unicamp.br,
ivystone(a)tom.com, Jacques.Riche(a)cs.kuleuven.ac.be,
jairomat(a)linkway.com.br, janciu(a)uni.lodz.pl, jansana(a)cerber.mat.ub.es,
janusz.czelakowski(a)uni.opole.pl, jarekmuller(a)yahoo.co.uk,
jarmuzek(a)uni.torun.pl, jccifa(a)mat.ufpr.br, jean-yves.beziau(a)unine.ch,
jefmontg(a)nmsu.edu, jensuh(a)ruc.dk, jerusa(a)das.ufsc.br, jmfont(a)ub.edu,
johan(a)science.uva.nl, Joke.Meheus(a)rug.ac.be, jsam(a)uol.com.br,
j.seligman(a)auckland.ac.nz, jsgrygiel(a)poczta.onet.pl,
juanh(a)science.uva.nl, juliana.bueno(a)cle.unicamp.br, jv(a)imm.dtu.dk,
jwaldmajer(a)uni.opole.pl, kamps(a)science.uva.nl, kashima(a)is.titech.ac.jp,
kaw(a)science.uva.nl, kaw(a)swi.psy.uva.nl, kchan(a)science.uva.nl,
kgank(a)wp.pl, kgs-list(a)logic.at, kgs(a)logic.at, kgs(a)logic.tuwien.ac.at,
ki-inf(a)uni-koblenz.de, kok6(a)pitt.edu, kracht(a)math.fu-berlin.de,
Krister.Segerberg(a)filosofi.uu.se, kristina(a)cs.stanford.edu, kr(a)kr.org,
krr-actions(a)irst.itc.it, ksnelson(a)subjectivity.com,
ladusaw(a)cats.ucsc.edu, ldostal(a)kfi.zcu.cz, lfcs-interest(a)dcs.ed.ac.uk,
lics(a)informatik.hu-berlin.de, lics-request(a)dcs.ed.ac.uk,
Lieven.Haesaert(a)UGent.be, linguist(a)linguistlist.org,
list(a)prooftheory.org, litak(a)jaist.ac.jp, lm.parisoli(a)online.fr,
ln(a)cines.fr, loco(a)csc.liv.ac.uk, logic(a)cs.stanford.edu,
logic-list(a)helsinki.fi, logic(a)math.uni-bonn.de,
logic-ml(a)sato.kuis.kyoto-u.ac.jp,
logik(a)math02.mathematik.uni-muenchen.de, logik(a)math.uni-freiburg.de,
logik(a)math.uni-muenster.de, loom-forum(a)isi.edu, lot(a)let.uu.nl,
lprolog(a)cs.umn.edu, ltaylor(a)ling.ucsd.edu, lucia(a)ime.usp.br,
luca.vigano(a)univr.it, luiz(a)inf.puc-rio.br, lutz(a)ps.uni-sb.de,
Lutz.Schroeder(a)dfki.de, maietti(a)math.unipd.it, mailings(a)iwv.jku.at,
majer(a)site.cas.cz, makinson(a)dcs.kcl.ac.uk, malerba(a)di.uniba.it,
mamobe(a)ruc.dk, mara(a)usal.es, marie.duzi(a)vsb.cz, marx(a)science.uva.nl,
math.logik(a)gmx.net, Max.Cresswell(a)bats.ecs.vuw.ac.nz,
mccolm(a)math.usf.edu, mcgin017(a)umn.edu, mdr(a)science.uva.nl,
mercury-users(a)cs.mu.oz.au, mhuertass(a)uoc.edu,
michael.groneberg(a)unifr.ch, miguel.couceiro(a)uta.fi, miraglia(a)ime.usp.br,
mizar-forum(a)mizar.uwb.edu.pl, mnowicki(a)uni.torun.pl, mrg(a)itc.it,
mspinksau(a)yahoo.com.au, mullers77(a)hotmail.com, musa_akrami(a)yahoo.com,
mvazquez(a)ull.es, mwallen(a)cs.umass.edu, ncacosta(a)usp.br,
nechitajlov(a)mail.ru, nemeti(a)math-inst.hu, nepomuce(a)us.es,
nicola.olivetti(a)univ-cezanne.fr, nicolosi(a)dmi.unict.it,
Nikolaos.Tzevelekos(a)comlab.ox.ac.uk, nl-kr(a)cs.rochester.edu,
nordlingnet(a)uib.no, odintsov(a)math.nsc.ru, om-announce(a)openmath.org,
onto(a)aifb.uni-karlsruhe.de, ontolog-forum(a)ontolog.cim3.net,
ontology(a)buffalo.edu, ontoquery(a)ruc.dk, ozan(a)informatik.uni-leipzig.de,
paoli(a)unica.it, patrick.allo(a)vub.ac.be, Patrick.Blackburn(a)loria.fr,
Paul-Francois.Egre(a)univ-paris1.fr, pcobrer(a)alumni.unav.es,
penguists(a)babel.ling.upenn.edu, penka(a)stanford.edu, peregrin(a)ff.cuni.cz,
peter.greenfield(a)univ-fcomte.fr, pgochet(a)ulg.ac.be,
philipp.keller(a)lettres.unige.ch, pjparikh(a)aol.com, polacik(a)us.edu.pl,
potts(a)ling.ucsc.edu, pozzato(a)di.unito.it, procos-request(a)jiscmail.ac.uk,
prog-lang(a)diku.dk, project(a)aktors.org, proof-complexity(a)math.cas.cz,
ProofTheory.List(a)Gmail.com, psh(a)informatik.uni-tuebingen.de,
public-owl-dev(a)w3.org, public-rif-wg(a)w3.org, puml-list(a)cs.york.ac.uk,
pvs(a)csl.sri.com, QWN05577(a)nifty.ne.jp, rahm(a)informatik.uni-leipzig.de,
raja(a)tifr.res.in, Rajeev.Gore(a)anu.edu.au, rantonse(a)ifi.uio.no,
Razvan.Diaconescu(a)imar.ro, rcignoli(a)2vias.com.ar,
regis.alenda(a)Gmail.com, rendsvig(a)Gmail.com, rewerse-all(a)rewerse.net,
rgon(a)math.ist.utl.pt, rineke(a)ai.rug.nl, risc(a)idf.ext.jussieu.fr,
risc(a)risc.cnrs.fr, rlewin(a)mat.puc.cl, rodin(a)ens.fr,
rosati(a)dis.uniroma1.it, Ross.Brady(a)latrobe.edu.au, Ruffino(a)gmx.net,
ruleml-all(a)ruleml.org, ruy(a)cin.ufpe.br, Ryan.Young(a)anu.edu.au,
rz(a)linguist.jussieu.fr, rzymlok(a)wp.pl, saliyari(a)indiana.edu,
saltcat(a)bc4.so-net.ne.jp, sap(a)ruc.dk, sautter(a)terra.com.br,
sayadyans(a)yahoo.com, sbardell(a)cle.unicamp.br, schang.fabien(a)voila.fr,
sefus(a)usal.es, semantic-web(a)w3.org, semantik(a)rz.uni-duesseldorf.de,
semantik(a)uni-duesseldorf.de, senseval-discuss(a)listserv.hum.gu.se,
sep(a)phil.ufl.edu, seweb-list(a)www2-c703.uibk.ac.at, sf(a)tut.fi,
shillier(a)ualberta.ca, shinkore(a)math.nsc.ru, sigsem(a)aclweb.org,
skgottipati(a)hotmail.com, slr(a)st-and.ac.uk, smunoz(a)ucsc.cl,
sonsmets(a)vub.ac.be, spin_list(a)research.bell-labs.com, spinn(a)cst.dk,
srirams(a)cs.stanford.edu, srmv(a)bridge.com.br, st09458(a)student.uib.no,
staschokm(a)philosophie.hu-berlin.de, steiner(a)iam.unibe.ch,
steinhorn(a)vassar.edu, su.rogerson(a)arts.monash.edu.au,
surowik(a)hum.uwb.edu.pl, sw-announce(a)semanticplanet.com,
swbyun(a)star.ks.ac.kr, sw-ergo(a)gui-design.de, taraleen(a)sfu.ca,
taranto(a)ling.ucsd.edu, tarlecki(a)mimuw.edu.pl, tballiso(a)umich.edu,
tb(a)imm.dtu.dk, theorem-provers(a)ai.mit.edu, THEORY-A(a)LISTSERV.NODAK.EDU,
theory(a)cl.cam.ac.uk, theory-logic(a)cs.cmu.edu,
theorynt(a)LISTSERV.NODAK.EDU, timm.lampert(a)philo.unibe.ch,
tinko(a)fmi.uni-sofia.bg, T.J.M.Hendrey-Seabrook(a)sussex.ac.uk,
todorova(a)vonneumann.cog.jhu.edu, tojo(a)jaist.ac.jp,
tonoike(a)lang.nagoya-u.ac.jp, topicmapmail(a)infoloom.com, torben(a)ruc.dk,
tpequeno(a)secrelnet.com.br, ura-list(a)helsinki.fi, users(a)mozart-oz.org,
uws(a)uni.opole.pl, vandervk(a)uqtr.ca, vasyukov(a)pochta.ru,
vegetal(a)cle.unicamp.br, veloso(a)cos.ufrj.br, vero0304(a)yahoo.com,
veta_v(a)mail.ru, vincent(a)hum.ku.dk, vip_cse(a)imm.dtu.dk, vki-list(a)dfki.de,
v.komendantsky(a)cs.ucc.ie, vladan(a)ualberta.ca, V.Rybakov(a)mmu.ac.uk,
Walsh.108(a)nd.edu, wdean(a)ruccs.rutgers.edu, webmaster(a)aisb.org.uk,
weekly(a)egovmonitor.com, weinsteinm(a)mail.montclair.edu,
wi(a)aifb.uni-karlsruhe.de, wkt(a)motorola.com, wojtylak(a)ux2.math.us.edu.pl,
www-annotation(a)w3.org, www-rdf-logic(a)w3.org, www-rdf-rules(a)w3.org,
www-webont-wg(a)w3.org, www-ws(a)w3.org, wyw(a)gdut.edu.cn,
xcaicedo(a)uniandes.edu.co, xu(a)ling.ohio-state.edu, yde(a)science.uva.nl,
yup(a)umich.edu, ywang(a)science.uva.nl, yye(a)umich.edu, zhitaohe(a)vip.sina.com
Call for Participation
FIRST PhD Autumn School on Modal Logic
IT University of Copenhagen, Denmark
November 10-11 2009
<http://hylocore.ruc.dk/m4m6school.html>
The goal of the Autumn School on Modal Logic is to prepare PhD
students and other researchers for participation in the sixth workshop
Methods for Modalities (M4M-6) which takes place November 12-14 2009
in Copenhagen. The workshop Methods for Modalities aims to bring
together researchers interested in developing proof tools and decision
methods based on modal logics. Here the term "modal logics" is
conceived broadly, including description logic, guarded fragments,
conditional logic, temporal and hybrid logic, etc. The first M4M
workshop took place in Amsterdam in 1999. Since then, M4M workshops
have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and
2007 (Paris). See
<http://m4m.loria.fr>
for more information on the workshop series, in particular, see why
modal logic is important for computer science. A goal of having M4M
in Denmark is to strengthen Danish research in reasoning methods for
modal logics, which is a growing area of foundational and increasingly
computational importance.
The Autumn School on Modal Logic is open to anyone interested. The
intended participants will have a general background in theoretical
computer science, but wish to obtain more concrete knowledge on modal
logic and its computational aspects. Besides a working knowledge of
English, prerequisites are a basic knowledge of logic and mathematics
that is usually covered in undergraduate classes on discrete
mathematics.
Lecturers and topics:
Computational Modal Logic
Carlos Areces and Patrick Blackburn, INRIA, Nancy
Temporal Logics for Specification and Verification
Valentin Goranko, Technical University of Denmark
The Judgmental Reconstruction of Modal Logic
Carsten Schürmann, IT University of Copenhagen
Resolution-Based Theorem Proving for Modal and Description Logic
Renate Schmidt, University of Manchester
Hybrid Deduction
Patrick Blackburn, INRIA, Nancy
Time and place:
The Fall school will take place at the IT University of Copenhagen
November 10 and 11 2009.
Registration:
The registration deadline for the Autumn school is
*** Friday, October 23 2009 ***
Please register here: http://hylocore.ruc.dk/m4m6registration.html
FIRST PhD students participate free of charge.
Organization:
Thomas Bolander, Technical University of Denmark
Torben Braüner, Roskilde University
Carsten Schürmann, IT University of Copenhagen
Torben Braüner (torben(a)ruc.dk) is main organizer of the school and
can be contacted for more information. The Autumn School on Modal Logic
is supported by the FIRST Research School (http://first.dk) and the
research project HYLOCORE (http://hylocore.ruc.dk).
--
Mailing-Liste: WI(a)aifb.uni-karlsruhe.de
Administrator: WI-admin(a)aifb.uni-karlsruhe.de
Konfiguration: http://www.aifb.uni-karlsruhe.de/mailman/listinfo/wi
--
Univ.Prof. Dr. Gustaf Neumann
Institute of Information Systems and New Media
WU Vienna
Augasse 2-6, A-1090 Vienna, AUSTRIA