Nabble - Discrete Mathematics and Algorithms

ecursive definition

2008-09-22T09:59:10Z

Hi
I have a problem which i couldn't solve
could somebody help me

1. Give a recursive definition of the length of a well formed formula, that is of the number of symbols occuring in it . for example the length of (p ^ (¬q)) is 8.

2. show that there is no well formed formula of length 2,3 and 6 , but any other positive length is possible

Please respond as soon as possible

CFP: ISNN2009 (May 26-29, 2009; Wuhan, China)

2008-09-16T00:40:59Z

ISNN2009 CALL FOR PAPERS

The Sixth International Symposium on Neural Networks (ISNN 2009) will be held in Wuhan, following the successes of previous events. Composed of three parts (Wuchang, Hankou, and Hanyang), Wuhan is the capital of Hubei Province in central China with a long history and rich heritages. During the warrior-states period (481-221 BC), Wuhan is a part in Chu Kingdom It began to prosper as a commercial town about two-thousand years ago, when it was called Yingwuzhou (Parrot beach). During the Song Dynasty (960-1279 AD), the region became one of the most prosperous commercial centers along the Yangtze River. By the end of the Ming Dynasty (1368-164 AD), Hankou was one of the four most famous cities in China. Today, Wuhan is an educational and industrial center and a hub of water and rail transportation in China.

ISNN 2009 aims to provide a high-level international forum for scientists, engineers, and educators to present the state of the art of neural network research and applications in related fields. The symposium will feature plenary speeches given by world renowned scholars, regular sessions with broad coverage, and special sessions focusing on popular topics.

Prospective authors are invited to contribute high-quality papers to ISNN 2009. In addition, proposals for special sessions within the technical scopes of the symposium are solicited. Special sessions, to be organized by internationally recognized experts, aim to bring together researchers in special focused topics. Papers submitted for special sessions are to be peer-reviewed with the same criteria used for the contributed papers. Researchers interested in organizing special sessions are invited to submit formal proposals to ISNN 2009. A special session proposal should include the session title, a brief description of the scope and motivation, names, contact information and brief biographical information on the organizers.

Authors are invited to submit full-length papers (10 pages maximum) by the submission deadline through the online submission system. Potential organizers are also invited to enlist five or more papers with cohesive topics to form special sessions. The submission of a paper implies that the paper is original and has not been submitted under review or is not copyright-protected elsewhere and will be presented by an author if accepted. All submitted papers will be refereed by experts in the field based on the criteria of originality, significance, quality, and clarity. The authors of accepted papers will have an opportunity to revise their papers and take consideration of the referees' comments and suggestions. Papers presented at ISNN 2009 will be published in the EI-indexed proceedings (Springer LNCS) and some selected good papers will be included in special issues of several SCI-indexed journals.

************************************************
PROGRAM TOPICS
************************************************

1. Theories
Computational neuroscience
Connectionist theory
Cognitive science
Mathematical modeling of neural systems
Neurodynamic analysis
Neurodynamic optimization
Adaptive dynamic programming
Neuroinformatics
Bioinformatics
Self-organization and goal-oriented learning
Embodied intelligence

2. Models
Embedded neural systems
Forward neural networks
Recurrent neural networks
Gene regulatory network
Consensus in neural networks
Competitive networks
Coupled network model
Hybrid intelligent systems
Hardware implementation
Evolving neural networks
Complex neural models
Neural networks models in economics and marketing
Neural models in finance
Fuzzy neural networks
Hierarchical memory organizations
Incremental learning models
Swarm intelligence and optimization
Bio-inspired intelligent models
Associative memory models
Adaptive sensory-motor coordination
Cellular neural network models
Self-organizing map models

3. Algorithms
Probabilistic methods
information-theoretic methods
Supervised and unsupervised learning
Semi-supervised learning
Reinforcement learning
Support vector machines
Kernel methods
Principal component analysis
Independent component analysis
Boosting and adaptive boost algorithms
Multi-resolution algorithms
Assembly learning algorithms
Autonomous mental development
Hybrid optimization algorithms
Evolutionary computation algorithms
Fuzzy modeling and fuzzy systems
Statistical learning methods

