Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* SEKE2007 - Deadline extended to March 1, 2007
@ 2007-02-07 23:46 Michael (Eonsuk) Shin
  0 siblings, 0 replies; only message in thread
From: Michael (Eonsuk) Shin @ 2007-02-07 23:46 UTC (permalink / raw)
  To: amlist, petrinet, concurrency, categories, moca-announce, eacsl,
	fmics, pvs, ipa, logic-announce, logic-list, nvti-list,
	prog-lang, theory-logic, theorynt, seworld, acl2,
	action-semantics, AG-list, agents, asci, caml-list, clp,
	coq-club, DMANET, formal-methods, grin, ifmsig, isabelle-users,
	jml, lfcs-interest, lpnmr, nwpt-info, om-announce, papm,
	prog-lang, puml-list, stochver, theorem-provers, zero-defaut,
	zeves, forum, csl, eapls, cipher-cfp, ecoop-info, coalgebras,
	ccp, lprolog, list, appsem, rewriting, sensoria
  Cc: S. K. Chang, Daniel Cooke, Michael.Shin

[-- Attachment #1: Type: text/plain, Size: 5099 bytes --]

---------------------------------------------------
     Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and
Knowledge Engineering


SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html


Organized by Knowledge Systems Institute



CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007.
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and
knowledge engineering to discuss on relevant results in either software 
engineering
or knowledge engineering or both. Special emphasis will be put on the 
transference
of methods between both domains.


TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems


INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF,
or MS Word format) of the full paper should be submitted using the following
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet 
Explorer
as the browser. Manuscript must include a 200-word abstract and no more 
than 6 pages
of IEEE double column text (include figures and references). Workshop papers
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users
(webmaster, program chair, reviewers...) can login using the following
URL: http://conf.ksi.edu/seke07/review/pass.php.


If you have any questions or run into problems,
please send e-mail to: seke@ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke@ksi.edu


IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007









[-- Attachment #2: SEKE07DeadlineExtended.txt --]
[-- Type: text/plain, Size: 5111 bytes --]

---------------------------------------------------
    Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering


SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html


Organized by Knowledge Systems Institute



CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside 
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007. 
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and 
knowledge engineering to discuss on relevant results in either software engineering 
or knowledge engineering or both. Special emphasis will be put on the transference 
of methods between both domains.


TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems


INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF, 
or MS Word format) of the full paper should be submitted using the following 
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet Explorer 
as the browser. Manuscript must include a 200-word abstract and no more than 6 pages 
of IEEE double column text (include figures and references). Workshop papers 
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users 
(webmaster, program chair, reviewers...) can login using the following 
URL: http://conf.ksi.edu/seke07/review/pass.php.


If you have any questions or run into problems, 
please send e-mail to: seke@ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke@ksi.edu


IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007 










^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2007-02-07 23:48 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-02-07 23:46 SEKE2007 - Deadline extended to March 1, 2007 Michael (Eonsuk) Shin

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox