Dear WG chairs,
As you probably might know, there is a standard format for the Best Paper
Awards certificates given by IFIP TC6. They can be obtained from the IFIP
Secretariat. You should indicate the Conference name and the nominees and
then the IFIP Secretariat will prepare the certificate, which should be
signed by the TC6 chair and respective WG chair.
Best regards
Augusto Casaca
Dear TC6 members,
Please find the minutes of the TC6 meeting in Muscat attached to this mail.
Let me thank Peter Radford for his help in writing these minutes.
Best regards
Augusto
[Apologies if you receive multiple copies of this message]
CALL FOR PAPERS
2004 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS
Workshop on Issues in the Theory of Security (WITS'04)
April 3 - 4, 2004, Barcelona, Spain
co-located with ETAPS'04
http://www.dsi.unive.it/IFIPWG1_7/wits2004.html
----------------------------------------------------------------------
OVERVIEW OF WITS
WITS is the offical workshop organised by the IFIP WG 1.7 on
"Theoretical Foundations of Security Analysis and Design", established
to promote the investigation on the theoretical foundations of
security, discovering and promoting new areas of application of
theoretical techniques in computer security and supporting the
systematic use of formal techniques in the development of security
related applications. The members of WG hold their annual workshop as
an open event to which all researchers working on the theory of
computer security are invited. This is the fourth workshop of the
series, and is organised in cooperation with ACM SIGPLAN and GI
working group FoMSESS.
Extended abstracts of work (accepted after selection and) presented at
the Workshop are collected and distributed to the participants. There
will be no formally published proceedings; however, selected papers
will be invited for submission to a special issue of the Journal of
Computer Security.
Suggested submission topics include:
* formal definition and verification of the various aspects of
security: confidentiality, privacy, integrity, authentication and
availability
* new theoretically-based techniques for the formal analysis and
design of cryptographic protocols and their manifold applications
(e.g., electronic commerce)
* information flow modelling and its application to the theory of
confidentiality policies, composition of systems, and covert
channel analysis
* formal techniques for the analysis and verification of code
security, including mobile code security
* formal analysis and design for prevention of denial of service
* security in real-time/probabilistic systems
* language-based security
IMPORTANT DATES
Paper Submission: 15 December 2003
Author Notification: 25 January 2004
Final version due: 29 February 2004
Workshop: 3-4 April 2004
PROGRAM COMMITTEE
David Basin, ETH Zurich
Pierpaolo Degano, Università di Pisa
Claudia Eckert, TU Darmstadt and Fraunhofer SIT
Riccardo Focardi, Università di Venezia
Dieter Gollmann, TU Hamburg-Harburg, Germany
Roberto Gorrieri, Università di Bologna
Joshua Guttman, MITRE
Chris Hankin, Imperial College
Jan Jürjens, Munich University of Technology
Gavin Lowe, Oxford University
Cathy Meadows, Naval Research Laboratory
Jon Millen, SRI International
Peter Ryan (chair), University of Newcastle
Thomas Santen, Dresden University of Technology
Steve Schneider, Royal Holloway, University of London
Paul Syverson, Naval Research Laboratory
SUBMISSION INSTRUCTIONS
Authors are invited to submit an extended abstract, up to 12 pages
long, in LNCS style or with 11pt or larger font and reasonable margins
and line spacing. Submissions departing from the instructions above
are rejected independently of their technical merit. Authors have to
submit through the web. Alternatively, they may e_mail a .ps file. If
necessary, they may mail a single hard copy of their paper to the
program chair; in the last case, please allow ample time for
delivery. Submissions should have the author's full name, address, fax
number, and e-mail address.
FURTHER INFORMATION
The official web page of the conference is at the url
http://www.dsi.unive.it/IFIPWG1_7/wits2004.html
Contact person:
Peter Ryan
School of Computing Science, University of Newcastle
Claremont Tower, Newcastle upon Tyne NE1 7RU, UK
tel: +44 0191 222 8788, fax: +44 0191 222 8972
e-mail: peter.ryan(a)ncl.ac.uk
http://www.csr.ncl.ac.uk/
Dear Herbert,
Thank you very much for the information and your work. Please delete the
links to Smartnet and Net_traffic. They are not required any longer.
Smartnet will be substituted by a new conference and Net-Traffic does not
exist as far as I know.
I am sending this mail with copy to TC6 as we discussed this issue during
the last TC6 meeting, so everybody will be informed about the situation.
Best regards
Augusto
-----Original Message-----
From: Herbert Leitold [mailto:Herbert.Leitold@a-sit.at]
Sent: sexta-feira, 24 de Outubro de 2003 14:21
To: augusto.casaca(a)inesc.pt
Subject: Web updates
Dear Augusto,
I updated the Web (calendar, delegates)
We also configured the *.ifip.org redirects to the conference
Web sites. We however have 3 categories of events:
1) Conference series where we have a Web site for the series
I configured a permanend tredirect to this site.
2) Conferences where I just have a link to past events, not yet
the upcoming event. For these I added the link to the event
page at our server to get rid of te "under constructions"
3) For smartnet.ifip.org and net_traffic.ifip.org I neither have
a link, nor text for the page at our server.
The redirects are, as follows.
stable links to the conference series (permanently redirected)
-------------------------------------
forte.ifip.org => http://www.informatik.uni-trier.de/~ley/db/conf/forte
testcom http://www.informatik.uni-trier.de/~ley/db/conf/pts
middleware http://www.informatik.uni-trier.de/~ley/db/conf/middleware
fmoods http://www.informatik.uni-trier.de/~ley/db/conf/fmoods
iwqos http://www.informatik.uni-trier.de/~ley/db/conf/iwqos
dais http://www.informatik.uni-trier.de/~ley/db/conf/dais
pfhsn http://www.informatik.uni-trier.de/~ley/db/conf/phsn
IM http://www.comsoc.org/confs/im
links just avail for previous confernces or singele conferences
---------------------------------------------------------------
(added the avail links to conference sites at the conf-site at TC6-server)
net_con.ifip.org (link avail just for 2003)
dsom (link avail just for 2003)
IWAN (link just avail for 2003)
PWC (link just avail for 2003)
ONDM (added links for 2003 and 2004)
WITASI (just 2002)
WWW_conf (I add the www200x.org, as they get published)
no links (and also text information)
--------
smartnet
net_traffic
Best ragards,
Herbert
Dear Max,
TC6 had its second annual meeting in Muscat, last week. There it was
discussed the aims and scope of the TC12 Working Groups that you have
proposed in the last TA. TC6 showed some concern for possible overlaps in
the scope of WG 12.3/WG 12.4 and WG 6.7/WG 6.4.
WG 12.3 will deal with agent-based applications, which is also the case of
WG 6.7, concerning networking as the application in this case. In our view
this is a very small overlap, at the application level, which can be solved
easily.
WG 12.4 deals with the semantic web. Here, the overlap with WG 6.4 might be
more substantial. WG 6.4 organizes a yearly conference (WWW), which attracts
many hundreds of participants, in which the semantic web is one of the
topics. Again, this overlap may possibly be solved, as I think that TC12 in
essentially focussing on the AI techniques applied to semantic web. However,
I feel that it would be worthwhile to discuss and clarify these aspects in
the next TA meeting, before approving the WG 12.4 scope as it is now.
The aims and scope of the TC6 Working Groups are included in the TC6
handbook, which I sent you some weeks ago.
Best regards
Augusto Casaca
-----Original Message-----
From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On
Behalf Of Roger Johnson
Sent: terça-feira, 14 de Outubro de 2003 15:10
To: ifip-ga (E-mail)
Cc: Yana Lambert (E-mail)
Subject: Vilnius GA Minutes
Dear Colleagues
The Minutes of the Vilnius GA are now available in PDF format at:
http://www.ifip.or.at/minutes/ga2003/ga2003_minutes.pdf
Username: member
Password: visble
Good wishes
Roger Johnson
********************************************
Dr Roger Johnson
Dean, Faculty of Social Science &
Honorary Secretary, International Federation for Information Processing
Birkbeck College, Malet Street, London WC1E 7HX UK.
Telephone: (+44) 20 7631 6709
FAX: (+44) 20 7631 6727
URL: http://www.dcs.bbk.ac.uk/~rgj
College location:
http://www.streetmap.co.uk/streetmap.dll?P2M?P=wc1e7hx&Z=1
IFIP: http://www.ifip.or.at/
********************************************
C A L L F O R P A P E R S
The 2004 International Multiconference in Computer Science
and Computer Engineering
(18 Joint Int'l Conferences)
Monte Carlo Resort, Las Vegas, Nevada, USA
June 21-24, 2004
Dear Colleagues:
You are invited to submit a draft paper (see instructions below)
and/or a proposal to organize a technical session/workshop.
All accepted papers will be published in the respective
conference proceedings. The names of technical session/workshop
organizers/chairs will appear on the cover of the
proceedings/books as Associate Editors. Any help in distributing
this announcement would be most appreciated.
The 2004 International Multiconference in Computer Science
and Computer Engineering is composed of the following 18
conferences - each event is the premier conference for
presentation of advances in their respective subjects.
All conferences will be held simultaneously (same location
and dates: June 21-24, 2004, Las Vegas, USA):
1. The 2004 International Conference on Parallel and
Distributed Processing Techniques and Applications (PDPTA'04)
2. The 2004 International Conference on Artificial
Intelligence (IC-AI'04)
3. The 2004 International Conference on Imaging Science,
Systems, and Technology (CISST'04)
4. The 2004 International Conference on Modeling, Simulation
and Visualization Methods (MSV'04)
5. The 2004 International Conference on Software Engineering
Research and Practice (SERP'04)
6. The 2004 International Conference on Information and
Knowledge Engineering (IKE'04)
7. The 2004 International Conference on Embedded Systems and
Applications (ESA'04)
8. The 2004 International Conference on Internet Computing
(IC'04)
9. The 2004 International Conference on Wireless Networks
(ICWN'04)
10. The 2004 International Symposium on Web Services and
Applications (ISWS'04)
11. The 2004 International Workshop on Wearable Computers
(IWWC'04)
12. The 2004 International Conference on Security and
Management (SAM'04)
13. The 2004 International Conference on Mathematics and
Engineering Techniques in Medicine and Biological
Sciences (METMBS'04)
14. The 2004 International Conference on Machine Learning;
Models, Technologies and Applications (MLMTA'04)
15. The 2004 International Conference on Communications
in Computing (CIC'04)
16. The 2004 International Conference on VLSI (VLSI'04)
17. The 2004 International Conference on Engineering of
Reconfigurable Systems and Algorithms (ERSA'04)
18. The 2004 International Conference on Algorithmic
Mathematics and Computer Science (AMCS'04)
(a link to each conference's URL can be found at
http://www.world-academy-of-science.org/IMCSE2004
- currently under construction.)
Please regard this announcement as General Guidelines.
You are requested to send your submission to the
Multiconference chair whose address appears below (The
chair may be forwarding the papers to respective
conference chairs/committees).
CONFERENCES CONTACT:
H. R. Arabnia, PhD
General Chair, The 2004 International Multiconference in
Computer Science and Computer Engineering (IMCSE2004)
The University of Georgia
Department of Computer Science
415 Graduate Studies Research Center
Athens, Georgia 30602-7404, U.S.A.
Tel: (706) 542-3480
Fax: (706) 542-2966
E-mail: hra(a)cs.uga.edu
HISTORY:
The International Multiconference in Computer Science
and Computer Engineering is a major annual international
research event. It assembles a spectrum of affiliated
research conferences, workshops, and symposiums into a
coordinated research meeting held in a common place at
a common time. This model facilitates communication among
researchers in different fields of computer science and
computer engineering. The last Multiconference attracted
over 1,650 computer science and Engineering researchers
from 78 countries. It is anticipated that The 2004 Int'l
Multiconference will attract about 2000 participants.
The 2004 event is composed of 18 (planned) major
conferences - attendees will have full access to all 18
conferences' sessions & tracks.
Each conference will have its own proceedings. All
conference proceedings/books are considered for inclusion
in major database indexes that are designed to provide
easy access to the current literature of the sciences
(database examples: ISI Thomson Scientific, IEE INSPEC,
DBLP, ...).
SUBMISSION OF PAPERS:
Prospective authors are invited to submit three copies
of their draft paper (about 5 pages - single space,
font size of 10 to 12) to H. R. Arabnia by the due
date (who may be forwarding the papers to respective
conference chairs/committees). E-mail submissions in
MS document or PDF formats are preferable (Fax submissions
are also acceptable.)
The length of the Camera-Ready papers (if accepted) will
be limited to 7 (IEEE style) pages. Papers must not have
been previously published or currently submitted for
publication elsewhere. The first page of the draft paper
should include: title of the paper, name, affiliation,
postal address, E-mail address, telephone number, &
Fax number for each author. The first page should also
include the name of the author who will be presenting
the paper (if accepted) & a maximum of 5 keywords.
EVALUATION PROCESS:
Papers will be evaluated for originality, significance,
clarity, and soundness. Each paper will be refereed by
two researchers in the topical area. The Camera-Ready
papers will be reviewed by one person.
PUBLICATION:
The conference proceedings will be published by CSREA
Press (ISBN) in hardcopy. The proceedings will be
available at the conference. Some accepted papers will
also be considered for journal publication (soon after
the conference). All conference proceedings published
by CSREA Press are considered for inclusion in major
database indexes that are designed to provide easy
access to the current literature of the sciences
(database examples: ISI Thomson Scientific, IEE INSPEC,
DBLP, ...).
ORGANIZERS/SPONSORS:
A number of university faculty members and their staff
in cooperation with the Monte Carlo Resort (Conference
Division) will be organizing the conference.
Technical co-sponsors include: World Academy of
Science (non-profit organization - pending); Computer
Science Research, Education, & Applications Press
(CSREA: USA Federal EIN # 58-2171953); together with
research centers, international associations,
international research groups, and developers of
high-performance machines and systems. The complete
list of co-sponsors will be available at a later time.
(Previous conferences' sponsors included: CSREA,
the National Supercomputing Center for Energy and the
Environment - DOE, The International Association for
Mathematics and Computers in Simulation, The
International Technology Institute (ITI), The Java
High Performance Computing research group, World
Scientific and Engineering Society, Sundance Digital
Signal Processing Inc., Convex, Hewlett-Packard Inc.,
a number of publishers of books and journals, chapters
of computer associations from various countries, ...)
LOCATION OF CONFERENCES:
The conferences will be held in the Monte Carlo Resort
hotel, Las Vegas, Nevada, USA (with any overflows at other
near-by hotels). The Monte Carlo Resort is a mega hotel
with excellent conference facilities & over 3,000 rooms.
The hotel is minutes from the airport with 24-hour
shuttle service to & from the airport. This hotel has
many recreational attractions, including: waterfalls,
spa, pools & kiddie pools, sunning decks, Easy River
water ride, wave pool with cascades, lighted tennis
courts, health spa (with workout equipment, whirlpool,
sauna, ...), arcade virtual reality game rooms, nightly
shows, snack bars, a number of restaurants, shopping area,
bars, ... Many of these attractions are open 24 hours a
day & most are suitable for families & children. The
negotiated room rate for conference attendees is very
reasonable. The hotel is within walking distance from
most other attractions (major shopping areas, recreational
destinations, fine dining & night clubs, free street
shows, ...).
IMPORTANT DATES:
Feb. 16, 2004: Draft papers (about 5 pages) due
March 22, 2004: Notification of acceptance
April 21, 2004: Camera-Ready papers & Prereg. due
June 21-24, 2004: 2004 Int'l Multiconference in CS & CE
Proposals to organize technical sessions should be submitted
as soon as possible.
PROPOSAL FOR ORGANIZING TECHNICAL SESSIONS:
Each technical session will have at least 6 paper
presentations (from different authors). The session
chairs will be responsible for all aspects of their
sessions; including, soliciting papers, reviewing,
selecting, ... The names of session chairs will
appear as Associate Editors in the conference
proceedings. After the conference, some sessions will
be considered for publication in appropriate journals as
Special Issues with the session proposer as the Guest
Editor of the journal.
Proposals to organize technical sessions should include
the following information: name and address (+ E-mail)
of proposer, title of session, a 100-word description of
the topic of the session, and a short description on
how the session will be advertised (in most cases,
session proposers solicit papers from colleagues and
researchers whose work is known to the session proposer).
Mail your proposal to H. R. Arabnia (address is given
above); E-mail submissions are preferred.
MEMBERS OF PROGRAM & ORGANIZING COMMITTEES:
The Program Committee includes members of chapters
of World Academy of Science (chapters: supercomputing;
scientific computing; artificial intelligence; imaging
science; databases; simulation; software engineering;
embedded systems; internet and web technologies;
communications; computer security; and bioinformatics.)
The Program Committee for individual conferences is
currently being formed. Those interested in joining
the Program Committee should email H. R. Arabnia
(hra(a)cs.uga.edu) the following information:
Name, affiliation and position, complete mailing address,
email address, tel/fax numbers, a short biography
together with research interests and the name of the
conference offering to help with.
EXHIBITION:
An exhibition is being planned. Interested parties
should contact H. R. Arabnia (hra(a)cs.uga.edu). All
exhibitors will be considered to be the co-sponsors of
the conference.
TOPICAL SCOPE FOR EACH CONFERENCE APPEARS BELOW (the list
of topics that appear below should be regarded as a
partial list):
SCOPE OF PDPTA'04:
(Conference on Parallel and Distributed Processing
Techniques and Applications)
O Parallel/Distributed applications:
Numerical computations, neural networks and fuzzy
logic, medicine, remote sensing, bioinformatics, ...
O Parallel/Distributed architectures:
Clusters, network topologies, supercomputers, shared
memory, distributed memory, dedicated systems, ...
O Building block processors
O Networks and Interconnection networks:
Scalable networks, reconfigurable networks, routing
issues, network protocols, Optical interconnects, ...
O Reliability and fault-tolerance
O Performance analysis, evaluation, prediction, ...
O Real-time and embedded systems
O Parallel/Distributed algorithms
O Mobile computation and communication
O Object Oriented Technology and related issues
O Multimedia Communications, Systems, and Applications
O Software tools and environments for parallel and
distributed platforms: Operating systems, compilers,
languages, debuggers, ...
O High-performance computing in Computational Science
O Petri Nets: theory, analysis, tools and applications
O Web-based simulation and computing
O Education: parallel and distributed processing in
computer science curriculum
O Trends in supercomputing technology
O Applications
SCOPE OF IC-AI'04:
(Conference on Artificial Intelligence)
O Intelligent Information Systems
O Intelligent Software Engineering
O Intelligent Agents
O Intelligent Networks
O Intelligent Databases
O Evolutionary Algorithms
O Data mining
O Reasoning Strategies
O Automated Problem Solving
O Distributed AI Algorithms and Techniques
O Distributed AI Systems and Architectures
O Expert Systems + Fuzzy Logic
O Genetic Algorithms
O Heuristic Searching
O Knowledge Acquisition, Discovery and Representation
O Knowledge-Intensive Problem Solving Techniques
O Languages and Programming Techniques for AI
O Software Tools for AI
O Natural Language Processing
O Neural Networks and Applications
O Multisource Information Fusion: Theory and Applications
O Multisource-Multisensor Data and Information Fusion
O Learning and Adaptive Sensor Fusion
O Integration of AI with other Technologies
O Social Impact of AI
O Applications (including: Computer Vision, Signal
Processing, Military, Surveillance, Robotics, Medicine,
Pattern Recognition, Face Recognition, Finger Print
Recognition, Finance and Marketing, Stock Market,
Education, Emerging Applications, ...)
SCOPE OF CISST'04:
(Conference on Imaging Science, Systems, and Technology)
O Image generation, acquisition, and processing
O Image display techniques
O Image data structures and databases
O Convergence of imaging media (video and computer)
O Virtual reality and Haptic technology
O Image compression, coding, and encryption
O Multimedia / Applications
O Tools for multimedia production and services
O Digital imaging for film and television
O Visualization + scene and object modeling
O Knowledge acquisition
O Visual inspection
O Document image understanding
O Image algebra
O Optical image processing systems
O Mathematical morphology
O Architecture of imaging and vision systems
O Neural network techniques and fuzzy logic
O Performance analysis and evaluation
O Software tools and environments for imaging
O Animation
O Geometric modeling and Fractals
O CAD/CAM systems
O Rendering techniques
O Applications including: medicine, robotic, GIS,
remote sensing, industrial inspection (using machine
vision), nondestructive evaluation (or NDE), ...
O Multi-resolution and multi-spectral image processing
O Image sequence processing
O Indexing and Retrieval of Images (image databases)
O Information fusion
O Other aspects and applications relating to imaging science
SCOPE OF MSV'04:
(Conference on Modeling, Simulation and Visualization
Methods)
O Simulation languages
O Internet, web and security visualization
O Modeling and simulation for computer engineering
O Modeling and simulation for education and training
O Real-time modeling and simulation
O Modeling methodologies
O Specification issues for modeling and simulation
O Visual interactive simulation and modeling
O Visualization tools and systems for simulation and modeling
O Java-based modelers
O Scalability issues
O Numerical Methods used in simulation and modeling
O Finite and boundary element techniques
O Process simulation/modeling
O Device simulation/modeling
O Circuit simulation/modeling
O Multi-level modeling
O Prototyping and simulation
O Biomedical visualization and applications
O Databases and visualization
O Information and scientific visualization
O Interaction paradigms and human factors
O Parallel and distributed simulation
O Discrete and numeric simulation
O Virtual reality and simulation
O Perceptual issues in visualization and modeling
O Tools and applications
O Virtual environments and data visualization
O Object-oriented simulation
O Knowledge-based simulation
O Simulation of machine architectures
O Simulation of wireless systems
O Simulation of semiconductors and microelectronics
O Simulation and modeling with applications in biotechnology
O Simulation and modeling with applications in Nanotechnology
O CAD/CAE/CAM
SCOPE OF SERP'04:
(Conference on Software Engineering Research and Practice)
O Software architectures
O Object-Oriented technology
O Measurement, metrics and analysis
O Survivable systems
O Requirements engineering
O Reverse engineering
O Software domain modeling
O Software process modeling
O Workflow - Computer Supported Cooperative Work (CSCW)
O Project management issues
O Distributed and parallel systems
O Legal issues and standards
O Configuration management (issues and tools)
O Automated software specification
O Automated software design and synthesis
O Theoretic approaches (formal methods, graph, ...)
O Domain modeling and meta-modeling
O Evolution and maintenance
O Knowledge acquisition
O Reflection and metadata methodologies
O AI approaches to Software Engineering
O Automated software engineering
O Component-based engineering
O Interoperability
O Intelligent CASE tools
O Multimedia in software engineering
O Hypermedia
O Software reuse
O Verification, validation and quality assurance
O Performance critical systems
O Engineering practices
O Programming languages
O Program understanding issues
O Education (software engineering curriculum design)
O Software engineering versus Systems engineering
O Software documentation
O Technology adoption
O Human-Computer Interaction (HCI)
O Architecture tradeoff analysis
O Novel software tools and environments
SCOPE OF IKE'04:
(Conference on Information and Knowledge Engineering)
O Knowledge and Information Management Techniques
O Knowledge Delivery Methods
O Knowledge Life Cycle
O Knowledge and Information Extraction and
Discovery Techniques
O Knowledge Classification Tools
O Data Warehousing and Data Security
O Data Mining Techniques
O Database Engineering and Systems
O Data and Knowledge Processing
O Databanks - issues, methods, and standards
O Dataweb Models and Systems
O Data Fusion + Data/Information/Knowledge Models
O Information Retrieval Systems
O Information Reliability and Security
O Information and Knowledge Structures
O Information Quality (Quality Metrics)
O Large-Scale Information Processing Methods
O Intelligent Knowledge-Based Systems
O Re-usability of Software/Knowledge/Information
O Aspect-Oriented Programming
O Formal and Visual Specification Languages
O Decision Support and Expert Systems
O Applications (e-Commerce, Multimedia, Business, Banking, ...)
O Managing Copyright Laws
O E-Libraries (Digital Libraries) + Electronic Publishing
O Digital Typography
O Agent-Based Techniques and Systems (Mobile Agents)
O Image Processing (Knowledge Extraction)
O Workflow Management
O Large-Scale Information Processing Methods
O Content Management
O Privacy Issues
O Interoperability Issues
O Transaction Systems
O Object-Oriented Modeling and Systems
O Case-Based Reasoning
SCOPE OF ESA'04:
(Conference on Embedded Systems and Applications)
O Embedded Hardware Support
System-on-a-chip, DSPs, hardware specification,
synthesis, modeling, simulation, power-aware,
verifiable systems, performance modeling, ...
O Embedded Software
Compilers, assemblers and cross assemblers,
virtual machines, scheduling, concurrent software
for SoCs, ...
O Embedded System Architecture
Heterogeneous multiprocessors, reconfigurable
platforms, communication, protocols, network-on-chip,
embedded microcontrollers, ...
O Hardware/Software Co-design
Methodologies, test and debug strategies,
specification and modeling, design representation, ...
O Real-time Systems
All real-time related aspects such as software,
distributed real-time systems, real-time kernels, ...
O Testing Techniques
design-for-test, test synthesis, built-in self-test,
embedded test, ...
O Application-specific Processors and Devices
Network processors, real-time processor, application
specific hardware accelerators, low power
embedded processors, bio/fluidic processors, ...
O Industrial Practices and Benchmark Suites
emerging technologies, interchange format, tools,
copyrights, maintenance,
O Embedded Computing Education
O Emerging New Topics
New challenges for next generation embedded computing
systems, arising from new technologies
(e.g., nanotechnology), new applications (e.g., pervasive
or ubiquitous computing, embedded internet tools), ...
SCOPE OF IC'04:
(Conference on Internet Computing)
O Internet Security
O Internet Applications and Appliances
O Performance Evaluation of the Internet
O Resource Management and Location
O Design and Analysis of Internet Protocols
O Web based computing
O Network Management
O Network Architectures
O Network Computing
O Network Operating Systems
O Quality of Service
O Wide Area Consistency
O Electronic Commerce
O The WWW and Intranets
O Metacomputing
O Grid based Computing and Tools
O Languages for Distributed Programming
O Cooperative Applications
O Tele-Medical and other applications
O Internet Telephony
O Mobile Computing
O Educational Applications
O Digital Libraries/Digital Image Collections
O Web Interfaces to Databases
O User-interface/Multimedia/Video/Audio/User Interaction
O Markup Languages/HTML/XML/VRML
O Java Applications on Internet
O Alternative Web lifestyles, role-playing, chat, ...
O Caching Algorithms for the Internet
O Traffic Models & Statistics
O Server Space/Web Server Performance
O Web Monitoring
O Web Documents Management
O Web Site Design and Coordination
O Other aspects & applications relating to internet computing
SCOPE OF ICWN'04:
(Conference on Wireless Networks)
O Mobile wireless QoS, radio resource management
O Mobile wireless Internet, IPv6
O Heterogeneous wireless networks, radio access networks
O OFDM
O W-CDMA, cdma2000, TD-SCDMA, ...
O MIMO, adaptive antenna
O Software-defined radio, reconfigurable radio networks
O Wireless security
O Wireless applications, mobile e-commerce, multimedia
O Satellite-based systems
O Broadcast networks
O High altitude platform
O GPS, location-based service
O Mobile agents
O Wireless & mobile applications
O Multiple access
O Routing, multicasting, ...
O Resource management, wireless QoS
O Mobile Internet
O Transport-layer issues
O Wireless security
O Wireless network architectures
O Mobile computing
O Modeling, simulation, ...
O Ad hoc networks, sensor networks, ...
O 4G, 3.5G, 3G, ... wireless systems
O Personal area networks, body wireless networks, Bluetooth
O Wireless sensor networks
O Coding & modulation
O Multi-user detection
O Power management & control, low-power protocols
O OFDM, ...
O Wireless IP networks, interworking
O Wireless multimedia, QoS adaptation
O WAP, mobile e-commerce
O Location-based service, GPS
O Distributed algorithms for wireless networks
SCOPE OF ISWS'04:
(Symposium on Web Services and Applications)
O Web service technologies and research directions:
- Enhancements to the basic Web services platform
(SOAP, WSDL, UDDI)
- Grid Computing
- Advanced Web service technologies including security,
workflow/process management, transactions, mobile
and wireless, portals, services management,
quality-of-service (QoS)
- Novel Web service architectures
- Development and modeling frameworks for Web
service applications
- Composite Web services, enabling technologies and
support infrastructure
- Data structures and models
O Best practices for developing enterprise-class Web
services and applications:
- Design patterns
- Architecting for customization, maintenance,
and management
- Architecting for easy integration or service
"consumption"
- Fault-tolerant architectures
- Service mediation systems and architectures
O Case studies of Web service development and deployment:
- E-Commerce applications using Web services
- Business-to-Business (B2B) applications using Web
services
- Mobile and wireless applications using Web services
- Utility and on-demand computing using Web services
- Government applications using Web services
- Applications of Web services in developing countries
SCOPE OF IWWC'04:
(Workshop on Wearable Computers)
O Wearable computing for people with disabilities.
O Applications of wearable computers
(medical, consumer, industrial, military, ...)
O On-body networks
O Next generation of wearable computers
O Wireless network technology used by wearable computers
O New Gadgets
O Handheld computers vs wearable computers
O Operating systems issues
O Wearable system design
O Energy / Power management (batteries)
O Software architectures for wearable computers
O Ergonomic issues
O Wearable computers and virtual reality
O Human interface systems and issues (I/O devices)
O Social ramifications
O Wearable computing and AI
O Smart clothes
O Design of wearability (study on the comfort of
wearable computers, ...)
O Heat dissipation issues
O Wearable displays
O Tasks for which wearable computers can be used
O User evaluations
O System architectures
O Advanced textile circuitry
O Keyless "keyboards"
SCOPE OF SAM'04:
(Conference on Security and Management)
O Security Protocols
O Mobility Management
O Security Algorithms
O Location Management
O QoS Management
O Key Management Techniques
O Security in E-commerce and M-commerce
O Security Policies
O Resource Management
O Mobile Network Security
O Channel Management
O AAA
O Encryption
O Security in Mobile IPv4/IPv6
O VPN
O Firewall
O IDS (Intrusion Detection System)
O Digital contents copyright protection techniques
O Watermarking
O Secure OS
O Honeypot
O Virus Issues (Detection, Prevention, ...)
O Tracing Techniques in Internet
O Active Networks
O Security in CDN (Contents Distribution Networks)
O Hacking Techniques and Related Issues
O Security in GRID
O Biological Security Technologies
O Surveillance Technologies
O High-Tech Systems at Airports
O Face Recognition Systems
O Signature Recognition Systems
O Network Management
O System Management
O Network Security Management
O Management in Network Equipments
O SAN (Storage Area Networks) Management
O GRID Middleware
O GRID Applications
O GRID Networks
O Security for Protocol Management
O Management Protocol (SNMP, CMIP, ...)
SCOPE OF METMBS'04:
(Conference on Mathematics and Engineering Techniques
in Medicine and Biological Sciences)
O Bioinformatics: This includes informatics
techniques in genomics (e.g. gene sequencing, gene
pattern discovery, gene pattern-function studies,
and other genomics related studies), proteomics, ...
O Cheminformatics: All informatics techniques applied
to biochemical and chemical processes and analyses.
O Data mining in medicine and biological sciences.
O Pattern recognition in medicine and biological sciences.
O Signal processing in medicine and biological sciences
(e.g. biomedical signal processing, ...)
O Image processing in medicine and biological sciences
(e.g. biomedical image processing, biomedical
imaging, ...)
O Medical decision-making.
O Medical Physics.
O Biomedical Engineering.
O Biomedical Electronics.
O Biosignal interpretation.
O Any application of computers in Medicine and biological
sciences (protein structure-function analysis, drug and
protein design, molecular modeling and simulation, ...)
O Application of information technology in biomedicine
(e.g. medical database management, information retrieval
and use of computers in hospitals.)
O Application of Computational Intelligence (artificial
neural networks, fuzzy logic, and evolutionary computing)
in medicine and biological sciences.
O Medical and bio-computing.
O High-performance computing as applied to natural and
medical sciences.
O Computer-based medical systems (automation in
medicine, ...)
O Recent history (1990-2004) of Mathematics and engineering
techniques in medicine and biological sciences, and what
to expect during the next decade; New horizons.
Review articles.)
O Other aspects and applications relating to technological
advancements in medicine and biological sciences.
SCOPE OF MLMTA'04:
(Conference on Machine Learning; Models, Technologies
and Applications)
O Artificial Neural Networks and Learning
O Fuzzy Logic + Fusion and Learning
O Information Retrieval and Data Mining
O Inductive Learning and Applications
O Knowledge Representation and Management
O Knowledge Acquisition and Discovery Techniques
O Evolutionary Algorithms and Bayesian-Based Methodologies
O Reinforcement Learning Methods
O Grammatical Inference
O Learning Models
O Multi-Agent Learning
O Cognitive Modeling
O Hybrid Techniques + Hierarchical Learning Models
O Collaborative Filtering
O Case-Based Reasoning
O Semantic Indexing
O Natural Language Processing
O Machine Translation
O Markov Decision Processes (including Semi-Markov DM)
O ODE Methods and Machine Learning
O Multi-Criteria Reinforcement Learning
O Temporal Abstractions
O Relational Learning Models
O Computational Needs of Learning Models
O Formal Learning Methods
O Graph-Based Learning
O Theory Refinement Methodologies
O Probabilistic Reasoning
O Decision Trees
O Learning Based on Adaptive Techniques
O Learning Topological Maps
O Verification Models
O Mobile Robotics
O Learning in Planning
O Query Learning and Active Learning
O Memory-Based Learning
O Instance-Based Learning and Self-Adaptation Techniques
O Requirements Models
O Transformation-Based Learning
O Simulated Annealing and Learning
O Life-Long Learning and Learning by Examples
O Q-Learning
O Predictive Learning Models
O Text Categorization and Classification
O Machine Learning Applications (Medicine, Games, Biology,
Industrial Applications, Robotics, Security, ...)
SCOPE OF CIC'04:
(Conference on Communications in Computing)
O High Performance Applications
O Distributed Systems and Advanced Applications
(e.g. multimedia, cooperative systems)
O Grid computing
O Scalable and Interoperable Systems and Associated
Standards
O Software Systems (e.g. operating system support,
middleware, ...)
O Architecture (e.g. VLSI, SIMD, MIMD, vector,
systolic, reconfigurable, ...)
O Interconnection networks (e.g. bus-based, optical)
O ATM based networks
O Communications (e.g. routing, wireless, mobile)
O Visualization (e.g. scientific visualization,
debugging and load balancing tools)
O Photonics and Optical Computing
O Performance Issues (e.g. benchmarks, performance
measurement, evaluation and prediction)
O Modeling and Simulation of High Performance Systems
O Advanced Compilation Techniques (e.g. parallelizing
compilers)
O Programming Languages for Parallel and other High
Performance Computing
O Parallel/Distributed/Vector Algorithms
O Reliability and Fault Tolerance
O Embedded and Real Time Systems
O Digital Signal Processing
O Neural Computing, Genetic Algorithms
O Issues in High Performance Computing
(e.g. evolving paradigms, ...)
O Internet & web based processing, E-commerce,
telecommunication network, cluster-based computing
SCOPE OF VLSI'04:
(Conference on VLSI)
O Quantum Computing
O Nanoelectronics
O Molecular and Biological Computing
O MEMS
O Circuits and Systems
O Novel Design and Methodologies
O System-on-a-Chip: Design and Methodology
O Low Power VLSI System Design
O Complexity Issues
O Simulation Tools
O Algorithm Design Approaches (AI, Genetic, ...)
O High-Level Design Methodologies
O ASIC Design and Architectures
O Reconfigurable Systems Design
O Novel Devices and Circuits
O Emerging Trends
O High-Performance Circuits
O Reusable Architectures
O Test and Verification
O Synthesis
O Mixed-Signal Design and Analysis
O Electrical/Packaging Designs and Co-Designs
O FPGA-based Design
O Applications (all applications will be considered)
SCOPE OF ERSA'04:
(Conference on Engineering of Reconfigurable Systems
and Algorithms)
O Theory, Mapping and Parallelization:
Theoretical models of computing in space-time and
adaptive computing + Mapping algorithms into hardware
and synthesis of regular arrays + Parallelization and
(space-time) partitioning of algorithms + System
architectures using configurable computing platform +
Newly developed algorithms for efficient
implementation on reconfigurable systems.
O Software, CAD and Operating Systems:
CAD, specification, partitioning and verification +
High-level synthesis, hardware compilation,
hardware/software codesign, developing correct
circuits + High and low-level languages and compilers,
design environments, Java-based environments +
Operating systems and run-time reconfiguring,
intelligent libraries + IP-based and object oriented
models and mapping methods.
O Adaptive Hardware Architectures:
Adaptive and dynamically reconfigurable systems +
Reconfigurable processor architectures, fine and
coarse-grained processor arrays + Complex systems using
reconfigurable processors + Application-tailored
reconfigurable Systems-on-Chip + Low power systems on
reconfigurable platform.
O Applications:
Wireless communication systems:
- mobile communication systems, video-phone, software
radio, global positioning systems, ...
- Multimedia and virtual reality:
video imaging, teleconferencing, data compression,
image databases, computational geometry and computer
graphics, ...
- Space-based applications:
reconfigurable systems for remote processors, space
telescope systems, satellite networks, ...
tradeoffs between on-board and ground-based processing,
radiation effects mitigation, fault tolerance and
reliability.
- Numeric processing:
floating point operations, fixed and floating point
tradeoffs, residue number systems, customizable
libraries, solving complex mathematical problems (linear
algebra, PDEs etc.), supercomputing experiences, ...
- Automotive industry:
vehicle guidance, lane and obstacle detection, object
recognition, traffic systems, navigation of robots, ...
- Security systems:
object recognition and tracking, cryptology, Internet
and security, ...
- Classical image and signal processing:
digital filters, edge and line detection, morphological
operators, motion and stereo estimation, discrete
transformations, linear algebra, radar systems, object
recognition, ...
SCOPE OF AMCS'04:
(Conference on Algorithmic Mathematics and Computer Science)
O Computational Mathematics:
Combinatorics, Linear Algebra, Commutative Algebra,
Symbolic Computation, Computational Geometry,
Algebraic Number Theory, Computational Methods for
Summations, Computational Methods for Differential
Equations, ...
O Algorithms:
Symbolic, Algebraic, Geometric, Numeric, and
Theoretical Complexity; Applications of Symbolic and
Algebraic Algorithms in Engineering, Sciences, and
Education.
O Computer Science:
Practical Complexity of Algorithms, Automated Mathematical
Reasoning, Automated Differentiation, Theoretical and
Practical Problems in Symbolic Computation, Symbolic
Computation Systems, Computer-Aided Problem-Solving,
User Interfaces and Problem-Solving Environments,
O Mathematical Software Design and Implementation:
Software, Libraries, and Programming Languages,
Parallel and Distributed Mathematical Computations,
High Performance Mathematical Computations Using
Grid-Computing, Concrete Analysis, Benchmarking,
Code Generation, Mathematical Protocols, Internet
Accessible Mathematical Computation (IAMC)
O Applications