4. Applications
Brain imaging
Medical imaging processing
Data mining and knowledge discovery
Pattern recognition
Machine learning and learning control systems
Time series analysis
Financial data prediction
Image and signal processing
Intelligent control system
Expert system
Computer Vision
Robotics
Games
Telecommunications
Transportation systems
Intrusion detection
Information security
Fault diagnosis
Real-world applications
Multi-agent learning systems
Planning and scheduling
Decision-making support systems
Computational intelligence for power systems
Sensor networks
Multimedia systems
Biomedical data analysis
Human-robot interaction
Intelligent navigation systems
Speech and language processing
Sequence learning and sequential behaviors
Computational intelligence for text mining
Computational intelligence for Web mining

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

Special session proposals deadline: November 1, 2008
Paper submission deadline: December 1, 2008
Notification of acceptance: January 1, 2009
Camera-ready copy and author registration: February 1, 2009

More information can be found at:
http: http://isnn2009.hust.edu.cn or http://www.mae.cuhk.edu.hk/~isnn2009

For inquiries, please contact the secretariat at: isnn2009@mae.cuhk.edu.hk or isnn2009@mail.hust.edu.cn

New Springer book on Modular Average-Case Analysis

2008-09-02T02:44:08Z

New Springer book on static modular average-case analysis.

The following new Springer book addresses the fundamental problem of
compositional static timing of software, with a focus on average-case
analysis.

http://www.springer.com/computer/foundations/book/978-0-387-73383-8

A Modular Calculus for the Average Cost of Data Structuring

Schellekens, Michel
2008, XXIV, 246 p. 20 illus. With CD-ROM., Hardcover
ISBN: 978-0-387-73383-8

A Modular Calculus for the Average Cost of Data Structuring introduces
MOQA, a new domain-specific programming language which guarantees the
average-case time analysis of its programs to be modular. "Time" in this
context refers to a broad notion of cost, which can be used to estimate
the actual running time, but also other quantitative information such as
power consumption, while modularity means that the average time of a
program can be easily computed from the times of its
constituents--something that no programming language of this scope has
been able to guarantee so far. MOQA principles can be incorporated in
any standard programming language.

MOQA supports tracking of data and their distributions throughout
computations, based on the notion of random bag preservation. This
allows a unified approach to average-case time analysis, and resolves
fundamental bottleneck problems in the area. The main techniques are
illustrated in an accompanying Flash tutorial, where the visual nature
of this method can provide new teaching ideas for algorithms courses.

This volume, with forewords by Greg Bollella and Dana Scott, presents
novel programs based on the new advances in this area, including the
first randomness-preserving version of Heapsort. Programs are provided,
along with derivations of their average-case time, to illustrate the
radically different approach to average-case timing. The automated
static timing tool applies the Modular Calculus to extract the
average-case running time of programs directly from their MOQA code.

A Modular Calculus for the Average Cost of Data Structuring is
designed for a professional audience composed of researchers and
practitioners in industry, with an interest in algorithmic analysis and
also static timing and power analysis--areas of growing importance. It
is also suitable as an advanced-level text or reference book for
students in computer science, electrical engineering and mathematics.

Michel Schellekens obtained his PhD from Carnegie Mellon University,
following which he worked as a Marie Curie Fellow at Imperial College
London. Currently he is an Associate Professor at the Department of
Computer Science in University College Cork - National University of
Ireland, Cork, where he leads the Centre for Efficiency-Oriented
Languages (CEOL) as a Science Foundation Ireland Principal Investigator.

Written for:

Researchers and students interested in algorithm analysis, static
analysis, real-time programming, programming language semantics

Keywords:

* random structures
* real-time languages
* series-parallel data structures
* software timing/power analysis
* sorting and search algorithms
* static analysis

--
Prof. M. P. Schellekens
Science Foundation Ireland Investigator
Director of Centre for Efficiency-Oriented Languages (CEOL)
National University of Ireland, Cork (UCC)
Department of Computer Science
Center for Efficiency-Oriented Languages (CEOL)
Lancaster Hall
Little Hanover Street 6
Cork, Ireland
WWW: http://www.ceol.ucc.ie/

