Forwarded message from [xbatusek(a)informatics.muni.cz (Robert Batusek)] sent originally on Tue, 16 Nov 1999 10:28:45 +0100:
: This is a multi-part message in MIME format.
:
: ------ÿextPart_000_005F_01BF301D.5CE24220
: Content-Type: text/plain;
: charsetÿso-8859-2"
: Content-Transfer-Encoding: quoted-printable
:
: ***********************************
: TSD 2000 - PRELIMINARY ANNOUNCEMENT
: ***********************************
:
: The Third International Workshop on TEXT, SPEECH and DIALOGUE
: (TSD 2000)
: Brno, Czech Republic, 13-16 September 2000
:
: TSD Series
:
: TSD series evolved as a prime forum for interaction between
: researchers in both spoken and written language processing
: from the former East Block countries and their Western colleagues.
: Being held in Czech Republic, the cost of attending is very
: reasonable. Proceedings of TSD form a book (currently published
: by Springer-Verlag in their Lecture Notes in Artificial
: Intelligence series).
:
: TOPICS
:
: Topics of the TSD 2000 workshop will include
: (but are not limited to):
: text corpora and tagging;
: transcription problems in spoken corpora;
: sense disambiguation;
: links between text and speech oriented systems;
: parsing issues, especially parsing problems in spoken texts;
: multi-lingual issues, especially multi-lingual dialogue systems;
: information retrieval and text/topic summarization;
: speech modeling;
: speech segmentation;
: speech recognition;
: text-to-speech synthesis;
: dialogue systems;
: development of dialogue strategies;
: prosody in dialogues;
: user modeling;
: knowledge representation in relation to dialogue systems;
: assistive technologies based on speech and dialogue;
: applied systems and software.
:
: Papers on processing of languages other than English
: are strongly encouraged.
:
: PROGRAM COMMITTEE
:
: Jelinek Frederick, USA (general chair)
: Hermansky Hynek, USA (executive chair)
: Baudoin Genevieve, France
: Cermak Frantisek, Czech Rep.
: Ferencz Attila, Romania
: Hajicova Eva, Czech Rep.
: Hanks Patrick, GB
: Kilgariff Adam, GB
: Kopecek Ivan, Czech Rep.
: Kucera Pavel, Czech Rep.
: Matousek Vaclav, Czech Rep.
: Moon Rosamund, GB
: Noeth Elmar, Germany
: Norling-Christensen Ole, Denmark
: Pala Karel, Czech Rep.
: Pavesic Nikola, Slovenia
: Petkevic Vladimir, Czech Rep.
: Psutka Josef, Czech Rep.
: Schukat-Talamazzini E.G., Germany
: Skrelin Pavel, Russia
: Vintsiuk Taras, Ukraine
: Wilks Yorick, GB
:
: ORGANIZING COMMITTEE
:
: Bartek Ludek
: Batusek Robert
: Gaura Pavel
: Horak Ales
: Komarkova Dana (secretary)
: Kopecek Ivan (co-chair)
: Matousek Vaclav
: Nygryn Pavel
: Pala Karel (co-chair)
: Sedlacek Radek
: Smrz Pavel
: Sojka Petr
: Staudek Jan
: Veber Marek
: Zackova Eva
: Zizka Jan
:
: FORMAT OF THE WORKSHOP
:
: TSD 2000 is an international workshop with a limited number
: of participants and priority given to the active participants.
: The workshop program will include oral presentations and
: a poster/demonstration sessions with time for discussions of the
: issues raised. Social events including a trip in the vicinity
: of Brno will allow for additional informal interactions.
:
: SUBMISSION OF PAPERS
:
: Authors should submit extended abstracts not exceeding 1000 words
: by March 10, 2000
: to the e-mail address:
:
: tsd2000(a)fi.muni.cz
:
: Submission must also include the author(s) name, affiliation,
: address, telephone and fax numbers and e-mail address. Acceptance
: of the submissions will be acknowledged by e-mail. Papers have
: to follow the Springer-Verlag instructions for the authors
: for Lecture Notes in Computer Science series. The instructions
: can be found at the www
:
: address: http://www.springer.de/comp/lncs/authors.html
:
: IMPORTANT DATES
:
: Preliminary registration and deadline for submission of extended
: abstracts:
: March 10, 2000
:
: Notification of acceptance sent to the authors:
: April 30, 2000
:
: Final papers (camera ready) and registration:
: May 30, 2000
:
: Workshop date:
: September 13-16, 2000
:
: The contributions to the workshop will be published in
: proceedings that will be made available to participants at
: the time of the workshop. The proceedings of the last TSD
: workshop were published by Springer-Verlag in the series
: Lecture Notes in Artificial Intelligence and we anticipate
: the same format for TSD 2000.
:
: OFFICIAL LANGUAGE
:
: The official language is English.
:
: ADDRESS
:
: All correspondence regarding the workshop should be addressed to:
:
: Dana Komarkova
: TSD 2000 c/o Faculty of Informatics
: Masaryk University
: Botanická 68a
: CZ-602 00 Brno
: Czech Republic
: telephone: ++420 5 41 512 359
: fax: ++420 5 41 212 568
: e-mail: tsd2000(a)fi.muni.cz
: The official TSD 2000 homepage is: http://www.fi.muni.cz/tsd2000/
:
: VENUE
:
: Brno, Czech Republic
:
: Brno is the capital of the region known as Moravia which is
: placed in the south-east part of the Czech Republic, and the
: second largest town in the Czech Republic (with population
: about half a million). It had been a king's town since 1347
: and with its six Universities it forms a cultural centre
: of the region.
:
: Brno can be reached easily by direct trains from
: Prague (200 km) or Vienna (130 km).
:
: For those participants with some little extra time, some nearby
: places may also be of interest.
:
: The local ones include:
: Brno castle now called Spilberk, Veveri castle, Old and New
: City halls, the Augustine monastery with St. Thomas church
: and crypt of Moravian margraves, church of St. James, bishops
: church of St. Peter & Paul, Cartesian monastery in Kralovo Pole,
: famous villa Tugendhadt designed by Mies van der Rohe
: and other important buildings of between war Czech architecture.
:
: For those willing to venture out of Brno,
: Moravian Karst with Macocha Chasm and Punkva caves, battlefield
: of Battle of three emperors (Napoleon, Russian Alexander and
: Austrian Franz - battle by Austerlitz), chateau of Slavkov
: (Austerlitz), Pernstejn castle, Buchlov castle, Lednice chateau,
: Buchlovice chateau, Letovice chateau, Mikulov with one of greatest
: Jewish cemeteries in Central Europe, Telc - a town on the list of
: UNESCO and many others are all within an easy reach.
:
: ------ÿextPart_000_005F_01BF301D.5CE24220
: Content-Type: text/html;
: charsetÿso-8859-2"
: Content-Transfer-Encoding: quoted-printable
:
: <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
: <HTML><HEAD>
: <META content="text/html; charset=iso-8859-2" : http-equiv=Content-Type>
: <META content="MSHTML 5.00.2314.1000" name=GENERATOR>
: <STYLE></STYLE>
: </HEAD>
: <BODY bgColor=#ffffff>
: <DIV><FONT face="Arial CE" : size=2>***********************************<BR>TSD
: 2000 - PRELIMINARY
: ANNOUNCEMENT<BR>***********************************</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>The Third International Workshop : on TEXT,
: SPEECH and DIALOGUE<BR>(TSD 2000)<BR>Brno, Czech Republic, 13-16 : September
: 2000</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>TSD Series</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>TSD series evolved as a prime : forum for
: interaction between<BR>researchers in both spoken and written language
: processing<BR>from the former East Block countries and their Western
: colleagues.<BR>Being held in Czech Republic, the cost of attending is
: very<BR>reasonable. Proceedings of TSD form a book (currently : published<BR>by
: Springer-Verlag in their Lecture Notes in Artificial<BR>Intelligence
: series).</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>TOPICS</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Topics of the TSD 2000 workshop : will
: include<BR>(but are not limited to):<BR>text corpora and
: tagging;<BR>transcription problems in spoken corpora;<BR>sense
: disambiguation;<BR>links between text and speech oriented : systems;<BR>parsing
: issues, especially parsing problems in spoken texts;<BR>multi-lingual : issues,
: especially multi-lingual dialogue systems;<BR>information retrieval andÿ
0
: text/topic summarization;<BR>speech modeling;<BR>speech : segmentation;<BR>speech
: recognition;<BR>text-to-speech synthesis;<BR>dialogue : systems;<BR>development of
: dialogue strategies;<BR>prosody in dialogues;<BR>user : modeling;<BR>knowledge
: representation in relation to dialogue systems;<BR>assistive : technologies based
: on speech and dialogue;<BR>applied systems and software.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Papers on processing of languages ÿ
: other than
: English<BR>are strongly encouraged.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>PROGRAM COMMITTEE</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Jelinek Frederick, USA (general
: chair)<BR>Hermansky Hynek, USA (executive chair)<BR>Baudoin Genevieve,
: France<BR>Cermak Frantisek, Czech Rep.<BR>Ferencz Attila, : Romania<BR>Hajicova
: Eva, Czech Rep.<BR>Hanks Patrick, GB<BR>Kilgariff Adam, GB<BR>Kopecek : Ivan,
: Czech Rep.<BR>Kucera Pavel, Czech Rep.<BR>Matousek Vaclav, Czech : Rep.<BR>Moon
: Rosamund, GB<BR>Noeth Elmar, Germany<BR>Norling-Christensen Ole, : Denmark<BR>Pala
: Karel, Czech Rep.<BR>Pavesic Nikola, Slovenia<BR>Petkevic Vladimir, : Czech
: Rep.<BR>Psutka Josef, Czech Rep.<BR>Schukat-Talamazzini E.G., : Germany<BR>Skrelin
: Pavel, Russia<BR>Vintsiuk Taras, Ukraine<BR>Wilks Yorick, : GB</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>ORGANIZING : COMMITTEE</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Bartek Ludek<BR>Batusek : Robert<BR>Gaura
: Pavel<BR>Horak Ales<BR>Komarkova Dana (secretary)<BR>Kopecek Ivan
: (co-chair)<BR>Matousek Vaclav<BR>Nygryn Pavel<BR>Pala Karel
: (co-chair)<BR>Sedlacek Radek<BR>Smrz Pavel<BR>Sojka Petr<BR>Staudek : Jan<BR>Veber
: Marek<BR>Zackova Eva<BR>Zizka Jan</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>FORMAT OF THE : WORKSHOP</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>TSD 2000 is an international : workshop with a
: limited number<BR>of participants and priority given to the active
: participants.<BR>The workshop program will include oral presentations : and <BR>a
: poster/demonstration sessions with time for discussions of the<BR>issues : raised.
: Social events including a trip in the vicinity<BR>of Brno will allow for :
: additional informal interactions.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>SUBMISSION OF : PAPERS</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Authors should submit extended : abstracts not
: exceeding 1000 words<BR>by March 10, 2000<BR>to the e-mail : address:</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><A
: href="mailto:tsd2000@fi.muni.cz">tsd2000(a)fi.muni.cz</A></FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Submission must also include the : author(s)
: name, affiliation,<BR>address, telephone and fax numbers and e-mail : address.
: Acceptance<BR>of the submissions will be acknowledged by e-mail. Papersÿ
0
: have<BR>to follow the Springer-Verlag instructions for the : authors<BR>for
: Lecture Notes in Computer Science series. The instructions<BR>can be : found at
: the www</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>address: <A
: href="http://www.springer.de/comp/lncs/authors.html">http://www.springe: r.de/comp/lncs/authors.html</A></FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>IMPORTANT DATES</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Preliminary registration and : deadline for
: submission of extended<BR>abstracts:<BR>March 10, 2000</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Notification of acceptance sent to : the
: authors:<BR>April 30, 2000</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Final papers (camera ready) and
: registration:<BR>May 30, 2000</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Workshop date:<BR>September 13-16, :
: 2000</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>The contributions to the workshop ÿ
: will be
: published in<BR>proceedings that will be made available to participantsÿ
0
: at<BR>the time of the workshop. The proceedings of the last : TSD<BR>workshop were
: published by Springer-Verlag in the series<BR>Lecture Notes in : Artificial
: Intelligence and we anticipate<BR>the same format for TSD : 2000.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>OFFICIAL LANGUAGE</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>The official language is : English.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>ADDRESS</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>All correspondence regarding the : workshop
: should be addressed to:</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Dana Komarkova<BR>TSD 2000 c/o : Faculty of
: Informatics<BR>Masaryk University<BR>Botanická 68a<BR>CZ-602 00 : Brno<BR>Czech
: Republic<BR>telephone: ++420 5 41 512 359<BR>fax: ++420 5 41 212 : 568<BR>e-mail:
: <A href="mailto:tsd2000@fi.muni.cz">tsd2000(a)fi.muni.cz</A><BR>The : official TSD
: 2000 homepage is: <A
: href="http://www.fi.muni.cz/tsd2000/">http://www.fi.muni.cz/tsd2000/</A: ></FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2><BR>VENUE</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Brno, Czech Republic</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Brno is the capital of the region ÿ
: known as
: Moravia which is<BR>placed in the south-east part of the Czech Republic, : and
: the<BR>second largest town in the Czech Republic (with : population<BR>about half
: a million). It had been a king's town since 1347<BR>and with its six
: Universities it forms a cultural centre<BR>of the region.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>Brno can be reached easily by : direct trains
: from <BR>Prague (200 km) or Vienna (130 km).</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>For those participants with some : little extra
: time, some nearby<BR>places may also be of interest. </FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>The local ones include:<BR>Brno : castle now
: called Spilberk, Veveri castle, Old and New<BR>City halls, the Augustine :
: monastery with St. Thomas church<BR>and crypt of Moravian margraves, : church of
: St. James, bishops<BR>church of St. Peter & Paul, Cartesian : monastery in
: Kralovo Pole,<BR>famous villa Tugendhadt designed by Mies van der : Rohe<BR>and
: other important buildings of between war Czech : architecture.</FONT></DIV>
: <DIV> </DIV>
: <DIV><FONT face="Arial CE" size=2>For those willing to venture out : of
: Brno,<BR>Moravian Karst with Macocha Chasm and Punkva caves, : battlefield<BR>of
: Battle of three emperors (Napoleon, Russian Alexander and<BR>Austrian : Franz -
: battle by Austerlitz), chateau of Slavkov<BR>(Austerlitz), Pernstejn : castle,
: Buchlov castle, Lednice chateau,<BR>Buchlovice chateau, Letovice : chateau,
: Mikulov with one of greatest<BR>Jewish cemeteries in Central Europe, : Telc - a
: town on the list of<BR>UNESCO and many others are all within an easy
: reach.<BR></FONT></DIV></BODY></HTML>
:
: ------ÿextPart_000_005F_01BF301D.5CE24220--
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [femke(a)cs.vu.nl (Raamsdonk van F)] sent originally on Thu, 11 Nov 1999 16:03:14 +0100 (MET):
: *** apologies for multiple copies ***
:
: CL2000
:
: First International Conference on Computational Logic
: Imperial College, London, UK, 24th to 29th July, 2000
: http://www.doc.ic.ac.uk/cl2000/
:
: CALL FOR WORKSHOP PROPOSALS
:
: CL2000 is the first conference in a major new series of annual
: international conferences bringing together the various communities of
: researchers who have a common interest in Computational Logic.
:
: CL2000 includes seven streams covering various subfields of
: computational logic. DOOD2000 (6th International Conference on Rules
: and Objects in Databases) and LOPSTR2000 (10th International Workshop
: on Logic-based Program Synthesis and Transformation) will be streams
: within CL2000. Moreover, the International Conference on Logic
: Programming (ICLP) is now integrated into CL2000. ILP2000 (10th
: International Conference on Inductive Logic Programming) is also
: collocated with CL2000.
:
: The organisation of CL2000 will provide facilities for half-day and
: one-day workshops, to be held on Saturday July 29th.
:
: Researchers and practitioners are invited to submit proposals for
: workshops on topics in computational logic.
: Anyone wishing to organise a workshop should send (possibly by email,
: in text or html format) a proposal no longer than two pages to the
: workshop coordinator by
:
: December 20, 1999
:
: The proposal should describe the topic of the proposed workshop and
: its relevance to computational logic. Besides the contact information
: and the list of the organisers, the proposal should contain - when
: applicable - the following information:
:
: - proposed duration of the workshop (half day/one day),
: - description of previously organised similar workshops,
: - expected number of participants,
: - character of the workshop (formal/informal, via
: submission/invitation),
: - plans for publication of the proceedings.
:
: The workshop organisers will be responsible for maintaining a
: homepage, and for producing one hard copy of the proceedings in A4 or
: US-letter format. Organisers who whish to use a format different than
: A4 or US-letter are expected to produce the needed copies of
: proceedings as well.
:
: Proposals will be evaluated by the program committee and decisions
: will be made by January 10, 2000. Further information about the
: arrangements for workshops can be obtained from the workshop coordinator.
:
: Workshop Coordinator:
:
: Sandro Etalle
: Dept. of Computer Science,
: University of Maastricht,
: P.O. Box 616, 6200 MD Maastricht
: email: etalle(a)cs.unimaas.nl
: Fax: ++31 (0)43 3884897
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [miyakawa(a)ito.ecei.tohoku.ac.jp (Shinya MIYAKAWA)] sent originally on Wed, 10 Nov 1999 11:34:19 +0900:
: Apologies if you receive multiple copies.
:
: --------
:
: call for papers
: IFIP International Conference on Theoretical Computer Science
: IFIP TCS2000
: --- Exploring New Frontiers of Theoretical Informatics ---
: August 17 - 19, 2000
: Tohoku University, Sendai, Japan
:
: IFIP TCS2000 is the first International Conference on Theoretical Computer
: Science organized by the IFIP TC1 on Foundations of Computer Science. Major
: topics of the conference are follows:
:
: Track (1): Algorithms, Complexity and Models of Computation
:
: analysis and design of algorithms --- algorithm experimentation ---
: continuous algorithms and complexity --- computational complexity ---
: descriptional complexity --- cellular automata and machines, automata
: and formal languages --- hardware algorithms and parallel algorithms
: --- computational learning theory --- algorithmic aspects in discovery
: science --- cryptography --- combinatorics --- probabilistic and
: randomized algorithms --- molecular computing and algorithmic aspects
: of bioinformatics --- quantum computing --- neural network computing
: --- evolutionary and genetic algorithms --- computational geometry ---
: computational and mathematical finance --- bridging complexity and
: semantics.
:
: Track (2): Logic, Semantics, Specification and Verification
:
: logic and semantics for programs and languages --- foundations of
: system specification --- term rewriting systems --- proofs and
: specifications in computer science --- types and category theory in
: computer science --- theoretical aspects of specification and
: verification of hardware and software --- theoretical aspects of
: software concepts --- concurrency theory --- theory of parallel and
: distributed systems --- theory of internet languages and systems ---
: constructive and non-standard logics in computer science ---
: foundations of security --- theoretical foundations of data bases ---
: logic, specification and verification of hybrid and real-time
: systems --- theoretical foundations of open systems --- bridging
: semantics and complexity.
:
: Submissions on the above topics and related topics are invited. Submitted
: papers should preferably be typeset in LaTeX2e using the Springer document
: class llncs for the LNCS format, see
: http://www.springer.de/comp/lncs/authors.html
: (the command \pagestyle{plain} turns on page numbering), and no longer than
: 14 pages. They should be sent in Postscript by email to one of the
: following addresses by January 28 (Friday), 2000:
:
: for Track (1), tcs2000-track1(a)is.s.u-tokyo.ac.jp;
: for Track (2), tcs2000-track2(a)is.s.u-tokyo.ac.jp.
:
: A submission should include the track name for the submission, the title of
: the paper, names and affiliations of authors, an abstract up to 300 words,
: and the contact author's name, address, phone number, fax number, and email
: address. The submission must be in English, and it should provide a summary
: of the main results and their details to allow the program committee to
: assess their merits and significance, including references and comparisons.
: The result of the paper must be unpublished and not submitted for
: publication elsewhere, including journals and the proceedings of other
: symposia or workshops. One author of each accepted paper should be able to
: present it at the conference.
:
: Important Dates:
:
: January 28, 2000: Deadline for submission of papers
: April 7, 2000: Notification of acceptance
: May 5, 2000: Final camera-ready text due
:
: See http://hagi.is.s.u-tokyo.ac.jp/tcs2000/ for further information about the
: submission procedure.
:
: The program will consist of:
:
: Plenary Invited Talks
: Mart\'in Abadi (Bell Labs, Lucent Technologies)
: Masami Hagiya (U. Tokyo)
: Madhu Sudan (MIT)
:
: Track (1) Invited Talks
: Ernst Mayr (TU Muenchen)
: Shu Tezuka (IBM Tokyo Research Lab)
: Mihalis Yannakakis (AT\&T Research)
:
: Track (2) Invited Talks
: Thomas Henzinger (UC Berkeley & MPI-Saarbrucken)
: Naoki Kobayashi (U. Tokyo)
: Gordon Plotkin (U. Edinburgh)
:
: Banquet Speech
: Michael O. Rabin (Harvard U.)
:
: as well as the selected contributed talks and a panel discussion.
:
: The Proceedings, published as a volume of Lecture Notes in Computer
: Science, Springer-Verlag, will be available at the conference. See
: http://tcs2000.ito.ecei.tohoku.ac.jp/tcs2000/ for general information
: about the IFIP TCS2000 Conference.
:
: Program Committee Co-Chairs
: Track (1): Algorithms, Complexity and Models of Computation
: Jan van Leeuwen (U. Utrecht)
: Osamu Watanabe (Tokyo Inst. of Technology)
: Track (2): Logic, Semantics, Specification, and Verification
: Masami Hagiya (U. Tokyo)
: Peter D. Mosses (U. Aarhus)
:
: Program Committee
: Track (1): Ricardo Baeza-Yates (U. Chile), Siu-Wing Cheng (Hong Kong UST),
: Felipe Cucker (City U. Hong Kong),
: Rosario Gennaro (IBM T.J. Watson Research),
: Alan Gibbons (U. Liverpool), Andrew V. Goldberg (InterTrust STAR Lab, USA),
: Ernst Mayr (TU Muenchen), Hiroshi Nagamochi (Kyoto U.),
: Kouichi Sakurai (Kyushu U.), Paul Vitanyi (CWI, Amsterdam),
: Jiri Wiedermann (Academy of Sciences, Prague), Takashi Yokomori (Waseda U.)
: Track (2): Samson Abramsky (U. Edinburgh), Egidio Astesiano (U. Genova),
: Luca Cardelli (Microsoft, Cambridge), Robert Constable (Cornell U.),
: Javier Esparza (TU Muenchen), Naoki Kobayashi (U. Tokyo),
: Jos\'e Meseguer (SRI, Menlo Park), Benjamin Pierce (U. Pennsylvania),
: Davide Sangiorgi (INRIA, Sophia Antipolis), John Staples (U. Queensland),
: Andrzej Tarlecki (Warsaw U.),
: P. S. Thiagarajan (Chennai Math. Inst., India),
: Kazunori Ueda (Waseda U.), Naoki Yonezaki (Tokyo Inst. Tech.)
:
: Conference Co-Chairs
: Giorgio Ausiello (IFIP TC1 Chair and U. Roma "La Sapienza")
: Takayasu Ito (Tohoku U.)
:
: Steering Committee
: Giorgio Ausiello (U. Roma) <chair>, Wilfried Brauer (TU Muenchen),
: Takayasu Ito (Tohoku U.), Michael O. Rabin (Harvard U.),
: John Staples (U. Queensland), Joseph Traub (Columbia U.)
:
: Organizing Committee Co-Chairs
: Setsuo Arikawa (Kyushu U.), Yasuyoshi Inagaki (Nagoya U.),
: Takayasu Ito (Tohoku U.)
:
: The IFIP TCS2000 conference is organized by the IFIP TC1 on Foundations of
: Computer Science in cooperation with Information Processing Society of Japan,
: Japan Society of Software Science and Technology, Institute of Electronics,
: Information and Communication Engineers in Japan*, European Association of
: Theoretical Computer Science, Association of Symbolic Logic, and Association
: for Computing Machinery-SIGACT. (* indicates "to be verified".)
:
: E-mail address for any inquiry: TCS2000(a)ito.ecei.tohoku.ac.jp
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [hra(a)cs.uga.edu (Hamid Arabnia)] sent originally on Mon, 8 Nov 1999 14:33:05 -0500 (EST):
: Dear Colleagues:
:
: I would be most grateful if you could distribute the appended
: Call For Papers (for the three conferences - the CFPs are separated
: with a row of stars, "*") to your colleagues who might be
: interested. This will be a major international gathering in year
: 2000. Any help in distributing this announcement would be
: most appreciated.
:
: 1. The 2000 International Conference on Parallel and Distributed
: Processing Techniques and Applications (PDPTA'2000),
: June 26 - 29, 2000, Monte Carlo Resort, Las Vegas, Nevada, USA.
:
: 2. The 2000 International Conference on Imaging Science, Systems,
: and Technology (CISST'2000),
: June 26 - 29, 2000, Monte Carlo Resort, Las Vegas, Nevada, USA.
:
: 3. The 2000 International Conference on Artificial Intelligence
: (IC-AI'2000),
: June 26 - 29, 2000, Monte Carlo Resort, Las Vegas, Nevada, USA.
:
: The above three conferences will be held simultaneously (same location
: and dates). Other conferences will also be added to the above list.
: Those interested in organizing technical sessions for any of the
: above three conferences need to submit a proposal to hra(a)cs.uga.edu
: (see below for submission guideline.) The names of session
: organizers will appear as Associate Editors on the cover of the
: conference proceedings. Those who would like to become a member of
: the Program Committee for any of the above conferences are requested
: to email their short biography to hra(a)cs.uga.edu.
:
: Deadlines:
: February 28, 2000 (Monday): Draft papers (about 4 pages) due
: April 3, 2000 (Monday): Notification of acceptance
: May 1, 2000 (Monday): Camera-Ready papers & Prereg. due
: June 26 - 29, 2000: PDPTA + CISST + IC-AI Conferences
:
: Kindest regards,
: Hamid R. Arabnia
: ps. If you have no interest in these conferences and would like your
: email address be removed from the conference email lists, then
: please send me a note so that I could have your email removed.
:
: ***********************************************************************
:
: C A L L F O R P A P E R S
: =============================
:
: The 2000 International Conference on Parallel and Distributed
: Processing Techniques and Applications
: (PDPTA'2000)
:
: June 26 - 29, 2000
: Monte Carlo Resort, Las Vegas, Nevada, USA
:
: The 2000 International Conference on Parallel and Distributed Processing
: Techniques and Applications (PDPTA'2000) will be held in Las Vegas, Nevada,
: June 26 - 29, 2000.
: The PDPTA'2000 Conference will be held simultaneously (ie, same location
: and dates) with The International Conference on Imaging Science, Systems,
: and technology (CISST) and The International Conference on Artificial
: Intelligence (IC-AI).
:
: The last conference (PDPTA'99) had research contributions from 44
: countries (750 participants from all over the world.) It is hoped that
: PDPTA'2000 will also have a strong international flavor. For information
: regarding the five most recent PDPTA conferences (PDPTA'95, PDPTA'96,
: PDPTA'97, PDPTA'98, & PDPTA'99), refer to:
: http://www.cps.udayton.edu/~pan/pdpta
: (there will soon be a link from the same web site for PDPTA'2000.)
:
: You are invited to submit a draft paper of about 4 pages and/or a
: proposal to organize a technical session (see below for submission
: information). All accepted papers will be published in the conference
: proceedings.
:
: THE NAMES OF TECHNICAL SESSION CHAIRS WILL APPEAR AS ASSOCIATE EDITORS
: ON THE COVER OF THE CONFERENCE PROCEEDINGS.
:
: SCOPE: Topics of interest include, but are not limited to, the following:
:
: O Parallel/Distributed applications:
: Numerical computations/methods, neural networks and fuzzy
: logic, medicine, remote sensing, GIS, computer vision,
: computer graphics and virtual reality, parallel/distributed
: databases, banking, financial markets, ...
:
: O Parallel/Distributed architectures:
: Clusters and parallel systems of various topologies,
: supercomputers, shared memory, distributed memory,
: general- and special-purpose architectures,
: instructional level parallelism, ...
:
: O Building block processors:
: Applications of processors that can be used as basic building
: blocks for multicomputer systems.
:
: O Networks and Interconnection networks:
: Scalable networks, Reconfigurable networks, routing issues,
: general-purpose network performance for distributed
: applications, network protocols, ATM-based systems, internet
: technology, Optical interconnections and computing, ...
:
: O Reliability and fault-tolerance:
: Software and hardware fault-tolerance (system- and
: application-level), fault diagnosis, fault-tolerance
: measurement.
:
: O Performance analysis, evaluation, prediction, ...
:
: O Real-time and embedded systems:
: Small-scale parallel systems for high-performance control,
: data acquisition, and analysis; configuration, routing,
: scheduling, performance guarantees.
:
: O Parallel/Distributed algorithms:
: Algorithms exploiting clusters and general-purpose
: distributed and parallel systems, new vector/pipeline issues,
: shared memory, distributed memory, virtual memory, ...
:
: O Mobile computation and communication.
:
: O Object Oriented Technology and related issues.
:
: O Multimedia Communications, Systems, and Applications:
: High-speed networking, multimedia architectures and protocols,
: multimedia applications, quality of service support,
: operating system and networking support, internet tools and
: applications, audio/video delivery over the internet, ...
:
: O Software tools and environments for parallel and distributed
: platforms: Operating systems, compilers, languages,
: debuggers, monitoring tools, software engineering on parallel/
: distributed systems, ...
:
: O High-performance computing in Computational Science:
: Intra-disciplinary and multi-disciplinary research programs
: and applications.
:
: O Information and data fusion.
:
: O Web-based simulation and computing.
:
: O Education: parallel and distributed processing in computer
: science curriculum (both graduate and undergraduate levels.)
:
: O Recent history (1990-1999) of parallel/distributed processing
: and what to expect during the next decade (2000-2009) if history
: repeats itself; New horizons.
:
: O Other aspects and applications relating to high-performance
: computations.
:
: SUBMISSION OF PAPERS:
:
: Prospective authors are invited to submit three copies of their
: draft paper (about 4 pages) to H. R. Arabnia (address is given
: below) by the due date. E-mail and Fax submissions are also
: acceptable. The length of the Camera-Ready papers (if accepted)
: will be limited to 7 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, and Fax number for each author. The first
: page should also include the name of the author who will be
: presenting the paper (if accepted) and a maximum of 5 keywords.
:
: PROPOSAL FOR ORGANIZING TECHNICAL SESSIONS:
:
: Each technical session will have at least 6 paper presentations.
: 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 below);
: E-mail submissions are preferred.
:
: 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). It will be a multivolume set. The proceedings will
: be available at the conference. Some accepted papers will also
: be considered for journal publication (soon after the conference).
:
:
: ORGANIZERS/SPONSORS:
:
: A number of university faculty members and their staff
: in cooperation with the Monte Carlo Resort (Conference Division,
: Las Vegas ), will be organizing the conference. The conference
: will be sponsored by Computer Science Research, Education, &
: Applications Press (CSREA: USA Federal EIN # 58-2171953)
: in cooperation with research centers, international associations,
: international research groups, and developers of high-performance
: machines and systems. The complete list of sponsors and co-sponsors
: will be available at a later time.
: (Last conference's 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 Digitial Signal Processing Inc.,
: the Computer Vision Research and Applications Tech., ...)
:
: LOCATION OF CONFERENCE:
:
: The conference will be held in the Monte Carlo Resort
: hotel, Las Vegas, Nevada, USA. This is a mega hotel
: with excellent conference facilities and over 3000 rooms.
: The hotel is minutes from the Las Vegas airport with free
: shuttles to and from the airport. This hotel has many
: vacation and recreational attractions, including:
: waterfalls, casino, 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 and most are suitable for families and children.
: The negotiated hotel's room rate for conference attendees
: is very reasonable (79USD + tax) per night (no extra charge
: for double occupancy) for the duration of the conference.
:
: The hotel is within walking distance from most other
: Las Vegas attractions (major shopping areas, recreational
: destinations, fine dining and night clubs, free street
: shows, ...).
: For the benefit of our international colleagues: the state of
: Nevada neighbors with the states of California, Oregon, Idaho,
: Utah, and Arizona. Las Vegas is only a few driving hours away
: from other major cities, including: Los Angeles, San Diego,
: Phoenix, Grand Canyon, ...
:
: EXHIBITION:
:
: An exhibition is planned for the duration of the conference.
: We have reserved 20+ exhibit spaces. Interested parties
: should contact H. R. Arabnia (address is given below).
: All exhibitors will be considered to be the co-sponsors
: of the conference.
:
: IMPORTANT DATES:
:
: February 28, 2000 (Monday): Draft papers (about 4 pages) due
: April 3, 2000 (Monday): Notification of acceptance
: May 1, 2000 (Monday): Camera-Ready papers & Prereg. due
: June 26 - 29, 2000: PDPTA'2000 Conference
:
: Proposals to organize technical sessions should be submitted as
: soon as possible.
: All accepted papers are expected to be presented at the conference.
:
: MEMBERS OF PROGRAM & ORGANIZING COMMITTEES:
:
: The Program Committee 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.
:
: OTHER INFORMATION:
:
: It is planned to add other related conferences to be held
: simultaneously (same location and dates) creating an international
: multiconference. Each conference will have it's own proceedings
: and technical/research sessions.
:
: CONFERENCE CONTACT:
:
: Hamid R. Arabnia
: 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
:
: (A link to PDPTA'2000 web site will soon be available from:
: http://www.cps.udayton.edu/~pan/pdpta)
:
: ***********************************************************************
:
: C A L L F O R P A P E R S
: =============================
:
: The 2000 International Conference on Imaging Science,
: Systems, and Technology
: (CISST'2000)
:
: June 26 - 29, 2000
: Monte Carlo Resort, Las Vegas, Nevada, USA
:
: The 2000 International Conference on Imaging Science, Systems, and
: Technology (CISST'2000) will be held in Las Vegas, Nevada, June 26 - 29,
: 2000. All aspects of image processing, graphics, and pattern
: recognition are included in CISST. The CISST'2000 Conference
: will be held simultaneously (ie, same location and dates) with The
: International Conference on Parallel and Distributed Processing
: Techniques and Applications (PDPTA) and The International Conference
: on Artificial Intelligence (IC-AI) -
: (a link for CISST'2000 will soon be available from the PDPTA's site:
: http://www.cps.udayton.edu/~pan/pdpta).
:
: You are invited to submit a draft paper of about 4 pages and/or a
: proposal to organize a technical session (see below for submission
: information). All accepted papers will be published in the conference
: proceedings.
:
: THE NAMES OF TECHNICAL SESSION CHAIRS WILL APPEAR AS ASSOCIATE EDITORS
: ON THE COVER OF THE CONFERENCE PROCEEDINGS.
:
: SCOPE: Topics of interest include, but are not limited to, the following:
:
: 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
: O Image compression, coding, and encryption
: O Tools for multimedia production and services
: O Digital imaging for film and television
: O Visualization
: O 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 (including
: parallel architectures and algorithms)
: 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 (or machine vision),
: nondestructive evaluation (or NDE), ...
: O Multi-resolution and multi-spectral image processing
: O Image sequence processing
: O Information fusion
: O Other aspects and applications relating to imaging science
:
: SUBMISSION OF PAPERS:
:
: Prospective authors are invited to submit three copies of their
: draft paper (about 4 pages) to H. R. Arabnia (address is given
: below) by the due date. E-mail and Fax submissions are also
: acceptable. The length of the Camera-Ready papers (if accepted)
: will be limited to 7 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, and Fax number for each author. The first
: page should also include the name of the author who will be
: presenting the paper (if accepted) and a maximum of 5 keywords.
:
: PROPOSAL FOR ORGANIZING TECHNICAL SESSIONS:
:
: Each technical session will have at least 6 paper presentations.
: The session chairs will be responsible for all aspects of their
: sessions; including, soliciting papers (recruiting), 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 already known to the
: session proposer.)
: Mail your proposal to H. R. Arabnia (address is given below);
: E-mail submissions are preferred.
:
: 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). The proceedings will be available at the conference.
: Some accepted papers will also be considered for journal
: publication (after the conference.)
:
: ORGANIZERS/SPONSORS:
:
: A number of university faculty members and their staff
: in cooperation with the Monte Carlo Resort (Conference Division,
: Las Vegas ), will be organizing the conference. The conference
: will be sponsored by Computer Science Research, Education, &
: Applications Press (CSREA: USA Federal EIN # 58-2171953)
: in cooperation with research centers, international associations,
: international research groups, and developers of high-performance
: machines and systems. The complete list of sponsors and co-sponsors
: will be available at a later time.
: (Last conference's 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 Digitial Signal Processing Inc.,
: the Computer Vision Research and Applications Tech., ...)
:
: LOCATION OF CONFERENCE:
:
: The conference will be held in the Monte Carlo Resort
: hotel, Las Vegas, Nevada, USA. This is a mega hotel
: with excellent conference facilities and over 3000 rooms.
: The hotel is minutes from the Las Vegas airport with free
: shuttles to and from the airport. This hotel has many
: vacation and recreational attractions, including:
: waterfalls, casino, 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 and most are suitable for families and children.
: The negotiated hotel's room rate for conference attendees
: is very reasonable (79USD + tax) per night (no extra charge
: for double occupancy) for the duration of the conference.
:
: The hotel is within walking distance from most other
: Las Vegas attractions (major shopping areas, recreational
: destinations, fine dining and night clubs, free street
: shows, ...).
: For the benefit of our international colleagues: the state of
: Nevada neighbors with the states of California, Oregon, Idaho,
: Utah, and Arizona. Las Vegas is only a few driving hours away
: from other major cities, including: Los Angeles, San Diego,
: Phoenix, Grand Canyon, ...
:
: EXHIBITION:
:
: An exhibition is planned for the duration of the conference.
: We have reserved 20+ exhibit spaces. Interested parties
: should contact H. R. Arabnia (address is given below).
: All exhibitors will be considered to be the co-sponsors
: of the conference.
:
: IMPORTANT DATES:
:
: February 28, 2000 (Monday): Draft papers (about 4 pages) due
: April 3, 2000 (Monday): Notification of acceptance
: May 1, 2000 (Monday): Camera-Ready papers & Prereg. due
: June 26 - 29, 2000: CISST'2000 Conference
:
: Proposals to organize technical sessions should be submitted as
: soon as possible.
: All accepted papers are expected to be presented at the conference.
:
: MEMBERS OF PROGRAM & ORGANIZING COMMITTEES:
:
: The Program Committee 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.
:
: OTHER INFORMATION:
:
: It is planned to add other related conferences to be held
: simultaneously (same location and dates) creating an international
: multiconference. Each conference will have it's own proceedings
: and technical/research sessions.
:
: CONFERENCE CONTACT:
:
: Hamid R. Arabnia
: 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
:
: (A link to CISST'2000 web site will soon be created from:
: http://www.cps.udayton.edu/~pan/pdpta)
:
: ***********************************************************************
:
: C A L L F O R P A P E R S
: =============================
:
: The 2000 International Conference on Artificial Intelligence
: (IC-AI'2000)
:
: June 26 - 29, 2000
: Monte Carlo Resort, Las Vegas, Nevada, USA
:
: The 2000 International Conference on Artificial Intelligence will be
: held in Las Vegas, Nevada, June 26 - 29, 2000.
:
: The IC-AI'2000 will be held simultaneously (same location and dates)
: with The International Conference on Parallel and Distributed Processing
: Techniques and Applications (PDPTA) and The International Conference on
: Imaging Science, Systems, and Technology (CISST).
: (A link to IC-AI'2000 web site will soon be available from:
: http://www.cps.udayton.edu/~pan/pdpta)
:
: You are invited to submit a draft paper of about 4 pages and/or a
: proposal to organize a technical session (see below for submission
: information). All accepted papers will be published in the conference
: proceedings.
:
: THE NAMES OF TECHNICAL SESSION CHAIRS WILL APPEAR AS ASSOCIATE EDITORS
: ON THE COVER OF THE CONFERENCE PROCEEDINGS.
:
: SCOPE: Topics of interest include, but are not limited to, the following:
:
: O. Intelligent Information Systems
: O. Intelligent Software Engineering
: O. Intelligent Agents
: O. Intelligent Networks
: O. Intelligent Databases
: O. Brain Models
: O. Evolutionary Algorithms
: O. Data mining
: O. Machine Learning
: O. Reasoning Strategies
: O. Automated Problem Solving
: O. Distributed AI Algorithms and Techniques
: O. Distributed AI Systems and Architectures
: O. Expert Systems
: O. Fuzzy Logic
: O. Genetic Algorithms
: O. Heuristic Searching
: O. Knowledge Acquisition
: O. Knowledge Discovery
: O. Knowledge 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 Fusion
: O. Learning and Adaptive Sensor Fusion
: O. Multisensor Data Fusion Using Neural and Fuzzy Techniques
: O. Integration of AI with other Technologies
: O. Evaluation of AI Tools
: O. Evolutionary Computation
: O. Social Impact of AI
: O. Applications - Computer Vision
: O. Applications - Signal Processing
: O. Applications - Military
: O. Applications - Surveillance
: O. Applications - Robotics
: O. Applications - Medicine
: O. Applications - Pattern Recognition
: O. Applications - Face Recognition
: O. Applications - Finger Print Recognition
: O. Applications - Finance and Marketing
: O. Applications - Stock Market
: O. Applications - Education
: O. Emerging Applications
:
: SUBMISSION OF PAPERS:
:
: Prospective authors are invited to submit three copies of their
: draft paper (about 4 pages) to H. R. Arabnia (address is given
: below) by the due date. E-mail and Fax submissions are also
: acceptable. The length of the Camera-Ready papers (if accepted)
: will be limited to 7 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, and Fax number for each author. The first
: page should also include the name of the author who will be
: presenting the paper (if accepted) and a maximum of 5 keywords.
:
: PROPOSAL FOR ORGANIZING TECHNICAL SESSIONS:
:
: Each technical session will have at least 6 paper presentations.
: 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 below);
: E-mail submissions are preferred.
:
: 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). The proceedings will be available at the conference.
: Some accepted papers will also be considered for journal
: publication (soon after the conference).
:
:
: ORGANIZERS/SPONSORS:
:
: A number of university faculty members and their staff
: in cooperation with the Monte Carlo Resort (Conference Division,
: Las Vegas ), will be organizing the conference. The conference
: will be sponsored by Computer Science Research, Education, &
: Applications Press (CSREA: USA Federal EIN # 58-2171953)
: in cooperation with research centers, international associations,
: international research groups, and developers of high-performance
: machines and systems. The complete list of sponsors and co-sponsors
: will be available at a later time.
: (Last conference's 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 Digitial Signal Processing Inc.,
: the Computer Vision Research and Applications Tech., ...)
:
: LOCATION OF CONFERENCE:
:
: The conference will be held in the Monte Carlo Resort
: hotel, Las Vegas, Nevada, USA. This is a mega hotel
: with excellent conference facilities and over 3000 rooms.
: The hotel is minutes from the Las Vegas airport with free
: shuttles to and from the airport. This hotel has many
: vacation and recreational attractions, including:
: waterfalls, casino, 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 and most are suitable for families and children.
: The negotiated hotel's room rate for conference attendees
: is very reasonable (79USD + tax) per night (no extra charge
: for double occupancy) for the duration of the conference.
:
: The hotel is within walking distance from most other
: Las Vegas attractions (major shopping areas, recreational
: destinations, fine dining and night clubs, free street
: shows, ...).
: For the benefit of our international colleagues: the state of
: Nevada neighbors with the states of California, Oregon, Idaho,
: Utah, and Arizona. Las Vegas is only a few driving hours away
: from other major cities, including: Los Angeles, San Diego,
: Phoenix, Grand Canyon, ...
:
: EXHIBITION:
:
: An exhibition is planned for the duration of the conference.
: We have reserved 20+ exhibit spaces. Interested parties
: should contact H. R. Arabnia (address is given below).
: All exhibitors will be considered to be the co-sponsors
: of the conference.
:
: IMPORTANT DATES:
:
: February 28, 2000 (Monday): Draft papers (about 4 pages) due
: April 3, 2000 (Monday): Notification of acceptance
: May 1, 2000 (Monday): Camera-Ready papers & Prereg. due
: June 26 - 29, 2000: IC-AI'2000 Conference
:
: Proposals to organize technical sessions should be submitted as
: soon as possible.
: All accepted papers are expected to be presented at the conference.
:
: MEMBERS OF PROGRAM & ORGANIZING COMMITTEES:
:
: The Program Committee 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.
:
: OTHER INFORMATION:
:
: It is planned to add other related conferences to be held
: simultaneously (same location and dates) creating an international
: multiconference. Each conference will have it's own proceedings
: and technical/research sessions.
:
: CONFERENCE CONTACT:
:
: Hamid R. Arabnia
: 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
:
: (A link to IC-AI'2000 web site will soon be available from:
: http://www.cps.udayton.edu/~pan/pdpta)
:
: ***********************************************************************
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [ryap(a)comp.nus.edu.sg (Roland Yap Hock Chuan)] sent originally on Sun, 31 Oct 1999 01:32:13 +0800 (GMT-8):
: [We apologize if you receive this multiple times. Please redistribute
: appropriately to interested parties.]
:
: Call for Participation
: ASIAN'99
:
: Asian Computing Science Conference
: Phuket, Thailand, December 10-12, 1999
:
: Conference Web Page: http://www.cs.ait.ac.th/ASIAN99
: (Mirror: http://www.comp.nus.edu.sg/~asian99)
:
: The fifth Asian Computing Science Conference, ASIAN'99, will be held in
: Prince of Songkhla University (Phuket Campus), Phuket, Thailand,
: on December 10-12, 1999.
:
: The series of annual Asian Computing Science Conferences (ASIAN) was
: initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for
: researchers in computer science from the Asian region and to promote
: interaction with researchers from other regions. The first four
: conferences have been held, respectively, in Bangkok, Singapore,
: Katmandu and Manila. In addition to support from the host countries,
: they have also been sponsored by INRIA, France, UNU/IIST, Macau and
: NUS, Singapore. The proceedings have been published as Lecture Notes
: in Computer Science, Springer-Verlag.
:
: The 1999 conference will continue to emphasize the conceptual areas of
: Computer Science. The following themes represent the areas of focus
: for this year:
: * Embedded and Real-Time Systems
: * Formal Reasoning and Verification
: * Distributed and Mobile Computing
:
: Keynote and Invited Speakers:
: -----------------------------
:
: The keynote speaker at ASIAN'99 will be Amir Pnueli (Weizmann Institute,
: Israel). The invited speakers are: Nicolas Halbwachs (VERIMAG, CNRS, France)
: and Krishna Palem (Courant Institute, New York University, USA).
:
: Conference Web Page:
: --------------------
: More information can be found on the conference web page:
: http://www.cs.ait.ac.th/ASIAN99
: A mirror of the above page is also available at
: http://www.comp.nus.edu.sg/~asian99
:
: Post-Conference Activities:
: ------------------------------------
: The 11th Asian School on Computer Science, organized by AIT and INRIA,
: will be in Phuket after ASIAN'99. The Asian School will offer an
: intensive course entitled:
: Automata, Circuit Design and Verification.
:
: The course which will be taught by Jean Vuillemin (Ecole Normale
: Superieure), Gerard Berry (Ecole des Mines de Paris & INRIA) and
: Nicolas Halbwachs (Verimag, CNRS). For more details, see the following URL
: http://www.cs.ait.ac.th/Workshop/ASCS99
:
: Registration:
: -------------
: Conference registration is to be made online from the conference webpage.
: Registration fees in US Dollars are:
: Early (by Nov 15) Late/On-site
: Non-Student $300 $400
: Student $200 $250
:
: Accommodation:
: -------------
: Hotel reservations can be booked through Asian Premier Holidays,
: fax: +66 (0)76 246 270 or 246 271. This should be done as early
: as possible. See the webpage for the form and details.
:
: Sponsors:
: ---------
: Asian Inst. of Technology (AIT)
: Inst. National de Recherche en Informatique et en Automatique (INRIA)
: United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST)
: National University of Singapore (NUS)
: Thailand Network Information Center (THNIC)
:
: Program Co-Chairs:
: ------------------
: P.S. Thiagarajan Roland H.C. Yap
: Chennai Mathematical Institute School of Computing
: 92 G.N.Chetty Road National University of Singapore
: T.Nagar Chennai 600 017 Lower Kent Ridge Road
: India Singapore 119260
: Republic of Singapore
:
: E-Mail : pst(a)smi.ernet.in E-Mail: ryap(a)comp.nus.edu.sg
: Telephone: +91-44-828 4232 Telephone: +65 874-2972
: Fax: +91-44-825 0573 Fax: +65 779-4580
:
: ASIAN'9x Steering Committee:
: ----------------------------
: Shigeki Goto (Waseda U., Japan) Jean-Jacques Levy (INRIA, France)
: Joxan Jaffar (NUS, Singapore) R.K. Shyamasundar (TIFR Bombay, India)
: Gilles Kahn (INRIA, France) Kazunori Ueda (Waseda U., Japan)
: Kanchana Kanchanasut (AIT, Thailand) Zhou Chaochen (UNU/IIST, Macau)
:
: Program Committee:
: ------------------
: Gerard Berry (ENSMP & INRIA, France)
: Phan Min Dung (AIT, Thailand)
: Cedric Fournet (Microsoft Research, UK)
: Kokichi Futatsugi (JAIST, Japan)
: Shigeki Goto (Waseda U., Japan)
: Dang Van Hung (UNU/IIST, Macau)
: Vinod Kathail (HP, USA)
: Michael Lyu (CUHK, Hong Kong)
: Yen-Jen Oyang (NTU, Taiwan)
: Frank Pfenning (CMU, USA)
: Sanjiva Prasad (IIT, Delhi, India)
: Abdul Sattar (Griffith U., Australia)
: R.K. Shyamasundar (TIFR Bombay, India)
: Aravind Srinivasan (Bell Labs, USA)
: Peter Stuckey (U. of Melbourne, Australia)
: P.S. Thiagarajan (co-chair) (CMI, India)
: Farn Wang (IIS, Academia Sinica, Taiwan)
: Limsoon Wong (KRDL, Singapore)
: Roland Yap (co-chair) (NUS, Singapore)
:
: General Chair:
: --------------
: Kanchana Kanchanasut, Asian Institute of Technology, Thailand
: E-Mail: Kanchana.Kanchanasut(a)ait.ac.th
:
: Local Chair:
: ------------
: Rattana Wetprasit (Prince of Sonkhla University, Thailand)
: E-Mail: rattana(a)ratree.psu.ac.th
:
: ==========================================================================
:
: ASIAN'99
: Asian Computing Science Conference
: Phuket, Thailand, December 10 - 12, 1999
:
: Preliminary Program
:
: ==========================================================================
: Friday, December 10, 1999
: ==========================================================================
:
: 8.00 - 8.45 Registration
: 8.45 - 9.00 Inaugural Session
: --------------------------------------------
: 9.00 -10.00 Keynote Talk: Amir Pnueli
: --------------------------------------------
: (Details to be announced)
:
: --------------------------------------------
: 10.00-10.30 Tea/Coffee Break
: --------------------------------------------
: 10.30-12.20 Session 1: Temporal Logic
: --------------------------------------------
: Relating May and Must Testing Semantics for Discrete
: Timed Process Algebras,
: Luis Fernando Llana Diaz and David de Frutos Escrig
:
: An Expressive Extension of TLC,
: Jesper G. Henriksen
:
: Completeness and Decidability of a Fragment of Duration Calculus
: with Iteration
: Dang Van Hung and Dimitar P. Guelev
:
: Faster Model Checking for Open Systems
: Madhavan Mukund, K Narayan Kumar, Scott A. Smolka
:
: --------------------------------------------
: 12.20-14.00 Lunch
: --------------------------------------------
: 14.00-15.50 Session 2: Logic
: --------------------------------------------
: Structural sharing and efficient proof search in propositional
: intuitionistic logic
: D. Galmiche, D. Larchey-Wendling
:
: Lemma Generalization and Non-Unit Lemma Matching for
: Model Elimination
: Koji Iwanuma, Kenichi Kishino
:
: A CPS-transform of the Constructive Classical Logic
: Ichiro Ogata
:
: On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures
: Anil Seth
: --------------------------------------------
: 15.50-16.10 Tea/Coffee Break
: --------------------------------------------
: 16.10-17.30 Session 3: Mobility
: --------------------------------------------
: The game of the name in cryptographic tables
: Roberto M. Amadio, Sanjiva Prasad
:
: Transactional Cache Management with Aperiodic Invalidation Scheme
: in Mobile Environments
: IlYoung Chung, Chong-Sun Hwang
:
: Programming the Mobility Behaviour of Agents by
: Composing Itineraries
: Seng Wai Loke, Heinz Schmidt, and Arkady Zaslavsky
:
: ==========================================================================
: Saturday, December 11, 1999
: ==========================================================================
:
: --------------------------------------------
: 9.00 -10.00 Invited Talk: Nicolas Halbwachs
: --------------------------------------------
: Validation of Synchronous Reactive Systems:
: From Formal Verification to Automatic Testing
:
: --------------------------------------------
: 10.00-10.30 Tea/Coffee Break
: --------------------------------------------
: 10.30-12.20 Session 4: Verification
: --------------------------------------------
: A Framework for Formal Reasoning about Open Distributed Systems
: L. Fredlund and D. Gurov
:
: Verifying probabilistic programs using a Hoare like logic
: J.I. den Hartog
:
: Demand-Driven Model Checking for Context-Free Processes
: Jens Knoop
:
: Formal Verification of the MCS List-based Queuing Lock
: Kazuhiro Ogata and Kokichi Futatsugi
: --------------------------------------------
: 12.20-14.00 Lunch
: --------------------------------------------
: 14.00-15.20 Session 5: Programming Languages/Logic Programming
: --------------------------------------------
: Entailment of Non-Structural Subtype Constraints
: Joachim Niehren, Tim Priesnitz
:
: Beyond Tamaki-Sato Style Unfold/Fold Transformations for
: Normal Logic Programs
: Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan,
: I.V. Ramakrishnan
:
: An Argumentation Approach to Semantics of Declarative Programs
: with Defeasible Inheritance
: Ekawit Nantajeewarawat, Vilas Wuwongse
:
: --------------------------------------------
: 15.20-15.50 Tea/Coffee Break
: --------------------------------------------
: 16.00-16.55 Session 6: General
: --------------------------------------------
: On Automating Inductive and Non-Inductive Termination Methods
: Fairouz Kamareddine and Francois Monin
:
: Asynchronous links in the PBC and M-nets
: Hanna Klaudel, Franck Pommereau
:
: --------------------------------------------
: 17.00-18.50 Poster Presentation and Tea/Coffee break
: --------------------------------------------
: 19.00 Leave for Conference Banquet from Conference Site
: --------------------------------------------
: 19.30 Conference Banquet
:
: ==========================================================================
: Sunday, December 12, 1999
: ==========================================================================
:
: --------------------------------------------
: 9.00-10.00 Invited Talk: Krishna Palem
: --------------------------------------------
: Emerging Application Domains and the Computing Fabric
:
: --------------------------------------------
: 10.00-10.30 Tea/Coffee Break
: --------------------------------------------
: 10.30-12.20 Session 7: Hardware
: --------------------------------------------
: Rapid Prototyping Techniques for Fuzzy Controllers
: Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha
:
: Observable Sharing for Functional Circuit Description
: Koen Claessen, David Sands
:
: Formal Verification of Descriptions with Distinct Order of
: Memory Operations
: G. Ritter, H. Hinrichsen, and H. Eveking
:
: Logical Relations in Circuit Verification
: Mia Indrika
:
: --------------------------------------------
: 12.20-14.00 Lunch
: --------------------------------------------
: 14.00-15.50 Session 8: Hardware & Algorithms
: --------------------------------------------
: BDD-nodes can be more expressive
: Frank Reffel
:
: Separators are as Simple as Cutsets
: Hong Shen
:
: Ant Colony System for the Ship-berthing Problem
: Chia Jim Tong, Andrew Lim
:
: A Parallel Approximation Algorithm for the Max Cut Problem
: on Cubic Graphs
: Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis,
: Rossella Petreschi
:
: --------------------------------------------
: 16.00 Excursion: Evening Cruise
: --------------------------------------------
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [denecker(a)cs.uky.edu (Marc Denecker)] sent originally on Fri, 5 Nov 1999 10:03:22 -0500:
: Apologies for multiple copies.
:
: ******************************************************************
:
: CALL FOR PAPERS
:
: ******************************************************************
:
: NMR 2000
:
: Special session on ABDUCTIVE REASONING
:
: ******************************************************************
:
: Over the last two decades several studies have shown how abductive
: reasoning can be used to address a variety of problems. These problems
: include updates in databases, belief revision, planning,
: diagnosis, natural language understanding, default reasoning, user
: modeling and, more generally, problems requiring reasoning with
: incomplete information. Despite this wide range of potential
: applications of abduction, there has been relatively little work
: on showing how abduction can provide an effective computational model
: for practical problems. The field lacks coherent methodological
: guidelines and general-purpose, working systems, that could be
: employed for this variety of problems, and real-life applications.
:
: For this reason, NMR 2000, the 8th workshop in the NMR series,
: includes a special one-day session devoted to abductive reasoning. Its
: main purpose would be to evaluate the role of abduction in
: applications and to try to address the question of what general
: methodologies or "engineering/programming/modeling" principles are
: appropriate for the development of abductive applications.
:
: We are seeking papers on the theory and practice of abductive reasoning.
: Emphasis will be given on recent and novel applications and systems
: of abduction which could help establish its role within AI and
: more generally its role as a computational problem solving paradigm.
: Of particular interest for the session are the following topics:
:
: o role of abduction in Artificial Intelligence,
:
: o proof procedures and systems for abduction,
:
: o methodologies for applications of abduction,
:
: o novel applications of abduction,
:
: The general procedure for submission of the special session is
: identical to the procedure of NMR2000. Informal proceedings containing
: accepted papers and other workshop materials will be distributed at
: the meeting. In addition, they will be published on the web. Format
: requirements for regular submissions are:
:
: 12 double-spaced pages excluding title page and bibliography
: on-line submissions are encouraged (postscript file)
:
: Important dates:
:
: Submission of papers: January 15, 2000
: Acceptance decision by: February 15, 2000
: Camera ready copy due: March 8, 2000
:
: Electronic copies of the papers can be submitted to the organisers of
: the session:
:
: Marc Denecker K.U.Leuven, Belgium (Marc.Denecker(a)cs.kuleuven.ac.be)
: Antonis Kakas University of Cyprus, Cyprus (antonis(a)cs.ucy.ac.cy)
: Francesca Toni, Imperial College (ft(a)doc.ic.ac.uk)
:
: Program Committee:
:
: Marc Denecker
: Thomas Eiter
: Randy Goebel
: Katsumi Inoue
: Antonis Kakas
: Daniele Theseider Dupre
: Francesca Toni
:
: http://www.cs.engr.uky.edu/nmr2000/abduction.html
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [a2000pub(a)iiia.csic.es (Agents 2000 Publicity)] sent originally on Wed, 17 Nov 1999 11:17:52 +0100 (MET):
: ----------------------------------------------------------------------
: REMINDER: WORKSHOPS AT AGENTS '2000
:
: The Program Committee invites proposals for workshops to be held at Agents
: 2000. Workshops are intended to provide opportunities for in-depth
: meetings and informal discussions about particular aspects of agents. The
: topics listed above provide an indication of the types of issues that
: might be addressed by workshops, though other agent-related topics are
: welcome.
:
: Potential Workshop organizers should e-mail the following information to
: the workshops chair, Keith Decker (decker(a)cis.udel.edu), no later than
: December 6th, 1999:
:
: * Title of the proposed workshop
: * Description of the workshop, including a strategy for recruiting
: participants and selecting papers
: * List of workshop organizers
: * The name, address, e-mail address, phone number, and fax number of
: the person to contact
: * Estimated number of participants, and if possible, a list of
: tentatively confirmed attendees
: * A list of previously-organized related workshops organized by any of
: the organizers. This is to help the workshop chair put the workshop
: in context (previous experience with similar workshops is not
: required!)
: * Length (half-day/full-day) and suggested format.
:
: Workshops will be held on June 3 and 4, 2000. All workshops will be either
: half-day or full-day.
:
: The workshop organizers will be responsible for:
:
: * Producing a call-for-participation and distributing it.
: * Selecting workshop participants. A list of participants should be
: submitted to the Agents 2000 Workshop Chair by April 14, 2000.
: * Producing the workshop notes. If camera ready copy of the notes is
: submitted to the Agents 2000 Workshop Chair by April 14, 2000, the
: Agents 2000 Committee will produce copies of the workshop notes for
: workshop participants.
:
: The Agents 2000 Committee will provide meeting places for the workshops
: including nominal refreshments.
:
: NOTE: The workshop participants are required to register for the Agents
: 2000 main conference. Workshop registration will be handled by the Agents
: 2000 Committee along with the main conference registration.
:
: Please send proposals and any questions to the Workshops
:
: Chair:
:
: Keith Decker
: Department of Computer and Information Sciences
: 103 Smith Hall
: University of Delaware
: Newark, DE 19716-2586
: USA
: Phone +1 302-831-1959
: Fax +1 302-831-4091
: Email decker(a)cis.udel.edu
: URL http://www.cis.udel.edu/~decker/
:
: IMPORTANT DATES FOR WORKSHOP ORGANIZERS:
:
: * Submission Deadline for Workshop Proposals, December 6th 1999
: * Notification of acceptance of Workshop Proposals, January 10th 2000
: * Submission of papers to Workshop Organizers, March 17th 2000
: * Submission of camera-ready Workshop Notes, April 14th 2000
: * Workshop dates, June 3-4
:
: -------------------------------------------------------------------
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [hasselbring(a)kub.nl] sent originally on Tue, 16 Nov 1999 13:55:45 +0100 (MET):
: Third International Workshop on Engineering Federated Information
: Systems (EFIS'2000)
:
: Dublin, Ireland
: 12th-14th June 2000
:
: http://www.compapp.dcu.ie/~efis2000/
:
: Call for Papers
: ===============
:
: After two successful International Workshops on Engineering
: Federated Database (EFDBS) and Information Systems (EFIS) in
: Barcelona and Kuehlungsborn, the goal of this third workshop is
: to continue to bring together researchers and practitioners
: interested in various issues in the development of Federated
: Information Systems (FIS). The reports on the previous workshops
: are available in ACM SIGMOD Record 26(4): 54-56, December 1997,
: and 28(3): 9-11, September 1999.
:
: Engineering of Federated Information Systems is a research area
: which addresses the systematic development of interoperation
: solutions for autonomous, heterogeneous systems covering both
: database and non-database information sources. As many examples
: of information systems in application areas such as business,
: finance, environmental science, and medicine show, there is an
: increasing need to make information available through some form
: of network (enterprise network or even the WWW), not only for
: "global" applications, but also for local applications using
: semantically related information.
:
: Both contributions with a strong theoretical and technical
: background are welcome, in addition to contributions focusing on
: domain knowledge and practical experience. Suitable topics
: include (but are not limited to) the areas listed below.
:
: * Analysis, design and implementation of FIS
: * CASE tool support for the development of FIS
: * Software architectures for FIS
: * Metadata management in FIS
: * Managing heterogeneous information sources including semi-structured
: data
: * Experience with middleware platforms for building FIS
: * Technological support for the integration of legacy systems
: * Influence of the application domain on the Design of FIS
: * Component-based engineering of FIS
: * Evaluation of FIS approaches
:
: The selection of presentations is on the basis of submitted
: papers (with a maximum of 10 pages). Please send the PostScript
: or PDF file of your submission to hasselbring(a)kub.nl. Submissions
: in the format of any specific text processing system such as
: MS-Word, Framemaker, or Latex cannot be accepted.
:
: The papers are reviewed for presentation and inclusion in the
: proceedings by the program committee:
:
: S. Conrad (University of Magdeburg, Germany) (co-chair)
: B. Eaglestone (University of Sheffield, UK)
: J. Grimson (Trinity College, Ireland)
: W. Hasselbring (Tilburg University, The Netherlands) (co-chair)
: A. Heuer (University of Rostock, Germany)
: J. Keane (UMIST, UK)
: A. Mester (Materna, Germany)
: A. Ouksel (University of Illinois at Chicago, USA)
: M. Roantree (Dublin City University, Ireland) (co-chair)
: E. Rundensteiner (Worcester Polytechnic Institute, USA)
: G. Saake (University of Magdeburg, Germany)
: F. Saltor (Universitat Politecnica de Catalunya, Catalonia)
: M. Schrefl (University of South Australia, Australia)
: K. Subieta (Institute of Computer Science, Poland)
:
: It is planned to publish the proceedings with a scientific
: publisher and to make it available to the participants at the
: workshop. The authors of the best papers will be invited to
: submit revised versions of their papers to be reviewed for
: publication in the Australian Journal of Information Systems.
:
: Important Dates:
: Deadline for paper submission: 28 January 2000
: Notification of acceptance: 18 March 2000
: Camera-ready copy due: 07 April 2000
: Conference dates: 12-14 June 2000
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [gerald_grant(a)CARLETON.CA (Gerald Grant)] sent originally on Mon, 15 Nov 1999 10:50:14 -0500:
: Managing Telecommunications and Networking Technologies in the 21st
: Century: Issues and Trends
:
: A book to be edited by Dr. Gerald Grant, School of Business, Carleton
: University, Ottawa, Canada
:
: Please consider submitting your recent work dealing with (but not limited
: to) the following topics:
:
: Developments in International Mobile Communications
: Emerging Telecommunications Applications
: Management and Enterprise Requirements for Telecommunications Systems
: User Requirements for Telecommunications Systems
: Telecommunications Regulations
: Transnational and Global Issues in Telecommunications
: Telecommunications Protocols
: Telecommunications Architecture and Standards
: Organizational Role of Telecommunications
: Justifying Telecommunications Project Proposals
: Evaluating Telecommunications Systems
: Network Design and Implementation
: Network Operations and Technical Support
: Wide Area Networks; Metropolitan Area Networks; Local Area Networks
:
: SUBMISSION PROCEDURE
: Researchers and practitioners are invited to submit on or before January
: 15, 2000, a 2-5 page manuscript proposal clearly explaining the mission and
: concerns of the proposed chapter. Authors of accepted proposals will be
: notified by February 1, 2000 about the status of their proposals and sent
: chapter organizational guidelines. Full chapters must be submitted by April
: 1, 2000. All submitted chapters will be reviewed on a blind review basis.
: The book is scheduled to be published by Idea Group
: Publishing in the Fall 2000
:
: Please submit inquiries and submissions to:
:
: Dr Gerald Grant
: School of Business, Carleton University
: 1125 Colonel By Drive
: Ottawa, Ontario K1S 5B6, Canada
: Telephone: (613)520-2600 Ext. 8006
: Fax: (613)520-4427
: E-mail: gerald_grant(a)carleton.ca
:
: ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ
: Gerald Grant, Ph.D
: Assistant Professor - Information Systems
: School of Business
: Carleton University
: 1125 Colonel By Drive
: Ottawa, Ontario K1S 5B6, Canada
: Tel: (613) 520 2600 Ext. 8006
: Fax: (613) 520 4427
: Email: gerald_grant(a)carleton.ca
: or geraldgrant(a)sprint.ca
:
: ÿÿStart of ISWorld List Footer ÿÿ
: Moving? Want to subscribe/unsubscribe? Find an old posting?
: See: http://isds.bus.lsu.edu/cvoc/isworld/
: If you do not find the answer contact gabe(a)isds.bus.lsu.edu
: ÿÿEnd of ISWorld List Footer ÿÿ
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html
Forwarded message from [roehm(a)wi-inf.uni-essen.de] sent originally on Mon, 15 Nov 1999 15:23:16 +0100 (MET):
: Please apologize if you receive this more than once.
: ----------------------------------------------------------------------------
: ----
:
: First International Conference on
: Electronic Commerce and Web Technologies
: EC-Web 2000
:
: September 4-6, 2000
: Greenwich, U.K.
: http://www.dexa.org/ecweb
:
: (To be held in parallel with DEXA'00 (11th International Conference on
: Database and Expert Systems Applications).
:
: Outline:
: --------
: The growth of the Internet has dramatically changed the way in which web
: data is managed, accessed and used commercially to conduct business
: electronically. Thus, WWW, a distributed global information resource, is not
: only important to individual users, but to business organizations. Today, a
: large number of companies, organizations, and customers are exploiting the
: opportunities offered by Internet-based electronic commerce solutions and
: many more are expected to follow. Companies have put their databases and
: product catalogues on the Web, search engines allow electronic market
: participants around the globe to locate potential trading partners, and a
: set of different protocols are established to exchange goods and services by
: using different business models and following different strategies. There is
: a diagnostic need for effective tools for information consumers, who must be
: able to easily locate in the web interested information from unstructured
: documents and pictures to structured, record oriented data. The effective
: and efficient access to the web information to support e-commerce activities
: has become a critical research area. This has led to the development of new
: e-commerce tools and technology, web data models and query languages, web
: site management system, auction and negotiation issues etc. The management
: of Web data is receiving a new set of challenges with the advent of XML and
: other standards.
:
: The main objective of this conference is to bring together researchers from
: different disciplines, developers, and users all interested in electronic
: commerce and web technologies and to assess current methodologies and new
: research directions. Although a natural focus will be on computer science
: issues, we expressly welcome technical research contributions from
: economics,
: business, law, and other relevant disciplines. The conference will be
: organized
: as a two track conference: E-commerce and Web Technologies. The major topics
: of
: interest include but are not limited to:
:
: Electronic Commerce
: -------------------
: Auction and negotiation technology
: Agent-mediated electronic commerce
: Business Process Reengineering for electronic commerce
: Case studies in electronic commerce
: Consumer protection in electronic commerce
: Costs and benefit aspects
: Cryptographic techniques and applications
: Digital goods and products
: Electronic commerce application fields
: (such as health care, tourism, trade, university, government,
: logistics and transport)
: Electronic payment systems and exchange protocols
: Electronic publishing
: Formation of supply chains, coalitions, and virtual enterprises
: Innovative business models
: Intellectual property licensing
: Languages for describing goods, services, and contracts
: Legal and privacy issues
: Network pricing and quality of service
: Reputation and trust mechanisms and issues
: Security issues and methods
: Social, organizational and cross-cultural issues
: Standards for electronic commerce
:
: Web Technologies
: ----------------
: Emerging Standards for Web Data (XML, XSL, RDF etc)
: Web data models
: Web data integration and wrappers
: Web query languages
: Web query processing and optimization
: Storage structures and indexing techniques for web data
: Web warehousing
: Knowledge discovery of web data
: Web data mining and analysis
: Discovering structures in web data
: Web site management
: View maintenance of web data
: Web security
: Mobile agents to deal with web data
: Digital libraries and information retrieval
: Web caching
: Web data visualization
: Web Farming
:
: Paper Submission Details
: ------------------------
: Authors are invited to submit research and application papers, not exceeding
: 5000 words or 16 A-4 double-spaced pages, representing original, previously
: unpublished work. Submitted papers will be carefully evaluated based on
: originality, significance, technical soundness, and clarity of exposition.
: All papers will be refereed by three members of the program committee.
: Accepted papers will be published by the Springer Verlag as Lecture Notes in
: Computer Science (LNCS). The authors are requested to send the abstract of
: the paper to be received by February 23, 2000 in ASCII format including the
: paper title, keywords, author names, addresses, and affiliations, by email
: to pernul(a)wi-inf.uni-essen.de (for the Electronic Commerce track) or to
: skm(a)cs.purdue.edu (for the Web Technologies track).
:
: The authors are highly encouraged to submit the papers electronically. You
: can submit your paper as a post-script or pdf file to Guenther Pernul
: (pernul(a)wi-inf.uni-essen.de) for the Electronic Commerce track or to Sanjay
: K. Madria (skm(a)cs.purdue.edu) for the Web Technologies track to be received
: by February 29, 2000.
:
: Alternatively, submit 5 hard copies of your paper to be received by February
: 29,
: 2000 to the following addresses:
:
: EC-WEB 2000
: c/o FAW Secretary
: University of Linz
: A-4040 Linz, Austria
:
: Telephone: ++43 732 244962
: Fax : ++43 732 243989
:
: IMPORTANT DATES
: ---------------
: * Submission of abstracts: February 23, 2000
: * Submission of full papers: February 29, 2000
: * Notification of acceptance: May 1, 2000
: * Camera-ready copies due: June 1, 2000
:
: General Chair
: -------------
: Kurt Bauknecht, University of Zurich, Switzerland
:
: Programme Chairs
: ----------------
:
: Track Electronic Commerce
: Guenther Pernul, University of Essen, Germany (pernul(a)wi-inf.uni-essen.de)
:
: Track Web Technologies
: Sanjay Kumar Madria, Purdue University, USA (skm(a)cs.purdue.edu)
:
: Programme Committee (Track Electronic Commerce)
: -----------------------------------------------
: Karl Aberer, GMD-IPSI, Germany
: Nabil R. Adam, Rutgers University, USA
: Martin Bichler, Vienna University of Economics and BA, Austria
: Wojciech Cellary, The Poznan University of Economics, Poland
: Roger Clarke, The Australian National University, Australia
: Asuman Dogac, Middle East Technical University, Turkey
: Eduardo Fernandez, Florida Atlantic University, USA
: Joze Gricar, University of Maribor, Slovenia
: Kamalakar Karlapalem, HKUST, China
: Stefan Klein, University of Muenster, Germany
: Wolfgang Koenig, University of Frankfurt, Germany
: Ralf Kramer, FZI Karlsruhe, Germany
: Karl Kurbel, Europe University Frankfurt (Oder), Germany
: Winfried Lamersdorf, University of Hamburg, Germany
: Ronald M. Lee, Erasmus University, The Netherlands
: Michael Merz,University of Hamburg, Germany
: Gustaf Neumann, Vienna University of Economics and BA, Austria
: Rolf Oppliger, eSECURITY Technologies, Switzerland
: Alexander Roehm, University of Essen, Germany
: Stephanie Teufel, University of Oldenburg, Germany
: Aphrodite Tsalgatidou, University of Athens, Greece
: Paul Timmers, European Commission DG XIII, Belgium
: A Min Tjoa, Vienna Technical University, Austria
: Hans Weigand, Tilburg University, The Netherlands)
: Hannes Werthner, Vienna University of Economics and BA, Austria
: J. Christopher Westland, Honk Kong University of Science & Technology, China
: Andrew B. Whinston, University of Texas, USA
: Yelena Yesha, University of Maryland Baltimore County, USA
:
: Programme Committee (Track Web Technologies)
: ------------------------------------------------------------------------
:
: Chaitan Baru, University of California San Diego, USA
: Bharat Bhargava, Purdue University, USA
: Juliana Freire, Bell Labs - Lucent Technologies, USA
: Farshad Fotouhi, Wayne State University, USA
: Anupam Joshi, University of Maryland Baltimore County, USA
: Matthias Klusch, DFKI German AI Research Center, Germany
: Laks Lakshmanan, Concordia University, Canada
: George Lausen, Universitat Freiburg, Germany
: Jitendra S. Deogun, University of Nebraska-Lincoln, USA
: Dik Lee, HKUST, China
: Ee Peng Lim, Nanyang Technological University, Singapore
: Bamshad Mobasher, DePaul University, USA
: Mukesh Mohania, Western Michigan University, USA
: Wee-Keong Ng, Nanyang Technological University, Singapore
: Stefano Paraboschi, Politecnico di Milano, Italy
: Evi Pitoura, University of Ioannina, Greece
: Giuseppe Psaila, Politecnico di Milano, Italy
: P. Krishna Reddy, University of Tokyo, Japan
: Gerorge Samaras, University of Cyprus, Cyprus
: N. L. Sarda, Indian Institute of Technology, Bombay, India
: Peter Scheuermann, Northwestern University, USA
: Cyrus Shahabi, University of Southern California, USA
: Giuseppe Sindoni, National Statistics Institute - Dep. of Computation, Italy
: Jaideep Srivastava, University of Minnesota, USA
: Dan Suciu, AT&T, USA
: Kian Lee Tan, National University of Singapore, Singapore
: Krishnamurthy Vidyasankar, Memorial University of Newfoundland, Canada
: Yanchun Zhang, University of Southern Queensland, Australia
:
: For inquiries please contact any of the programme chairs.
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann(a)uni-essen.de, neumann(a)computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html