Page 2
Page 2
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; Vol.3524 : 2nd International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005
Intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community.
Integer Programming and Combinatorial Optimization ; 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings
Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe presentation of recent results in Integer Programming and Combinatorial Op- mization. This volume compiles the papers presented at IPCO XI, the eleventh conference in this series, held June 8–10, 2005, at the Technische Universit¨ at Berlin. The high interest in this conference series is evident in the large number of submissions. For IPCO XI, 119 extended abstracts of up to 10 pages were submitted. During its meeting on January 29–30, 2005, the Program Committee carefully selected 34 contributions for presentation in non-parallel sessions at the conference. The ?nal choices were not easy at all, since, due to the limited number of time slots, many very good papers could not be accepted. During the selection process the contributions were refereed according to the standards of refereed conferences. As a result of this procedure, you have in your hands a volume that contains papers describing high-quality research e?orts. The page limit for contributions to this proceedings volume was set to 15. You may ?nd full versions of the papers in scienti?c journals in the near future. We thank all the authors who submitted papers. Furthermore, the Program Committee is indebted to the many reviewers who, with their speci?c expertise, helped a lot in making the decisions.
Innovative approaches for learning and knowledge sharing ; 1st European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings
This book constitutes the refereed proceedings of the First European Conference on Technology Enhanced Learning, EiTEL 2006, held in Crete, Greece in October 2006. The 32 revised full papers, 13 revised short papers and 31 poster papers presented together with 2 keynote talks were carefully reviewed and selected from 192 submissions. The conference provides a unique forum for all research related to technology-enhanced learning, as well as its interactions with knowledge management, business processes and work environments. Topics addressed are collaborative learning, personalized learning, multimedia content, semantic web, metadata and learning, workplace learning, learning repositories and infrastructures for learning, as well as experience reports, assesment, and case studies.
Information Systems Development : Advances in Theory, Practice, and Education
Comprised of the proceedings of the 13th International Conference on Information Systems Development held August 26th-28th, 2004, at Vilnius Gediminas Technical University, Vilnius, Lithuania. This volume aims to provide a forum for the research and practices addressing issues associated with Information Systems Development (ISD).
Information security applications : Vol. 3325 : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
The 5th International Workshop on Information Security Applications (WISA 2004) was held in Jeju Island, Korea during August 23-25, 2004. The workshop was sponsored by the Korea Institute of Information Security and Cryptology (KIISC), the Electronics and Telecommunications Research Institute (ETRI) and the Ministry of Information and Communication (MIC). The aim of the workshop is to serve as a forum for new conceptual and - perimental research results in the area of information security applications from the academic community as well as from the industry. The workshop program covers a wide range of security aspects including cryptography, cryptanalysis, network/system security and implementation aspects. The programcommittee received169 papersfrom 22 countries,andaccepted 37 papers for a full presentation track and 30 papers for a short presentation track. Each paper was carefully evaluated through peer-review by at least three members of the programcommittee. This volume contains revised versions of 36 papers accepted and presented in the full presentation track. Short papers were only published in the WISA 2004 pre-proceedings as preliminary versions and are allowed to be published elsewhere as extended versions. In addition to the contributed papers, Professors Gene Tsudik and Ross Andersongaveinvitedtalks,entitledSecurityinOutsourcedDatabasesandWhat does ‘Security’ mean for Ubiquitous Applications?, respectively.
Information Security ; Vol.3650 ; 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings
ISC 2005 brought together individuals from academia and - dustry involvedin manyresearchdisciplines of information security to foster the exchange of ideas. During recent years this conference has tried to place special emphasis on the practical aspects of information security, and since it passed from being an international workshop to being an international conference in 2001, it has become one of the most relevant forums at which researchers meet and discuss emerging security challenges and solutions. Advised by the ISC Steering Committee, and in order to provide students with more opportunities for publication, ISC 2005 accepted extra student papers - sides the regular papers. The initiative was very well accepted by the young sector of the scienti?c community, and we hope that the success of this idea will remainfornextISCevents. Another important factor for the success of ISC2005 was that selected papers in the proceedings will be invited for submission to a special issue of the International Journal of Information Security. The result was an incredible response to the call for papers; we received 271 submissions, the highest since ISC events started. It goes without saying that the paper selection process was more competitive and di?cult than ever before — only 33 regular papers were accepted, plus 5 student papers for a special student session.
Information Security ; Vol. 4176 ; 9th International Conference; ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings
th This volume contains the papers presented at the 9 Information Security Conference (ISC 2006) held on Samos Island, Greece, during August 30 – September 2, 2006. The Conference was organized by the University of the Aegean, Greece. ISC was first initiated as a workshop, ISW in Japan in 1997, ISW 1999 in Mal- sia, ISW 2000 in Australia and then changed to the current name ISC when it was held in Spain in 2001 (ISC 2001). The latest conferences were held in Brazil (ISC 2002), UK (ISC 2003), USA (ISC 2004), and Singapore (ISC 2005). ISC 2006 provided an international forum for sharing original research results and application experiences among specialists in fundamental and applied problems of - formation security. In response to the Call for Papers, 188 papers were submitted. Each paper was - viewed by three members of the PC, on the basis of their significance, novelty, and technical quality. Of the papers submitted, 38 were selected for presentation, with an acceptance rate of 20%.
Information networking : Convergence in broadband and mobile networking ; International conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings
Welcome to ICOIN 2005,the International Conference on Information Netwo- ing, held at Ramada Plaza Jeju Hotel, Jeju Island, Korea during January 31– February2,2005.ICOIN2005followedthesuccessofpreviousconferences.Since 1986, the conference has provided a technical forum for various issues in inf- mation networking. The theme of each conference re?ects the historic events in the computer communication industry. (Please refer to www.icoin2005.or.kr for details.) The theme of ICOIN 2004, “Convergence in Broadband and Mobile Networking,” was used again for ICOIN 2005 since we believed it was ongoing. This year we received 427 submissions in total, which came from 22 co- tries. Upon submission, authors were asked to select one of the categories listed in the Call for Papers. The most popular category chosen was network se- rity, followed by mobile networks and wireless LANs. Other areas with strong showings included QoS and resource management, ad hoc and sensor networks, and wireless multimedia systems. From the outset, we could see where recent research interest lay and could make sure that the theme was still going in the right direction.
Information and Communications Security ; Vol. 4307 ; 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings
It is our great pleasure to welcome you to the Eighth International Conference on Information and Communications Security (ICICS 2006), held in Raleigh, North Carolina, USA, December 4–7, 2006. The ICICS conference series is an established forum that brings together researchersand scholars involved in m- tiple disciplines of Information and Communications Security in order to foster exchangeof ideas. The past sevenICICS conferences wereheld in Beijing, China (ICICS 1997); Sydney, Australia (ICICS 1999); Xi’an China (ICICS 2001); S- gapore (ICICS 2002); Hohhot City, China (ICICS 2003); Malaga, Spain (ICICS 2004); and Beijing, China (ICICS 2005). The conference proceedings of the past seven events have been published by Springer in the Lecture Notes in Computer Science series, in LNCS1334,LNCS1726,LNCS2229,LNCS 2513,LNCS 2836, LNCS 3269, and LNCS 3783, respectively. This year we received a total of 119 submissions on various aspects of - hoc and sensor network security. The Program Committee selected 22 regular papers and 17 short papers that cover a variety of topics, including security protocols, applied cryptography and cryptanalysis, access control in distributed systems, privacy, malicious code, network and systems security, and security implementations. Putting together ICICS 2006 was a team e?ort. First of all, we would like to thank the authors of every paper, whether accepted or not, for submitting their papers to ICICS 2006. We would like to express our gratitude to the Program Committee members and the external reviewers, who worked very hard in - viewing the papers and providing suggestions for their improvements.
Information and communications security ; Vol. 3783 ; 7th International conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings
The Seventh International Conference on Information and Communications - curity,ICICS2005,washeldinBeijing,China,10-13December2005. TheICICS conference series is an established forum for exchanging new research ideas and development results in the areas of information security and applied crypt- raphy. The ?rst event began here in Beijing in 1997. Since then the conference series has been interleaving its venues in China and the rest of the world: ICICS 1997 in Beijing, China; ICICS 1999 in Sydney, Australia; ICICS 2001 in Xi’an, China; ICICS 2002 in Singapore; ICICS 2003 in Hohhot City, China; and ICICS 2004 in Malaga, Spain. The conference proceedings of the past events have - ways been published by Springer in the Lecture Notes in Computer Science series, with volume numbers, respectively: LNCS 1334,LNCS 1726,LNCS 2229, LNCS 2513, LNCS 2836, and LNCS 3269. ICICS 2005 was sponsored by the Chinese Academy of Sciences (CAS); the Beijing Natural Science Foundation of China under Grant No. 4052016; the National Natural Science Foundation of China under Grants No. 60083007 and No. 60573042;the NationalGrandFundamentalResearch973ProgramofChina under Grant No. G1999035802, and Hewlett-Packard Laboratories, China. The conference was organized and hosted by the Engineering Research Center for Information Security Technology of the Chinese Academy of Sciences (ERCIST, CAS) in co-operation with the International Communications and Information Security Association (ICISA). The aim of the ICICS conference series has been to o?er the attendees the opportunity to discuss the latest developments in theoretical and practical - pects of information and communications security.
Implementation and Application of Functional Languages ; Vol. 4015 ; 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, Ireland, September 19–21, 2005. It was organized by the Department of Computer Science at Trinity College, University of Dublin. IFL 2005 was the 17th event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical aspects over language design and implementation towards applications and tool support.
Implementation and application of functional languages ; Vol. 3474 ; 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support.
Image and video retrieval ; Vol. 3568 ; 4th International conference, CIVR 2005, Singapore, July 20-22, 2005, Proceedings
It was our great pleasure to host the 4th International Conference on Image and Video Retrieval (CIVR) at the National University of Singapore on 20–22 July 2005. CIVR aims to provide an international forum for the discussion of research challenges and exchange of ideas among researchers and practitioners in image/video retrieval technologies. It addresses innovative research in the broad ?eld of image and video retrieval. A unique feature of this conference is the high level of participation by researchers from both academia and industry. Another unique feature of CIVR this year was in its format – it o?ered both the traditional oral presentation sessions, as well as the short presentation cum poster sessions. The latter provided an informal alternative forum for animated discussions and exchanges of ideas among the participants.After a rigorous review process, 20 papers were accepted for oral presentations, and 42 papers were accepted for poster presentations. In addition to the accepted submitted papers, the program also included 4 invited papers, 1 keynote industrial paper, and 4 invited industrial papers. Altogether, we o?ered a diverse and interesting program, addressing the current interests and future trends in this area.
High performance computing and communications ; Vol. 4208 : 2nd International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
HPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities in many academic and industrial branches, especially when the so- tion of large and complex problems must cope with very tight time constraints. The HPCC 2006 conference provides a forum for engineers and scientists in academia, industry, and governmentto address all resulting profound challenges and to present and discuss their new ideas, research results, applications, and experience on all aspects of HPCC.
Groupware : Design, implementation, and use ; 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings
This volume constitutes the proceedings of the 13th International Workshop on Groupware (CRIWG 2007). This workshop aims at providing a forum for academic researchers and professionals to exchange their experiences and their ideas about problems and solutions related to the design, development and use of groupware applications.
Grid computing : Achievements and prospects
Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the CoreGRID Integration Workshop, held April 2008 in Heraklion-Crete, Greece. This event brings together representatives of the academic and industrial communities performing Grid research in Europe. The workshop was organized in the context of the CoreGRID Network of Excellence in order to provide a forum for the presentation and exchange of views on the latest developments in grid technology research.
Grid and cooperative computing - GCC 2005 ; 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings
This volume presents the accepted papers for the 4th International Conference on Grid and Cooperative Computing (GCC2005),held in Beijing, China, during November 30 – December 3, 2005.The conferenceseries of GCC aims to provide an international forum for the presentation and discussion of research trends on the theory, method, and design of Grid and cooperative computing as well as their scienti?c, engineering and commercial applications. It has become a major annual event in this area. The First International Conference on Grid and Cooperative Computing (GCC2002) received 168 submissions. GCC 2003 received 550 submissions, from which 176 regular papers and 173 short papers were accepted. The acceptance rate of regular papers was 32%, and the total acceptance rate was 64%. GCC 2004 received 427 main-conference submissions and 154 workshop submissions. The main conference accepted 96 regular papers and 62 short papers. The - ceptance rate of the regular papers was 23%. The total acceptance rate of the main conference was 37%. For this conference, we received 576 submissions. Each was reviewed by two independent members of the International Program Committee. After carefully evaluating their originality and quality, we accepted 57 regular papers and 84 short papers. The acceptance rate of regular papers was 10%. The total acc- tance rate was 25%.
Geographic Information Science ; 4th International Conference, GIScience 2006, Münster, Germany, September 20-23, 2006, Proceedings
The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing research in the fundam- tal aspects of geographic information science.The conferences focus on emerging topics and basic research ?ndings across all s- tors of geographic information science. After three highly successful conferences in the United States, this year’s GIScience conference was held in Europe for the ?rst time. The GIScience conferences have been a meeting point for researchers coming from various disciplines, including cognitive science, computer science, engine- ing, geography,information science, mathematics, philosophy, psychology,social science, and statistics. The advancement of geographic information science - quiressuchinterdisciplinarybreadth,andthisisalsowhatmakestheconferences so exciting. In order to account for the di?erent needs of the involved scienti?c disciplines with regard to publishing their research results.
Generative programming and component engineering ; 4th International conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These approaches to software engineering have the potential to revolutionize software development as automation and components revolutionized manufacturing. The conference brings together researchers and practitioners interested in adva- ing automation for software development. It is also a premier forum for cro- fertilization between the programming language and software engineering - search communities. GPCEaroseasajointconference, mergingthepriorconferenceonGenerative and Component-Based Software Engineering (GCSE) and the Workshop on - mantics, Applications, andImplementationofProgramGeneration(SAIG). The proceedingsofthepreviousGPCEconferenceswerepublishedintheLNCSseries of Springer as volumes2487,2830, and 3286.In 2005 GPCE wasco-locatedwith the International Conference on Functional Programming (ICFP) and the s- posium on Trends in Functional Programming (TFP), re?ecting the vigorous interaction between the functional programming and generative programming research communities. GPCE and ICFP are both sponsored by the Association for Computing Machinery. The quality and breadth of the papers submitted to GPCE 2005 was impr- sive. All 86 papers, including 5 papers for tool demonstrations, were rigorously reviewed by 17 highly quali?ed Program Committee members. The members of the Program Committee ?rst provided in-depth individual reviews of the s- mitted papers, and then debated the merits of the papers through an extended electronicProgramCommitteemeeting.After much(friendly) argument,25r- ular papers and 2 tool demonstration papers were selected for publication. The ProgramCommittee provided extensive technical feedback to the authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.
Functional and logic programming ; 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion, the ProgramCommittee selected20 papers(33%)for presentationat theconference.