PhD positions and Post Doc Position available

2008-06-13T05:07:34Z

Science Foundation Ireland funded PhD and Post Doc positions
Centre for Efficiency-Oriented Languages, CEOL

CEOL, Department of Computer Science, University College Cork and the Department of Microelectronics, University College Cork have five PhD openings and one Post Doc position.

PhD positions:
Salary: 16,000 Euro per annum (tax free)
(Tuition fees will be paid by centre)
Duration up to four years, subject to performance.

Post Doc position:
Salary: 40,000 - 48,600 Euro per annum
(Exclusive of pension contribution which is provided separately by UCC)
Salary in relation to prior experience.
Duration to be discussed with candidates.

Project duration:
Four years.
Starting date: August to October, 2008.
(To be discussed with candidates.)

Institute/Centre Background:
University College Cork, UCC, is one of the top universities in Ireland. It has a large Computer Science department, including a variety of research groups, several of which are funded by Science Foundation Ireland (www.sfi.ie).

The Centre for Efficiency Oriented Languages developed the novel programming paradigm MOQA (MOdular Quantiative Analysis). Information on MOQA can be found in the Springer book: A Modular Calculus for the Average Cost of Data Structuring (abstract copied below):

http://www.springer.com/computer/foundations/book/978-0-387-73383-8

Further information is available from www.ceol.ucc.ie

The CEOL project started in 2003 following a Science Foundation Ireland award and continues with renewed funding from SFI. CEOL attracted funding from other sources, including the Industrial Development Agency and collaborates with various industries, including Sun, Synopsys and Xilinx.

Project Background:
Expanding the scope and applicability of static average-case analysis via MOQA.

The current project is in collaboration with the Department of Microelectronics.
Principal Investigator: Michel Schellekens
Co-Principal Investigator: Emanuel Popovici

The project builds on fundamental advances in static average-case analysis to expand the scope and applicability of static average-case analysis tools, with a focus on average timing and average power analysis for hardware-software systems.

PhD candidates are sought with one or more of the following backgrounds:
Analysis of algorithms
Static and dynamic time/power analysis
Programming skills (language/tool implementation)
Digital design
Semantics
Average-case and worst-case analysis of Hardware-Software systems
Mathematics (in conjuction with Computer Science background): preference on probability background/discrete methods.

Post Doc candidate is sought with one or more of the following backgrounds:
Asynchronous Digital Design, average-case, worst-case analysis for Hardware-Software Systems, Real-Time systems and applications.

Candidates should send their CV's to the CEOL Administrator: Caitriona Walsh
Email address: cw7@cs.ucc.ie

Background Information:
Springer Book in relation to CEOL project (Due: August 2008)

A Modular Calculus for the Average Cost of Data Structuring
Schellekens, Michel
2008, 20 illus. With CD-ROM., Hardcover
ISBN: 978-0-387-73383-8

A Modular Calculus for the Average Cost of Data Structuring introduces MOQA, a new domain-specific programming language which guarantees the average-case time analysis of its programs to be modular. "Time" in this context refers to a broad notion of cost, which can be used to estimate the actual running time, but also other quantitative information such as power consumption, while modularity means that the average time of a program can be easily computed from the times of its constituents--something that no programming language of this scope has been able to guarantee so far. MOQA principles can be incorporated in any standard programming language.

MOQA supports tracking of data and their distributions throughout computations, based on the notion of random bag preservation. This allows a unified approach to average-case time analysis, and resolves fundamental bottleneck problems in the area. The main techniques are illustrated in an accompanying Flash tutorial, where the visual nature of this method can provide new teaching ideas for algorithms courses.

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.

A Modular Calculus for the Average Cost of Data Structuring is designed for a professional audience composed of researchers and practitioners in industry, with an interest in algorithmic analysis and also static timing and power analysis--areas of growing importance. It is also suitable as an advanced-level text or reference book for students in computer science, electrical engineering and mathematics.

