Article 23220 of comp.ai: Xref: glinda.oz.cs.cmu.edu comp.software-eng:23910 comp.ai:23220 Newsgroups: hepnet.announce,hepnet.conferences,comp.software-eng,comp.ai Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!news.duke.edu!MathWorks.Com!yeshua.marcam.com!usc!howland.reston.ans.net!EU.net!CERN.ch!dxcern!perretg From: perretg@dxcern.cern.ch (Denis Perret-Gallix) Subject: AI-HENP-95 Workshop on software Engineering and Artificial Intelligence for high energy and nuclear physics Message-ID: <1994Jul15.105619.14186@dxcern.cern.ch> Organization: CERN European Laboratory for Particle Physics Date: Fri, 15 Jul 1994 10:56:19 GMT Lines: 289 _______________________________________________________________________________ FOURTH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING AND ARTIFICIAL INTELLIGENCE FOR HIGH ENERGY AND NUCLEAR PHYSICS AIHENP95-Pisa Pisa (Tuscany), Italy 3 - 8 April, 1995 --------- FIRST CALL FOR PAPERS ---------- _______________________________________________________________________________ INTERNATIONAL SCIENTIFIC ADVISORY COMMITTEE S. R. Amendolia INFN & Univ. Sassari Pisa I G. Auger GANIL Caen F K. H. Becks Bergische Univ. Wuppertal D O. Benhar INFN Rome I R. Brun CERN CN Geneva CH B. Denby INFN Pisa I F. Etienne CPPM Marseille F R. Gatto Geneva Univ. Geneva CH G. Gonnet ETHZ Zurich CH M. Green Royal Holloway Col. Egham Surrey GB V. Ilyin Moscow University Moscow Russia F. James CERN Geneva CH A. Kataev INR Moscow Russia P. Kunz SLAC Stanford USA M. Kunze Ruhr University Bochum D C. S. Lindsey KTH Stockholm S V. Matveev INR Moscow Russia K. McFarlane CEBAF Newport News USA R. Odorico Univ. of Bologna Bologna I D. Perret-Gallix LAPP Annecy F C. Peterson Lund University Lund S B. Remaud IN2P3 Paris F E. Remiddi Univ. of Bologna Bologna I P. Ribarics MPI Munich D M. Sendall CERN ECP Geneva CH Y. Shimizu KEK Tsukuba JP D. Shirkov JINR Dubna Russia A. Smirnitsky ITEP Moscow Russia R. Tripiccione INFN Pisa I M. Veltman Univ. of Michigan Ann Arbor USA J. Vermaseren NIKHEF-H Amsterdam NL (*)C. Vogel CISI Paris F E. Wildner CERN PS Geneva CH (*) to be confirmed DEAR COLLEAGUES: Preparations for the 1995 edition of the AIHENP worskshop series are underway! AIHENP95-Pisa will be held in the spacious, modern Palazzo dei Congressi, located in the heart of historic Pisa, near the Tuscan seaside. Those of you who have attended previous editions will remember that the series began in Lyon, France, in March 1990, and has subsequently been sited in La Londe les Maures, France, in January 1992, and, most recently, in Oberammergau, Germany, in October 1993. The AIHENP series workshops are intended primarily for scientists working in fields related to High Energy and Nuclear Physics, and address many of the practical problems encountered in the running and data analysis of large experiments, including the monitoring and fault diagnosis of millions of detector channels; software management of millions of lines of code written by hundreds of scientists scattered around the world; control of accelerators, ion sources, reactors, and tokomaks; data selection and pattern recognition for complex events and physical phenomena; and the computation of lengthy theoretical calculation to a high degree of precision. With this posting, we would like to invite you to submit an abstract from some of your recent work. Please see the details for submission below. Bear in mind that the listings are guidelines; papers on other topics that might be of interest to the AIHENP audience are also encouraged. Computer technologies evolve rapidly. Even on the timescale of our workshop series the scenario has changed remarkably, and High Energy and Nuclear physicists must update their knowledge periodically in order to work effectively Thus it is necessary to bring together on a regular basis not only the physicists involved in these fields, but also computer scientists, electrical engineers, and experts from industry, in order to keep abreast of developments which may be useful to us for future endeavors like LEPII, LHC, the new B-Factories, the CEBAF and RHIC machines, as well as the ongoing work at HERA and the planned upgrades of the CDF and D0 experiments at Fermilab. The AIHENP series workshops have always been less formal than full conferences, stressing new results, and with sufficient time allowed for spontaneous discussions to develop if need be. As in the past, the workshop will consist of plenary sessions and three parallel sessions covering our three subgroups, 1) SOFWARE ENGINEERING 2) ARTIFICIAL INTELLIGENCE 3) SYMBOLIC MANIPULATION along with possible tutorials and demonstrations, poster sessions, and a final round-table style discussion within each subgroup. We also expect to invite a few experts from other fields to come and give keynote talks which should give us some new perspectives. The exact content of the workshop will be established as papers and suggestions come in; however, as a guide, we give below a list of some of the subjects covered in the three subgroups in past workshops, along with some new ideas. (A) Group: SOFWARE ENGINEERING 1) Subgroup: Languages and Systems - Conventional languages, Fortran, C, ... - Object Oriented Languages, C++, Eiffel, SmallTalk, ... - Mixed languages environment. - Operating systems HEPIX, ... - Network wide application software maintenance. - Porting packages between languages and OS. - Data Base maintenance (updating, access protection). - Data description and representation. 2) Subgroup: CASE Tools for Developing, Maintaining and Designing Software Projects. - Intelligent editors. - Maintenance of multi-version application: CMZ, Historian, CVS... - On-line documentation. - Symbolic debuggers. - Data representation. - Software design and simulation. - System simulation for real-time application. - 3) Subgroup: Interactive Analysis - Event server. - Graphical user interface. - Interactive analysis packages PAW, Reason, IDAL, ... - 4) Subgroup: Software Engineering in Lattice Gauge Theory (B) Group: ARTIFICIAL INTELLIGENCE 1) Subgroup: Languages, Systems - AI languages. - Mixing AI languages, OOL and conventional languages in applications. - Expert system development tools. - 2) Subgroup: Expert Systems - Off-line support. - Hardware testing and maintenance. - On-line assistance. - Real-time expert systems. - Electronic log-book. - Testing expert systems: validation and verification. - Embedding E.S. support in detectors or systems. - 3) Subgroup: Adaptive Methods - Artificial neural networks in data analysis. - Artificial neural networks for triggering. - Control of accelerators, ion sources, reactors, tokomaks. - Evolutionary algorithms. - Boolean Networks. - Learning algorithms. - High speed massively parallel hardware. - Decision tree methods. - Multivariate statistical techniques. - Handling systematic errors in multimensional analyses. - Astrophysics and space science applications. - (C) Group: SYMBOLIC MANIPULATION TECHNIQUES 1) Subgroup: Languages and Tools - News about general purpose systems (Schoonschip, Form, Reduce, Maple, Mathematica, Axiom-Scratchpad II, GAL, ...). - Graphical interface (diagrams display, multi-dimensional function visualization, ...). - Databases in symbolic calculations (physical data and structures, intermediate results, formulae for loop integrals, sub-diagrams, ...) - 2) Subgroup: Automation of Feynman Diagrams Computation - Full automation systems and projects, advanced packages (GRACE/CHANEL/BASES/SPRING, CompHEP, FeynArt/FeynCalc, ESP project, Physica, HIP, ...). - Multiloop diagram generation. - Symbolic-numeric interface (problem of code optimization, analysis of numerical instability sources, ...). - Phase space integration and event generators. - Standardization problems and interfaces between systems and packages. - 3) Subgroup: Advanced Feynman Diagrams Computation - Methods and algorithms for the evaluation of high order radiative corrections and N-loop Feynman diagrams. - High order corrections to the anomalous magnetic moments. - Fast evaluation of 1-loop integrals and problem of automation of 1-loop correction calculation. - Particular problems in specific processes and calculations. - 4) Subgroup: Quantum Field Theory and Super-Algebra and other Fields - Main computational problems and applications of computer algebra in Quantum Field Theory. - Calculations with effective electroweak and QCD Hamiltonians. - Programming of Dirac Algebra and gamma5 in Dimensional Regularization. - Calculations in SUSY models. - Calculations in Supergravity and SuperString theories (problems of programming for differential algebra and geometry and other modern mathematics). - ------------------------------------------------------------------------------- APPLICATION PROCEDURE --------------------- The deadline for submission of abstracts is NOVEMBER 1, 1994. Applications should preferably be sent by electronic mail. Fax and postal submissions will also be accepted. Applications should include an abstract describing the work done, a title and a list of authors which indicates which one is the contact person. The contact person should include his postal address, electronic mail address, and telephone and fax numbers. THE ABSTRACT PLUS ALL ACCOMPANYING INFORMATION SHOULD FIT ON ONE PAGE. An abstract booklet will be prepared from these submissions so reasonable care should be taken in preparing them. No special format is required. The application should contain an indication of the subgroup which most closely matches the topic of the paper (i.e., 1-Software Engineering, 2-Artificial Intelligence, 3-Symbolic Manipulation). Papers which the author believes are suitable for the workshop but which do not fit precisely into any of the three subgroups will also be considered. All applicants will receive an initial confirmation of receipt, which does not necessarily indicate acceptance. Final notification of acceptance will be done when all the papers have been reviewed. Past experience has shown that we will probably not be able to fit in all accepted papers for oral presentation. If so, we will try to retain those papers with the broadest general interest for oral presentation, and encourage authors of papers of more specific interest to consider presentation in the poster sessions. Applications directly to the poster sessions can also be made. All papers accepted for oral or poster presentation will be published in the workshop proceedings, which, as in past workshops, will be a hardcover edition with the workshop logo in color on the cover. Qualifying papers will also be published in a special edition of a major scientific journal. Persons wishing to participate in the conference but who do not intend to present a paper should send the same information as for a contact person, leaving out the abstract. At the moment we solicit only papers and expression of interest in attending. Hotel bookings, etc., will be handled in a future mailing. Addresses for Submission ------------------------ Electronic Submission: AIHENP95@vaxpia.pi.infn.it Fax Submission: (39) (50) 880-317 in care of Bruce Denby Submission by Post: Bruce Denby INFN Sezione di Pisa Via Livornese 582/a 56010 San Piero a Grado (Pi) Italy Article 3487 of comp.ai.genetic: Xref: glinda.oz.cs.cmu.edu comp.ai.neural-nets:17796 comp.ai.genetic:3487 comp.ai.fuzzy:2540 Newsgroups: comp.ai.neural-nets,comp.ai.genetic,comp.ai.fuzzy Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!ddsw1!panix!zip.eecs.umich.edu!newsxfer.itd.umich.edu!gatech!howland.reston.ans.net!EU.net!CERN.ch!dxcern!perretg From: perretg@dxcern.cern.ch (Denis Perret-Gallix) Subject: AI-HENP-95 Workshop Announcement Message-ID: <1994Jul15.105820.14391@dxcern.cern.ch> Organization: CERN European Laboratory for Particle Physics Date: Fri, 15 Jul 1994 10:58:20 GMT Lines: 289 _______________________________________________________________________________ FOURTH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING AND ARTIFICIAL INTELLIGENCE FOR HIGH ENERGY AND NUCLEAR PHYSICS AIHENP95-Pisa Pisa (Tuscany), Italy 3 - 8 April, 1995 --------- FIRST CALL FOR PAPERS ---------- _______________________________________________________________________________ INTERNATIONAL SCIENTIFIC ADVISORY COMMITTEE S. R. Amendolia INFN & Univ. Sassari Pisa I G. Auger GANIL Caen F K. H. Becks Bergische Univ. Wuppertal D O. Benhar INFN Rome I R. Brun CERN CN Geneva CH B. Denby INFN Pisa I F. Etienne CPPM Marseille F R. Gatto Geneva Univ. Geneva CH G. Gonnet ETHZ Zurich CH M. Green Royal Holloway Col. Egham Surrey GB V. Ilyin Moscow University Moscow Russia F. James CERN Geneva CH A. Kataev INR Moscow Russia P. Kunz SLAC Stanford USA M. Kunze Ruhr University Bochum D C. S. Lindsey KTH Stockholm S V. Matveev INR Moscow Russia K. McFarlane CEBAF Newport News USA R. Odorico Univ. of Bologna Bologna I D. Perret-Gallix LAPP Annecy F C. Peterson Lund University Lund S B. Remaud IN2P3 Paris F E. Remiddi Univ. of Bologna Bologna I P. Ribarics MPI Munich D M. Sendall CERN ECP Geneva CH Y. Shimizu KEK Tsukuba JP D. Shirkov JINR Dubna Russia A. Smirnitsky ITEP Moscow Russia R. Tripiccione INFN Pisa I M. Veltman Univ. of Michigan Ann Arbor USA J. Vermaseren NIKHEF-H Amsterdam NL (*)C. Vogel CISI Paris F E. Wildner CERN PS Geneva CH (*) to be confirmed DEAR COLLEAGUES: Preparations for the 1995 edition of the AIHENP worskshop series are underway! AIHENP95-Pisa will be held in the spacious, modern Palazzo dei Congressi, located in the heart of historic Pisa, near the Tuscan seaside. Those of you who have attended previous editions will remember that the series began in Lyon, France, in March 1990, and has subsequently been sited in La Londe les Maures, France, in January 1992, and, most recently, in Oberammergau, Germany, in October 1993. The AIHENP series workshops are intended primarily for scientists working in fields related to High Energy and Nuclear Physics, and address many of the practical problems encountered in the running and data analysis of large experiments, including the monitoring and fault diagnosis of millions of detector channels; software management of millions of lines of code written by hundreds of scientists scattered around the world; control of accelerators, ion sources, reactors, and tokomaks; data selection and pattern recognition for complex events and physical phenomena; and the computation of lengthy theoretical calculation to a high degree of precision. With this posting, we would like to invite you to submit an abstract from some of your recent work. Please see the details for submission below. Bear in mind that the listings are guidelines; papers on other topics that might be of interest to the AIHENP audience are also encouraged. Computer technologies evolve rapidly. Even on the timescale of our workshop series the scenario has changed remarkably, and High Energy and Nuclear physicists must update their knowledge periodically in order to work effectively Thus it is necessary to bring together on a regular basis not only the physicists involved in these fields, but also computer scientists, electrical engineers, and experts from industry, in order to keep abreast of developments which may be useful to us for future endeavors like LEPII, LHC, the new B-Factories, the CEBAF and RHIC machines, as well as the ongoing work at HERA and the planned upgrades of the CDF and D0 experiments at Fermilab. The AIHENP series workshops have always been less formal than full conferences, stressing new results, and with sufficient time allowed for spontaneous discussions to develop if need be. As in the past, the workshop will consist of plenary sessions and three parallel sessions covering our three subgroups, 1) SOFWARE ENGINEERING 2) ARTIFICIAL INTELLIGENCE 3) SYMBOLIC MANIPULATION along with possible tutorials and demonstrations, poster sessions, and a final round-table style discussion within each subgroup. We also expect to invite a few experts from other fields to come and give keynote talks which should give us some new perspectives. The exact content of the workshop will be established as papers and suggestions come in; however, as a guide, we give below a list of some of the subjects covered in the three subgroups in past workshops, along with some new ideas. (A) Group: SOFWARE ENGINEERING 1) Subgroup: Languages and Systems - Conventional languages, Fortran, C, ... - Object Oriented Languages, C++, Eiffel, SmallTalk, ... - Mixed languages environment. - Operating systems HEPIX, ... - Network wide application software maintenance. - Porting packages between languages and OS. - Data Base maintenance (updating, access protection). - Data description and representation. 2) Subgroup: CASE Tools for Developing, Maintaining and Designing Software Projects. - Intelligent editors. - Maintenance of multi-version application: CMZ, Historian, CVS... - On-line documentation. - Symbolic debuggers. - Data representation. - Software design and simulation. - System simulation for real-time application. - 3) Subgroup: Interactive Analysis - Event server. - Graphical user interface. - Interactive analysis packages PAW, Reason, IDAL, ... - 4) Subgroup: Software Engineering in Lattice Gauge Theory (B) Group: ARTIFICIAL INTELLIGENCE 1) Subgroup: Languages, Systems - AI languages. - Mixing AI languages, OOL and conventional languages in applications. - Expert system development tools. - 2) Subgroup: Expert Systems - Off-line support. - Hardware testing and maintenance. - On-line assistance. - Real-time expert systems. - Electronic log-book. - Testing expert systems: validation and verification. - Embedding E.S. support in detectors or systems. - 3) Subgroup: Adaptive Methods - Artificial neural networks in data analysis. - Artificial neural networks for triggering. - Control of accelerators, ion sources, reactors, tokomaks. - Evolutionary algorithms. - Boolean Networks. - Learning algorithms. - High speed massively parallel hardware. - Decision tree methods. - Multivariate statistical techniques. - Handling systematic errors in multimensional analyses. - Astrophysics and space science applications. - (C) Group: SYMBOLIC MANIPULATION TECHNIQUES 1) Subgroup: Languages and Tools - News about general purpose systems (Schoonschip, Form, Reduce, Maple, Mathematica, Axiom-Scratchpad II, GAL, ...). - Graphical interface (diagrams display, multi-dimensional function visualization, ...). - Databases in symbolic calculations (physical data and structures, intermediate results, formulae for loop integrals, sub-diagrams, ...) - 2) Subgroup: Automation of Feynman Diagrams Computation - Full automation systems and projects, advanced packages (GRACE/CHANEL/BASES/SPRING, CompHEP, FeynArt/FeynCalc, ESP project, Physica, HIP, ...). - Multiloop diagram generation. - Symbolic-numeric interface (problem of code optimization, analysis of numerical instability sources, ...). - Phase space integration and event generators. - Standardization problems and interfaces between systems and packages. - 3) Subgroup: Advanced Feynman Diagrams Computation - Methods and algorithms for the evaluation of high order radiative corrections and N-loop Feynman diagrams. - High order corrections to the anomalous magnetic moments. - Fast evaluation of 1-loop integrals and problem of automation of 1-loop correction calculation. - Particular problems in specific processes and calculations. - 4) Subgroup: Quantum Field Theory and Super-Algebra and other Fields - Main computational problems and applications of computer algebra in Quantum Field Theory. - Calculations with effective electroweak and QCD Hamiltonians. - Programming of Dirac Algebra and gamma5 in Dimensional Regularization. - Calculations in SUSY models. - Calculations in Supergravity and SuperString theories (problems of programming for differential algebra and geometry and other modern mathematics). - ------------------------------------------------------------------------------- APPLICATION PROCEDURE --------------------- The deadline for submission of abstracts is NOVEMBER 1, 1994. Applications should preferably be sent by electronic mail. Fax and postal submissions will also be accepted. Applications should include an abstract describing the work done, a title and a list of authors which indicates which one is the contact person. The contact person should include his postal address, electronic mail address, and telephone and fax numbers. THE ABSTRACT PLUS ALL ACCOMPANYING INFORMATION SHOULD FIT ON ONE PAGE. An abstract booklet will be prepared from these submissions so reasonable care should be taken in preparing them. No special format is required. The application should contain an indication of the subgroup which most closely matches the topic of the paper (i.e., 1-Software Engineering, 2-Artificial Intelligence, 3-Symbolic Manipulation). Papers which the author believes are suitable for the workshop but which do not fit precisely into any of the three subgroups will also be considered. All applicants will receive an initial confirmation of receipt, which does not necessarily indicate acceptance. Final notification of acceptance will be done when all the papers have been reviewed. Past experience has shown that we will probably not be able to fit in all accepted papers for oral presentation. If so, we will try to retain those papers with the broadest general interest for oral presentation, and encourage authors of papers of more specific interest to consider presentation in the poster sessions. Applications directly to the poster sessions can also be made. All papers accepted for oral or poster presentation will be published in the workshop proceedings, which, as in past workshops, will be a hardcover edition with the workshop logo in color on the cover. Qualifying papers will also be published in a special edition of a major scientific journal. Persons wishing to participate in the conference but who do not intend to present a paper should send the same information as for a contact person, leaving out the abstract. At the moment we solicit only papers and expression of interest in attending. Hotel bookings, etc., will be handled in a future mailing. Addresses for Submission ------------------------ Electronic Submission: AIHENP95@vaxpia.pi.infn.it Fax Submission: (39) (50) 880-317 in care of Bruce Denby Submission by Post: Bruce Denby INFN Sezione di Pisa Via Livornese 582/a 56010 San Piero a Grado (Pi) Italy