3rd CFP: ISNN 2008 with extended deadlines

2008-03-15T04:57:51Z

************************************************
Third CALL FOR PAPERS AND SPECIAL SESSIONS
************************************************

FIFTH INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS (ISNN 2008)
September 24-28, 2008, Beijing, China
http://www.mae.cuhk.edu.hk/~isnn2008 or http://203.91.120.151/~isnn2008/

Upon numerous requests for postponing the deadlines of paper submissions and special session
proposals, we extended deadlines to:
Special session proposal submission: March 30, 2008
Paper submission: April 15, 2008
Other deadlines remain unchanged as before.

Following the successes of previous events, the fifth International Symposium on Neural
Networks (ISNN2008) will be held in Beijing, which has been the capital of China for
about five hundred years, and is now one of the largest international cities in the world.
Nowadays, as the cultural, educational and high-tech centre of the nation, Beijing
possesses many world-class conference facilities, communication infrastructures,
and hotels, and has successfully hosted many important international conferences.
In addition, Beijing is an ideal place for sightseeing. Its rich culture and historical
attractions such as the Great Wall, the Forbidden City, the Summer Palace, and the
Temple of Heaven will provide participants with unique opportunities for social activities.
Besides, the 29th Olympic Games will be held in Beijing during Aug. 8-24 and the Paralympic
Games will be held during Sept. 6-17. You are cordially invited to witness these great feasts.
We will organize participants to visit the Olympic venues during or after the Symposium.

All submitted papers will be refereed by experts in the field based on the criteria of
originality, significance, quality, and clarity. The authors of accepted papers will have an
opportunity to revise their papers and take consideration of the referees' comments and suggestions.
Papers presented at ISNN2008 will be published in Springer Lecture Notes in Computer Science (LNCS)
and will be indexed by EI Compendex. Some selected top papers will be included in special issues of
several journals. Up to now, the following journals have approved to publish special issues for ISNN2008:

Neurocomputing,
Cognitive Neurodynamics,
International Journal of Computational Intelligent Systems,
International Journal of Systems Control and Communications,
International Journal of Software Science and Computational Intelligence.
Tsinghua Science and Technology (English Version),

In addition, we are negotiating with the following journals for possible special issues:
Information Science
Soft Computing
Neural Computation & Applications
KES Journal
IES Journal B--Intelligent Devices and Systems

ISNN 2008 Program Committees also solicit proposals for special sessions within the
technical scopes of the symposium. A special session proposal should include the
session title, a brief description of the scope and motivation, names, contact information and brief
biographical information on the organizers. Potential organizers are invited to enlist
five or more papers with cohesive topics to form special sessions. Papers submitted for
special sessions are to be peer-reviewed with the same criteria used for the contributed papers.

************************************************
PROGRAM TOPICS
************************************************

1. Theories
Computational neuroscience
Connectionist theory
Cognitive science
Mathematical modeling of neural systems
Neurodynamic analysis
Neurodynamic optimization
Adaptive dynamic programming
Neuroinformatics
Bioinformatics

2. Models
Embedded neural systems
Forward neural networks
Recurrent neural networks
Gene regulatory network
Consensus in neural networks
Competitive networks

Coupled network model
Hybrid intelligent systems
Hardware implementation
Evolving neural networks
Complex neural models
Neural networks models in economics and marketing
Neual models in finance
Fuzzy neural networks

3. Algorithms
Probabilistic methods
information-theoretic methods
Supervised and unsupervised learning
Reinforcement learning
Support vector machines
Kernel methods
Principal component analysis

Independent component analysis
Boosting and adaboost algorithms
Multi-resolution algorithms
Assembly learning algorithms
Autonomous mental development
Hybrid optimization algorithms

4. Applications

Brain imaging
Medical imaging processing
Data mining and knowledge discovery
Pattern recognition
Machine learning and learning control systems
Time series analysis
Financial data prediction
Image and signal processing

Intelligent control system
Expert system
Computer Vision
Robotics
Games
Telecommunications
Transportation systems
Intrusion detection
Information security
Fault diagnosis
Real-world applications

5. Emerging Areas

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

Special session proposals deadline: March 30, 2008
Paper submission deadline: April 15, 2008
Notification of acceptance: May 15, 2008
Camera-ready copy and author registration: June 15, 2008

More information can be found at:
http://www.mae.cuhk.edu.hk/~isnn2008 or http://203.91.120.151/~isnn2008/

For inquiries, please contact the secretariat at: isnn2008@mail.tsinghua.edu.cn

TMFCS-08 Final call for papers

2008-01-16T11:04:49Z

Final Call for papers The 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08) (website: www.PromoteResearch.org ) will be held during July 7-10 2008 in Orlando, FL, USA. We invite draft paper submissions and the deadline for paper submission is just few weeks from now. The conference will be held at the same time and place where several other major events are taking place. The website contains more details. Sincerely John Edward

CFP: ISNN 2008, Beijing, China

2007-11-27T04:45:21Z

FIFTH INTERNATIONAL SYMPOSIUM ON NEURAL NETWORKS (ISNN 2008)
September 24-28, 2008, Beijing, China
http://www.csai.tsinghua.edu.cn/~isnn2008 or http://www.mae.cuhk.edu.hk/~isnn2008

************************************************
CALL FOR PAPERS AND SPECIAL SESSION PROPOSALS
************************************************

Following the successes of previous events, the fifth International Symposium on Neural
Networks (ISNN 2008) will be held in Beijing, which has been the capital of China for
about five hundred years, and is now one of the largest international cities in the world.
As the cultural, educational and high-tech centre of the nation, Beijing
has many world-class conference facilities, communication infrastructures,
and hotels, and has successfully hosted many important international conferences.
In addition, Beijing is an ideal place for sightseeing. Her rich culture and historical
attractions such as the Great Wall, the Forbidden City, the Summer Palace, and the
Temple of Heaven will provide vistors with unique opportunities for social activities.
Besides, the 29th Olympic Games will be held in Beijing in 2008 and the participants may visit
the Olympic venues. The participants may also enjoy Peking operas, beautiful sceneriess, Chinese cuisine,
and the hospitality of Beijing citizens.

Prospective authors are invited to contribute high-quality papers to ISNN 2008. In addition,
ISNN 2008 Program Committees solicit proposals for special sessions within the technical
scopes of the symposium. Special sessions, to be organized by internationally recognized
experts, aim to bring together researchers in special focused topics. Papers submitted for
special sessions are to be peer-reviewed with the same criteria used for the contributed
papers. Researchers interested in organizing special sessions are invited to submit formal
proposals to ISNN2008. A special session proposal should include the session title, a
brief description of the scope and motivation, names, contact information and brief
biographical information on the prospective organizers.

************************************************
PROGRAM TOPICS
************************************************

Computational neuroscience
Connectionist theory
Cognitive science
Mathematical modeling of neural systems
Neurodynamic analysis
Neurodynamic optimization
Adaptive dynamic programming
Embedded neural systems
Probabilistic and information-theoretic methods
Principal and independent component analysis
Hybrid intelligent systems
Supervised, unsupervised and reinforcement learning
Brain imaging
Neuroinformatics
Bioinformatics
Support vector machines and kernel methods
Autonomous mental development
Data mining
Pattern recognition
Time series analysis
Image and signal processing
Robotic and control applications
Telecommunications
Transportation systems
Intrusion detection and fault diagnosis
Hardware implementation
Real-world applications

************************************************
COMMITTEE CHAIRS
************************************************

General Chair:
Bo Zhang, Beijing, China
General Co-Chair
Jianwei Zhang, Hamburg, Germany

Advisory Committee Chairs:
Xingui He, Beijing, China
Yanda Li, Beijing, China
Shoujue Wang, Beijing, China

Steering Committee Chairs:
Jun Wang, Hong Kong, China
Zengqi Sun, Beijing, China

Organizing Committee Chairs:
Fuchun Sun, Beijing, China
Zengguang Hou, Beijing, China

Program Committee Chairs:
Jinde Cao, Nanjing, China
Ying Tan, Beijing, China
Wen Yu, Mexico City, Mexico

Plenary Sessions Chair
Derong Liu, Chicago, USA

Special Sessions Chairs:
Xiaoou Li, Mexico City, Mexico
Changyin Sun, Naniing, China
Cong Wang, Guangzhou, China

Publications Chairs:
Zhigang Zeng, Wuhan, China
Yunong Zhang, Guangzhou, China

Publicity Chairs:
Andrzej Cichocki, Tokyo, Japan
Alois Knoll, Munich, Germany
Yi Shen, Wuhan, China

Finance Chair:
Huaping Liu, Beijing, China

Registration Chair:
Fengge Wu, Beijing, China

Local Arrangements Chairs:
Lei Guo, Beijing, China
Minsheng Zhao, Beijing, China

Electronic Review Chair:
Xiaofeng Liao, Chongqing, China

************************************************
PAPER SUBMISSION
************************************************

Authors are invited to submit full-length papers (6 pages normally and 10 pages maximum)
by the submission deadline through the online submission system. Potential organizers
are also invited to enlist five or more papers with cohesive topics to form special
sessions. The submission of a paper implies that the paper is original and has not
been submitted under review or is not copyright-protected elsewhere and will be
presented by an author if accepted. All submitted papers will be refereed by experts
in the field based on the criteria of originality, significance, quality, and clarity.
The authors of accepted papers will have an opportunity to revise their papers and
take consideration of the referees' comments and suggestions. Papers presented at
ISNN2008 will be published in the EI-indexed proceedings and some selected top papers
will be included in special issues of several SCI-indexed journals.

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

Special session proposals deadline: February 15, 2008
Paper submission deadline: March 15, 2008
Notification of acceptance: May 15, 2008
Camera-ready copy and author registration: June 15, 2008

More information can be found at:
http://www.csai.tsinghua.edu.cn/~isnn2008 or http://www.mae.cuhk.edu.hk/~isnn2008

For general inquiries, please contact the secretariat at: isnn2008@mail.tsinghua.edu.cn

CFP: WCCI2008 (June 1-6, 2008; Hong Kong)

2007-03-20T23:55:17Z

2008 IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE

June 1-6, 2008; Hong Kong Convention and Exhibition Centre

http://www.wcci2008.org

****************************************************
The 2008 IEEE World Congress on Computational Intelligence (WCCI 2008) will be held at the Hong Kong Convention and Exhibition Centre during June 1-6, 2008. Sponsored by the IEEE Computational Intelligence Society, co-sponsored by the International Neural Network Society, Evolutionary Programming Society and the Institution of Engineering and Technology, WCCI 2008 is composed of the 2008 International Joint Conference on Neural Networks (IJCNN 2008), the 2008 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008) and the 2008 IEEE Congress on Evolutionary Computation (CEC 2008). WCCI 2008 will be the fifth milestone in this series with a glorious history from WCCI 1994 in Orlando, WCCI 1998 in Anchorage, WCCI 2002 in Honolulu, to WCCI 2006 in Vancouver. The congress will feature world-renowned plenary speakers, regular technical sessions, state-of-the-art special sessions, interactive poster sessions, moderated panel discussions, informative pre-congress tutorials, themed post-congress workshops, and entertaining social functions.

****************************************************
Call for Contributed Papers

Researchers are invited to contribute high-quality papers to WCCI 2008. All papers are to be submitted electronically through the Congress website by December 1, 2007. All submitted papers will be refereed by experts in the fields based on the criteria of originality, significance, quality, and clarity. For inquiries, contact IJCNN2008 Program Chair Derong Liu at dliu@ece.uic.edu, FUZZ-IEEE2008 Program Chair Gary Feng at megfeng@cityu.edu.hk, or CEC2008 Program Chair Zbigniew Michalewicz at zbyszek@cs.adelaide.edu.au.

****************************************************
Call for Special Sessions

WCCI 2008 Program Committees solicit proposals for special sessions within the technical scopes of the three conferences. Special sessions, to be organized by internationally recognized experts, aim to bring together researchers in special focused topics. Cross-fertilization of the three research areas of computational intelligence with new emerging technologies is strongly encouraged. Papers submitted for special sessions are to be peer-reviewed with the same criteria used for the contributed papers. Researchers interested in organizing special sessions are invited to submit formal proposals to IJCNN2008 Special Sessions Chair Jagath C. Rajapakse at? asjagath@ntu.edu.sg, FUZZ-IEEE2008 Special Sessions Chair Xiao-Jun Zeng at x.zeng@manchester.ac.uk, CEC2008 Special Sessions Chair Yuhui Shi at shi@ieee.org, or Special Sessions Chair on Emerging Areas Byoung-Tak Zhang at btzhang@bi.snu.ac.kr by November 1, 2007. A special session proposal should include a proposed session title, a brief description of the scope and motivation, biographic and contact information of the organizer(s).

****************************************************
Call for Tutorials and Workshops

WCCI 2008 will also feature pre-congress tutorials and post-congress workshops covering fundamental and advanced computational intelligence topics. A tutorial proposal should include title, outline, expected enrollment, and presenter biography. Any inquires regarding the tutorials should be addressed to Tutorial Chairs Wlodzislaw Duch at wduch@is.umk.pl, Russell Eberhart at reberhar@iupui.edu, and Qiang Shen at qqs@aber.ac.uk by January 1, 2008. Any inquires regarding the workshops should be addressed to Workshops Chairs Irwin K.C. King? at king@cse.cuhk.edu.hk and Yangmin Li at ymli@umac.mo by January 1, 2008.

****************************************************
Call for Competitions

WCCI 2008 will host competitions to stimulate research in computational intelligence, promote fair evaluations, and attract students. The proposals should include descriptions of the problems addressed, motivations and expected impact on computational intelligence, data description, evaluation procedures and established baselines, schedules, anticipated number of participants, and a biography of the main team members. Proposals are invited to be sent to Competitions Chairs Isabelle Guyon at isabelle@clopinet.com for IJCNN2008, Leszek Rutkowski at lrutko@kik.pcz.czest.pl for FUZZ-IEEE2008, or Philip Hingston at p.hingston@ecu.edu.au for CEC2008 by October 1, 2007.

****************************************************
Important Due Dates:

Competition Proposal: October 1, 2007

Special Session Proposal: November 1, 2007

Paper Submission: December 1, 2007

Tutorial/workshop Proposal: January 1, 2008

Decision Notification: February 1, 2008

Camera-Ready Submission: March 1, 2008

****************************************************
More information can be found at http://www.wcci2008.org

For general inquiries, please contact General Chair Jun Wang at jwang@mae.cuhk.edu.hk.

[Coq-Club]PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra, Formal Methods

2006-01-17T00:51:24Z

The Department of Mathematics and Computer Science at the
University of Marburg, Germany, offers a full time

PhD-Position - Wissenschaftl. Mitarbeiter/in (BAT IIa) -

in the area

Universal Coalgebra / Universal Algebra, Verification, Formal Methods.

Prerequisites:

Excellent degree (Diplom or Master) in Computer Science or Mathematics.
Strong background in one or more of the above areas.
German language fluency.

Tasks:

Service (organization, preparation, counselling) in teaching and
research at the
undergraduate and graduate level. PhD-Research

The contract is initially for 1 year, with the possibility for
extensions to a total of at most 5 years
If you are interested, please get in touch with

Prof. Dr. H.Peter Gumm
gumm@...

The official advertisement can be found at

http://www.mathematik.uni-marburg.de/~gumm/Stelle/Stelle.pdf

--------------------------------------------------------
Bug reports: http://coq.inria.fr/bin/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club

[manet] SUMMER SCHOOL IN WIRELESS SENSOR NETWORKS: CALL FOR PARTICIPATION

2006-01-12T18:56:53Z

                  CALL FOR PARTICIPATION

          SUMMER SCHOOL IN WIRELESS SENSOR NETWORKS
             OTTAWA, CANADA, AUGUST 14-16, 2006

   http://kunz-pc.sce.carleton.ca/AdHocNow2006/sensors.html

Sponsored by Mathematics of Information Technology and Complex Systems
             (MITACS: http://www.mitacs.math.ca/)

Processors, sensors, and wireless radios are becoming extremely small
and inexpensive. We therefore foresee a world where many everyday objects
and physical environments are enriched by computational power. Wireless
sensor networks are a relatively recent and exciting example of networked
embedded sensing systems and significant research projects in this area
are under way throughout the world. The area provides a rich field of
research challenges and possibilities for technology transfer (for
example, RFID sensors and supply chain management, smart homes/cities,
health care, etc.).

Goals and Audience
==================

The intended audience are post-graduate students from primarily Canadian
universities at both the Master's and PhD level, and young researchers
from universities and industrial laboratories around the world. If there
is room, senior undergraduate students who have a strong research interest
in sensor networks will also be considered. The number of participants
will be limited to approximately 50.

The goal of the summer school is to provide a basic survey of the most
relevant subfields, to present the perspectives and the underlying
technologies, as well as to identify important research themes.
Furthermore, the school will provide the opportunity to get to know other
people working in the field, to meet other graduate students and to
interact with distinguished scholars. We hope that it will lead to the
establishment of contacts that may result in future research
collaborations as well.

Schedule/Topics (tentative)
===========================

The summer school will last for 3 days and will feature a number
of different activities.

* Lectures
* TinyOS and ZigBee tutorial
* Participants workshop. Some time will be reserved for a workshop
where participants can present their own work and involvement in
the field.
* Social event(s) to encourage the development of a community among
the researchers.
* AdHoc NOW conference. The summer school will be held just before
AdHoc NOW (http://kunz-pc.sce.carleton.ca/AdHocNow2006/). This
will allow participants to register for and participate in the
conference.

Registration, Costs, and Travelling
===================================

Participation is open to all qualified applicants, but the number of
participants is limited to a maximum of 50 (with 40 spots reserved for
graduate students). If we receive more applications, we will select
participants based on their work area and background, geographic
distribution, and date of registration. If you are interested in
participating, please send an e-mail with the pertinent information
(name, contact information, research area and background) to
tkunz@.... If you want to give a brief talk about your
own work, please also include a short title and abstract. Graduate
students should also provide their student ID and e-mail address of their
faculty advisor/supervisor, to allow us to verify their student status.

The nominal registration fee will be C$400, with the registration fee for
the graduate student participants covered through support from MITACS.
Participants are responsible to arrange for their own travel and
accomodation. For example, residence space at the University of Ottawa
is available for approximately C$35/day for a single room or C$50/day for
a shared room.

Participants are expected to arrive in the afternoon or evening of
Sunday, August 13. The school itself will begin on Monday
(Aug. 14) morning and end on Wednesday (Aug. 16) evening.

Important Dates
===============

Application deadline: May 6, 2006
Notification of admittance: May 20, 2006
Summer School: August 14-16, 2006
AdHoc-Now conference: August 17-19, 2006

Contact Information
===================

Thomas Kunz
Associate Professor
Carleton University
tkunz@...

_______________________________________________
manet mailing list
manet@...
https://www1.ietf.org/mailman/listinfo/manet

[Coq-Club] PhD position in Monadic Computational Logics

2005-06-30T07:53:37Z

A 3-year PhD-Position is available in the project

"Monadic Computational Logics in HOL"

at the University of Bremen. The project is concerned with the
implementation and further development of monadic computational logics,
including monadic Hoare logic and monadic dynamic logic as well as
extensions covering exception handling, as introduced by Till
Mossakowski and myself. More detailed information can be found at

http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.htm

Applications or further enquiries may be e-mailed to my address below.

-- Lutz

--
-----------------------------------------------------------------------------
Lutz Schroeder Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen lschrode@...
P.O.Box 330440, D-28334 Bremen
http://www.informatik.uni-bremen.de/~lschrode
-----------------------------------------------------------------------------

--------------------------------------------------------
Bug reports: http://coq.inria.fr/bin/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club