_______________________________________________________________________________
FOURTH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING
AND ARTIFICIAL INTELLIGENCE
FOR HIGH ENERGY AND NUCLEAR PHYSICS
AIHENP95-Pisa
Pisa (Tuscany), Italy
3 - 8 April, 1995
--------- FINAL MAILING ----------
---Updated Program---Important Announcements---
_______________________________________________________________________________
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 RU
F. James CERN Geneva CH
A. Kataev INR Moscow RU
P. Kunz SLAC Stanford USA
M. Kunze Ruhr University Bochum D
C. S. Lindsey KTH Stockholm S
V. Matveev INR Moscow RU
K. McFarlane CEBAF/Norfolk 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 RU
A. Smirnitsky ITEP Moscow RU
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
DEAR COLLEAGUES:
This is the Final Mailing for the 1995 edition of the AIHENP worskshop series,
containing the updated Workshop Program, Further Information for Participants,
Registration/Accommodation forms for those of you who may not yet have
turned them in, AND A FEW IMPORTANT ANNOUNCEMENTS.
The LaTeX file for preparation of camera ready manuscripts is not included
here but is still available via WWW at the URL's shown below. The
page limit is 6 pages for parallel papers and 8 pages for plenary papers. The
organizing committee can also supply a copy on request. The completed papers
are to be brought to the workshop.
WWW URL's for viewing AIHENP95 Information:
http://www.cern.ch/Physics/Conferences/C1995/Overview.html
http://www1.cern.ch/NeuralNets/nnwInHep.html
IMPORTANT ANNOUNCEMENTS:
1) TRANSPARENCIES: We would appreciate it if all speakers could bring a clean
copy their transparencies to the workshop. This will make our
copying chores much less onerous.
2) LUNCH: We invite you to discover what in Italy is called a 'Buffet Style'
lunch. We managed to talk the caterer into bringing chairs,
but tables may be in short supply. Practice up on your juggling
in your few remaining days before the workshop.
3) BRIDGE OUT: One of Pisa's main bridges, Ponte della Vittoria, directly in
front of the Palazzo dei Congressi, was closed this morning
(27 March) for several months of repairs. This will make getting
to the workshop, and traffic patterns in general, considerably
more interesting.
We on the organizing committee look forward to seeing you in Pisa very soon!
Bruce Denby
Conference Chairman
For the International Advisory Committe and Local Organizing Committee
ABOUT AIHENP
------------
The AIHENP series workshops are intended primarily for scientists working
in fields related to High Energy and Nuclear Physics. The AIHENP series began
in Lyon, France, in March 1990, and has subsequently been sited in La Londe
les Maures, France, in January 1992, and in Oberammergau, Germany, in October
1993. The workshops have always been less formal than full conferences,
stressing *new* results and ideas, and with sufficient time allowed for
spontaneous discussions to develop. As in the past, the 1995 workshop will
consist of plenary sessions and three parallel sessions covering our
three subgroups,
1) SOFWARE ENGINEERING
2) ARTIFICIAL INTELLIGENCE AND NEURAL NETS
3) SYMBOLIC MANIPULATION
along with tutorials and demonstrations, poster session, and industrial booths.
Tutorials this year include: INTRODUCTION TO FUZZY LOGIC FOR HIGH ENERGY
PHYSICS; PARTICLE SEARCHES WITH NEURAL NETWORKS; INTRODUCTION TO C AND OBJECT
ORIENTED PROGRAMMING FOR PHYSICISTS.
We have also invited a few experts from other fields to come and
give keynote talks which should give us some new perspectives. This year, for
example, we have talks on SPACE APPLICATIONS OF NEURAL NETWORKS and COMMERCIAL
APPLICATIONS OF NEURAL NETWORKS, the latter of which will be given by the
President of the European Neural Networks Society, Prof. Francoise Fogelman,
of SLIGOS, Paris, France.
Industrial Exhibits confirmed are: IBM (Rome), Spring (Rome), and MACS
(Pisa, CNAPS Hardware). The workshop is also support by Apple Computer,
Alenia, and CAEN.
FURTHER INFORMATION FOR PARTICIPANTS
------------------------------------
All organizational details except the scientific program are being handled
by TRE EMME CONGRESSI in Pisa. Their official registration forms and
information follow at the end of this document. YOUR TRE EMME REGISTRATION
FORM IS YOUR ONLY OFFICIAL REGISTRATION FOR THE WORKSHOP.
Pisa Airport is only about one kilometer from town center and has daily
connections to several international airports (Paris, London, Frankfort,
etc.) and to national airports of Rome and Milan. Pisa may also be reached
easily by train via Milan, Rome, Florence, or Turin. There are taxi stands
at the airport and train station. A typical taxi fare within town is about
10.000 lira. Pisa is a small city and often walking is the best way
to get around. The Palazzo dei Congressi is within walking distance of all
workshop hotels. Traffic and especially parking in Pisa are difficult.
Rental cars are not recommended.
The Worskhop Telephone Numbers (DURING THE WORKSHOP ONLY) will be:
+39 50 598.139 telephone
+39 50 598.112 fax
A limited number of terminals will be available for checking electronic mail,
etc., during the workshop.
Poster sessions and Industrial Exhibits will run continuously during AIHENP95.
Posters can be mounted or removed at any time during the workshop. Presenters
of posters are encouraged to be present at their posters from 13:30 - 14:00
and from 19:00 - 20:00 for viewing and questions.
*****************************************************************************
IV International Workshop on
Software Engineering and Artificial Intelligence
For High Energy and Nuclear Physics
AIHENP95
*****************************************************************************
================
MINI - SCHEDULE
================
+-----------+----------+----------+----------+----------+----------+
| Mon 3 | Tue 4 | Wed 5 | Thu 6 | Fri 7 | Sat 8 |
+-----------+----------+----------+----------+----------+----------+
| -09:30- | -08:00- | -08:30- | -08:30 - | -08:30- | -08:30- |
| Local Org.| Intro | Parallel | Parallel | Parallel | Parallel |
| Committee | -08.15- | Sessions | Sessions | Sessions | Sessions |
| Meeting | Plenary | A1-SM-SE | A1-SM-SE | A1-SM-SE | A1-SM |
| Palazzo | talks | -10:30- | -10:30- | -10:30- | -09:30- |
| | -10:00- | Break | Break | Break | Summary |
| | Break | -11:00- | -11:00- | -11:00- | talks |
| | -10:15- | Parallel | Parallel | Parallel | -10:15- |
| | Plenary | Session | Session | Session | Break |
| | talks | A1-SM-SE | A1-SM-SE | A1-SM-SE | -10:45- |
| | | | | | Summary |
| | | | | | talks |
+-----------+----------+----------+----------+----------+----------+
| | Lunch | Lunch | Lunch | Lunch |
+-----------+----------+----------+----------+----------+
| | -14:00- | -14:00- | -14:00- | -14:00- |
| -16:00- | Plenary | Parallel | Parallel | Parallel |
|Registr'n. | Talks | Session | Sessions | Sessions |
|Begins | -15:00- | A1-SM-A2 | A1-SM-A2 | A1-SM-SE |
|Palazzo dei|Par. Sess.| -15:30- | -15:30- | -15:30- |
|Congressi | A1-SM-SE | Break | Break | Break |
| | -16:30- | -16:00- | -16:00- | -16:00- |
| | Break | Parallel | Parallel | Parallel |
| | -17:00- | Session | Session | Session |
| |Par. Sess.| A1-SM-A2 | A1-SM-A2 | A1-SM-SE |
| | A1-SM-SE | | | |
+-----------+----------+----------+----------+----------+
| **18:00** | -19:00- | -20:30- | -19:00- | -19:00- |
| Welcome | Special | Dinner | Advisory | Special |
| Cocktail | Talks | Royal |Committee | Talks |
| Palazzo di| | Victoria | Meeting | |
| Congressi| | Hotel | Palazzo | |
+-----------+----------+----------+----------+----------+---------------+
| KEY: A1 = First "AI" sess. (Main Auditorium) |
| A2 = Second "AI" sess. (Pacinotti Room) |
| SM = Sym. Manip. sess. (Fermi Room) |
| SE = Soft. Eng. sess. (Pacinotti Room) |
| |
| (Plenary Talks in Main Auditorium) |
| (User Terminals in Aula Galilei) |
| (Poster Sessions and Industrial Exhibitions run continuously) |
| (Posters manned 13:30-14:00, 19:00-20:00) |
+-----------------------------------------------------------------------+
*****************************************************************************
IV International Workshop on
Software Engineering and Artificial Intelligence
For High Energy and Nuclear Physics
AIHENP95
*****************************************************************************
========================
WORKSHOP PROGRAM
========================
Palazzo dei Congressi, Pisa, Italy
3-8 April 1995
Monday 3 April
16:00-20:00
---------------
16:00 Registration
18:00 Welcome Ceremonies
Welcome Addresses: Giuseppe M. Pierazzini, Director, INFN Sezione
di Pisa
Luciano Modica, Rector, University of Pisa
Francoise Fogelman, President, European Neural
Network Society
====================
PLENARY SESSION
====================
Tuesday 4 April
8:00-15:00
---------------
Chair I. Lazzizzera (Univ. Trento, Italy)
08:00 WELCOME TO AIHENP95 - Bruce Denby (INFN Pisa), Workshop Chairman
08:15 SPACE APPLICATIONS OF - Thomas Lindblad (KTH Stockholm)
NEURAL NETWORK
09:15 COMMERCIAL APPLICATIONS - Francoise Fogelman (SLIGOS, Paris)
OF NEURAL NETWORKS President, European Neural Network Society
10:00 Coffee Break
10:15 SYMBOLIC MANIPULATION - P. Nason (CERN)
IN THEORETICAL HIGH
ENERGY PHYSICS
11:15 INTRODUCTION TO C AND - P. Murat (ITEP Moscow/INFN Pisa)
OBJECT ORIENTED
PROGRAMMING FOR HIGH
ENERGY PHYSICISTS
12.00 LATTICE GAUGE THEORY: - F. Rapuano (INFN Rome)
COMPUTING AND PHYSICS,
A SURVEY
12:45 Lunch
Chair TBA
14:00 COMPLETE AUTOMATIC - D. Perret - Gallix (LAPP-Annecy)
FEINMAN DIAGRAM
COMPUTATION SYSTEM
=======================
PARALLEL SESSIONS
4-8 April 1995
=======================
"AI" SESSION
NEURAL NETWORKS, FUZZY LOGIC, EXPERT SYSTEMS, LANGUAGES,
GENETIC ALGORITHMS, ETC.
Tuesday 4 April
15:00-19:00
---------------
Survey of AI Methods in Physics
Chair TBA
15:00 - J. Moeck (MPI Munich, Ge.) "Artificial Neural Networks as a
Second-Level Trigger at the H1 Experiment -- Performance
Analysis and Results --"
15:30 - S. Westerhof(Wuppertal, Ge.) "Application of Neural Networks
in TeV Gamma-Ray Astronomy"
16:00 - C. David (Univ. Nantes, Fr.) "Neural Networks in Theoretical
Nuclear Physics"
16:30 Coffee Break
17:00 - E. Gandolfi (Univ. Bolgna) "Introduction to Fuzzy Logic"
18:00 - G. Stimpfle-Abele (Univ. Barcelona, Spain) "Tutorial: Neural
Nets for Particle Searches"
Wednesday 5 April
8:30-12:30
-----------------
Triggering, Real-time and Hardware AI Systems
Chair TBA
08:30 - C. Loomis (Rutgers, US) "Using an Analog Neural Network to
Trigger on Tau Leptons at CDF"
09:00 - S. Vlachos (Univ. Basel,Switzerland) "A Neural Network
Trigger System for the CP-LEAR Experiment"
09:30 - R. Nobrega (CERN) "A Neural Network Trigger with a RICH
Detector"
10:00 - L. Lundheim (CERN) "A Programmable Active Memory Implementation
of a Neural Network for Second Level Triggering in ATLAS"
10:30 Coffee Break
Multivariate Analysis and Neural Networks
11:00 - C. Peterson (Lund, Sweden) "Determining Dependency Structures
and Estimating Nonlinear Regression Errors without Doing Regr.
11:45 - J. Proriol (Clermont-Ferrand, Fr.) "Multimodular Neural
Networks for the Classification of High Energy Events"
12:30 Lunch
"AI" PARALLEL SESSION I
Wednesday 5 April
14:00-19:00
------------------
Multivariate Analysis and Neural Networks
Chair TBA
14:00 - Y. Pei (for Y. Wang) (CERN) "Neural Network: A Powerful Tool
for Classification"
14:30 - P. Talavera (Univ. Barcelona) "Using Neural Networks to Enhance
Signal over Background: The top--quark search"
15:00 - T. Aziz (CERN) "Heavy Flavour Tagging from Hadronic Z Decays
Using Neural Network Technique"
15:30 Coffee Break
16:00 - H. E. Miettinen (Rice Univ., USA) "Top Quark Search with
Multivariate Probability Estimates and Neural Networks"
16:30 - V. V. Ivanov (Dubna, Russia) "Input Data for a Multilayer
Perceptron in the Form of Variational Series"
17:00 - R. Sinkus (Univ. Hamburg, Ge) "A Novel Approach to Error
Function Minimization for Feedforward Neural Networks"
17:30 - D. Steuer (Univ. Ilmenau, Ge.) "The Use of Adaptive Recursive
Estimation Methods for Acceleration of Backpropagation
Learning Algorithm"
18:00 - J. Wroldsen (Gjovik College, Norway) "A Robust Algorithm for
Pruning Neural Networks"
18:30 - P. Fuchs (Lab. Saturne, Fr.) "The Development of Neural Network
Algorithms with LICORNE - a Commercial Software Tool for Data
Analysis and Image Processing"
"AI" PARALLEL SESSION II
Wednesday 5 April
14:00-19:00
-----------------
Genetic, Evolutionary and Cellular Automata Algorithms
Chair TBA
14:00 - G. Organtini (Univ. Rome) "Using Genetics in Particle Physics"
14:30 - M. Kunze (Ruhr Univ. at Bochum, Ge) "Application of Neural
Networks and a Genetic Algorithm in the Analysis of Multi
Particle Final States"
15:00 - C. Busch (Univ. Wuppertal, Ge.) A Very Tentative Approach
Towards the Problem of Adjusting Monte Carlo Generator
Parameters by Means of the Evolution Strategy"
15:30 Coffee Break
16:00 - H. M. A. Andree (Utrecht, Nl) "The Optimisation of Feed-Forward
Neural Networks by Means of Genetic Algorithms"
16:30 - R. Berlich (Ruhr Univ. at Bochum, Ge) "Training Neural Networks
Using Evolutionary Strategies"
17:00 - M. Casolino (Univ. Rome) "A Cellular Automaton to Filter Noise
in High Energy Physics Particle Tracks"
17:30 - G. Ososkov (for E.A.Tikhonenko) (Dubna, Russia) "New Random
Number Generator on the Base of Cellular Automaton Suitable
for Parallel Implementing"
18:00 - M. Kunze (Ruhr Univ. at Bochum, Ge) "Growing Cell Structures"
18:30 - Spare slot
Thursday 6 April
8:30-12:30
------------------
Triggering, Real-time and Hardware AI Systems
Chair TBA
8:30 - D. Goldner (Univ. Dortmund, Ge.) "Artificial Neural Networks
as a Level-2 Trigger for the H1 Experiment"
9:00 - G. Schmidt (DESY) "Using a High Speed Analog Neural Network
Chip in the First Level R-Z Trigger of the H1-Experiment at
HERA".
9:30 - R. Odorico (Univ. Bologna, It.) "Trigger for Beauty Employing
the MA16 Neural Microprocessor"
10:00 - A. W. Lodder (Univ. Utrecht, Nl) "The Implementation of
Feed-Forward Neural Networks on the CNAPS System"
10:30 Coffee Break
11:00 - I. Lazzizzera (INFN Trento, It.) "TOTEM: a Highly Parallel Chip
for Triggering Applications with Inductive Learning Based on
the Reactive Tabu Search"
11:30 - C. S. Lindsey (KTH, Sweden) "Experience with the IBM ZISC
Neural Network Chip"
12:00 - Th. Lindblad (KTH, Sweden) "Evaluation of a RBF/DDA Neural
Network"
12:30 Lunch
"AI" PARALLEL SESSION I
Thursday 6 April
14:00-19:00
----------------
Neural Networks in Offline Analysis
Chair TBA
14:00 - J. Proriol (Clermont-Ferrand, Fr.) "Tagging Higgs Boson in
Hadronic LEP2 Events with Neural Networks"
14:30 - O. Cooke (CERN) Determining the Primary Parton Charge in a Jet
15:00 - A. A. Handzel (Weizmann Inst. Israel) "Comparison of Three
Neural Network Algorithms in a Data Analysis Classification
Task"
15:30 Coffee Break
16:00 - F. Cossutti (for A. de Angelis) (CERN) "Tagging the s quark in
the Hadronic Decays of the Z"
16:30 - R. Sparvoli (Univ. Rome) "Gamma Ray Energy Discrimination with
Neural Networks"
17:00 - M. Casolino (Univ. Rome) "Optimization of a Neural Network for
Particle Classification in a Segmented Calorimeter"
17:30 - J. S. Lange (TU Dresden, Ge.) "Cluster Gravitation - An
Extension to the Kohonen Algorithm for the Identification of
the pp-Bremsstrahlung at COSY
18:00 - W. Tajuddin (Univ. Malaya, Malaysia) "Understanding Event
Classification by Multilayer Perceptrons"
18:30 - Spare slot
"AI" PARALLEL SESSION II
Thursday 6 April
14:00-19:00
----------------
Tracking
Chair TBA
14:00 - S. A. Baginyan (Dubna, Russia) "Controlled Neural Network
Application in TRACK-MATCH Problem"
14:30 - D. L. Bui (DESY) "Application of the Elastic Arms Approach to
Track Finding in the Forward Tracking Detector of H1-Experiment
at HERA"
15:00 - C. A. Byrd (Univ. Arkansas, USA) "A Rough-Set-Based Grouping
Algorithm for Particle Tracking in High Energy Physics"
15:30 Coffee Break
16:00 - M. Fuchs (IKF Frankfurt, Ge) "A 3-dimensional Transformation
Tracker for Raw TPC-data"
16:30 - G. A. Ososkov (Dubna, Russia) "Applications of Cellular
Automata and Neural Networks for Particle Track Search"
17:00 - N. Stepanov (ITEP, Russia) "Towards the Fast Trackfinder
Algorithm for the CMS Experiment at LHC"
17:30 - W. Tajuddin (Univ. Malaya, Malaysia) "Structured Feed-Forward
Neural Network for Track Finding"
18:00 - G. Stimpfle-Abele (Univ. Barcelona, Spain) "Determination of
Beam Parameters in LEAR with Neural Nets"
18:30 - L. Santi (Udine, Italy) "Fast Reconstruction of the Antiproton
Annihilation Vertex at Intermediate Energies, Based on a Rotor
Neural Network"
Friday 7 April
8:30-12:30
--------------
Triggering, Real-time and Hardware AI Systems
Chair: TBA
8:30 - G. Pauletta (Univ. Udine, It.) "Pulse Shape Discrimination with
a Neural Network"
9:00 - G. B. Pontecorvo (Dubna, Russia) "On a Possible Second Level
Trigger for the Experiment DISTO"
9:30 - J. M. Seixas (CERN) "A Neural Second-Level System Based on
Calorimetry and Principal Components Analysis"
10:00 - M. Masetti (Univ. Bologna, It.) " Design of VLSI Realization of
a Very Fast Fuzzy Processor for Trigger Applications in HEP"
10:30 Coffee Break
11:00 - G. G. Athanasiu (Univ. Crete) "Retinal Neurocomputing
Principles for Real Time Track Identification"
11:30 - J. Seixas (Rio de Janeiro) "Implementing a Neural Second Level
Trigger System on a Fast DSP: The Feature Extraction Problem"
12:00 - D. Salvatore (Univ. Pisa, It.) "Neuroclassifier Chip for
Vertex Detection"
12:30 Lunch
Friday 7 April
14:00-19:00
--------------
Adaptive and Symbolic Methods in Offline Analysis
Chair TBA
14:00 - G. D'Agostini (Univ. Rome) "A Multidimensional Unfolding Method
Based on Bayes' Theorem"
14:30 - R. Sinkus (Univ. Hamburg, Ge) "Neural Network Based Electron
Identification in the ZEUS Detector"
15:00 - D. Falciai (Univ. Perugia, Italy) "Electron Identification
with Neural Network at SLD"
15:30 Coffee Break
16:00 - K. A. Gernoth "Neural Network Models of Nuclear Systematics"
16:30 - G. Tomasicchio (Bari) "An Object Oriented Approach to Design
Symbolic and Connectionist Systems in HEP"
17:00 - Th. Flor, (Univ. Ilmenau, Ge.) "Integration of Symbolic Rule
Based and Subsymbolic Neural Net Based Information Processing
in a Multi Paradigm Knowledge Based System"
17:30 - E. Bubelev (for V.M.Severyanov) (Dubna, Russia) "Artificial
Neural Networks Usage for Recognition of Poincare' Imaginable
Statistical Bodies in Non-Euclidean High Energy Physics"
18:00 - G. D'Agostini (Univ. Rome) "On the Use of the Covariance Matrix
to Fit Correlated Data"
18:30 - V. I. Tarasov (Nucl. Safety Inst. Russia) "The Statistical
Analysis of Pollution 137-Cs in Settlements Russian Chernobyl
Zone"
Saturday 8 April
8:30-9:30
----------------
Chair TBA
08:30 - Spare slot
09:00 - A. Smirnitsky (ITEP) "Summary of AIHENP-Moscow Meeting, AI
Section"
"AI" SESSION POSTERS
4-8 April Continuous
(Posters can be mounted or removed at any time during the workshop. Presenters
of posters are encouraged to be present at their posters from 13:30 - 14:00 and
from 19:00 - 20:00.)
- V. V. Ivanov, (Dubna) "Multidimensional Data Analysis Based on the
Omega-n-k Criteria and Multilayer Perceptrons"
- Th. Flor, (Univ. Ilmenau, Ge.) "Using Advantages of ODBS and
CORBA-Standard for Modelling of Object Oriented Distributed Knowledge
Based Systems in VisualWorks/Distributed-Smalltalk"
- Th. Flor, (Univ. Ilmenau, Ge.) "Multi Paradigm Inference System VISIS
as Knowledge Based Framework within an Objectoriented Medical
Information Modell"
- J. Proriol (Clermont-Ferrand, Fr.) "Selection of Variables for Neural
Network Analysis"
- V. M. Severyanov (Dubna, Russia) "Application of Artificial Neural
Networks to Low pT Muon Identification in ATLAS Hadron Calorimeter"
- V. M.Severyanov (Dubna, Russia) "Calculation and Interactive
Construction of Flat Fractals Using Neural Networks"
- W. Tajuddin (Univ. Malaya, Malaysia) "Track Classification and
Enumeration in Solid State Nuclear Track Detectors Using Cellular
Automata"
- T. Yakhno (Novosibirsk, Russia) "TallTalk: Combining OO-paradigm and
Constraint Programming for Knowledge Representation"
- C. Guicheney (U. Blaise Pascal, Fr.) "Using Neural Networks and Fuzzy
Logic in the Search of the Higgs"
SYMBOLIC MANIPULATION SESSION
Tuesday 4 April
15:00-19:00
---------------
Chair TBA
15:00 - D. Broadhurst (Open University, UK) "Progress with Multiloop
Diagrams since AIHENP93"
Wednesday 5 April
8:30-12:30
------------------
Chair TBA
SUBGROUP C-2: Full automation systems
08:30 - Y. Kurihara (KEK, Japan) "Catalogue of Electron-Positron
Annihilation Processes Using GRACE System"
09:00 - A. Pukhov (INP MSU, Moscow, Russia) "Automatic Calculation of
Amuplitudes in the CompHEP Package"
09:30 - M. Jimbo (Tokyo Management College, Japan) "A system for the
Automatic Computation of Cross Sections Including SUSY
Particles"
10:00 - Spare Slot
10:30 Coffee Break
SUBGROUP C-3: Programs and Methods
11:00 - L. Surguladze (Univ. of Oregon, USA) "Computer Programs for
High Order Analytical Perturbative Calculations in High Energy
Physics"
11:30 - A. Grozin (Open Univ., UK) "Multiloop Calculations in Heavy
Quark Effective Theory"
12:00 - J. Gracey (Univ. Durham, UK) "Large N_f Methods for Computing
the Perturbative Structure of Deep Inelastic Scattering"
12:30 Lunch
Wednesday 5 April
14:00-19:00
-----------------
Chair TBA
SUBGROUP C-1: Languages and Tools
14:00 - M. Sofroniou (Univ. Bologna - Wolfram Research Ltd.)
"Strategies for Effective Numerical Computations Using
Mathematica"
14:30 - E. Remiddi (Univ. Bologna, Italy) "GOLEM: a Language (and a
Program) for Writing (and Checking) Mathematical Proofs"
15:00 - S. Capitani ("La Sapienza", Roma, Italy) "Use of SCHOONSHIP
and FORM Codes in Perturbative Lattice Calculations"
15:30 Coffee Break
SUBGROUP C-2: Symbolic-Numeric Interface
16:00 - K. Kato (Kogakuin Univ., Tokyo, Japan) "Numerical Approach to
Two-Loop Integrals with Masses"
16:30 - D. Kovalenko (INP MSU, Moscow, Russia) "Automatic Generation
of Kinematics for Exclusive High Energy Collisions",
17:00 - T. Ishikawa (KEK, Japan) "Symbolic Code Optimization of
Polynomials"
17:30 - F. Tkachov (INR, Moscow, Russia) "MILXy Way: How Much Better
than VEGAS Can One Integrate in Many Dimensions?"
Thursday 6 April
8:30-12:30
----------------
Chair TBA
SUBGROUP C-3: Methods and Algorithms
08:30 - A. Kotikov (LAPP, Annecy, France) "Gegenbauer Polynomial
Technique: the Second Birth"
09:00 - A. Czarnecki (Univ. Karlsruhe, Germany) "A New Method of
Computing two-loop Feynman Integrals with Massive Particles"
09:30 - L. Avdeev (JINR, Russia) "Recurrence Relations for Evaluating
Three-Loop Vacuum Diagrams with a Mass"
10:00 - V. Ilyin (INP MSU, Russia) "New Method of Reducing Vacuum
Multiloop Feynman integrals to Master Ones"
10:30 Coffee Break
SUBGROUP C-2: Feynman Diagram Generation
11:00 - T. Kaneko (Meiji-Gakuin Univ., Yokohama, Japan) "A Feynman-
Graph Generator for any Order of Coupling Constants"
SUBGROUP C-1: Graphical Interface
11:30 - D. Juriev (Ecole Normale Superieure, Paris, France-Russia)
"Some Aspects of Interactive Visualization of 2D Quantum Field
Theory: Algebra, Geometry and Computer Graphics"
12:00 - I. Nikitin (IHEP, Protvino, Russia) "Visual Study of
Complicated Phenomena in String Theory"
Thursday 6 April
14:00-19:00
----------------
Chair TBA
SUBGROUP C-4: QFT and SUSY etc.
14:00 - C. Schubert (DESY-Zeuthen, Germany) "Programming the
String-Inspired Method: Main Computational Problems"
14:30 - A. Lanyov (JINR, Russia) "Calculation of Heat-Kernel
Coefficients and Usage of Computer Algebra"
15:00 - A. Candiello ("Galileo Galilei", Padova, Italy) "WBase: a C
Package to Reduce Tensor Products of Lie Algebra
Representations"
15:30 Coffee Break
SUBGROUP C-2: Applications
16:00 - N. Nakazawa (Kogakuin Univ., Tokyo, Japan) "Automatic
Calculation of 2-loop Weak Corrections to Muon Anomalous
Magnetic Moment"
16:30 - O. Tarasov (Biellefeld Univ., Germany - JINR, Russia) "One-loop
Radiative Correction to the Process gamma-gamma -> t bar-t"
17:00 - I. Akushevich (Belorussia Univ., Minsk, Belorussia) "The
Calculation of Contribution of Double Photon Bremstrahlung to
Polarized Assymetry by Using Symbolic Manipulation Technique"
SUBGROUP C-3: Results
17:30 - A. Pivovarov (INR, Moscow, Russia) "On the Positronium Lifetime
Calculation"
18:00 - A. Davydychev (Bergen Univ., Norway) "New Results for Two-Loop
Diagrams with Massive and Massless Particles"
18:30 - S. Larin (INR, Moscow, Russia) "Computation of the High Order
QCD Corrections to Physical Quantities"
Friday 7 April
8:30-12:30
--------------
Chair TBA
SUBGROUP C-3: Methods and Algorithms
08:30 - J. Fleischer (Biellefeld Univ., Germany) "Calculation of
Two-Loop Vertex Functions from their Small Momentum Expansion"
09:00 - D. Kreimer (Univ. Tasmania, Australia) "Feynman Diagram
Calculations - from Finite Integral Representations to Knotted
Infinities"
09:30 - T. van Ritbergen (NIKHEF, The Netherlands) "The Calculation of
Various Quantities within Perturbation Theory at the 3 and
4-loop Order"
10:00 - C. Schubert (DESY-Zeuthen, Germany) "Programming the String-
Inspired Method: Methods and Algorithms for the Evaluation of
Higher Order Corrections"
10:30 Coffee Break
SUBGROUP C-3: Applications
11:00 - G. Pivovarov (INR, Moscow, Russia) "The Gauge for Atom-like
Bound States"
11:30 - P. Baikov (INP MSU, Moscow, Russia) "Three Loop Vacuum
Polarization and Four Loop Muon Anomalous Magnetic Moment"
12:00 - N. Ussykina (INP MSU, Moscow, Russia) "Cracking Double Boxes:
a Progress Report"
12:30 Lunch
Friday 7 April
14:00 - 19:00
--------------
Chair TBA
SUBGROUP C-4: Other Fields
14:30 -
15:00 - E. S. Cheb-Terrab (Univ. Rio de Janeiro, Brazil) "A
Computational Strategy for the Analytical Solving of Partial
Differential Equations"
15:30 Coffee Break
16:00 - P. Pronin (MSU, Moscow, Russia) "New Tensor Package for REDUCE"
SYMBOLIC SECTION RESUME
16:30 - Summary talk on "Moscow one-day session" Symb. Manip. Section
17:00 - Round Table discussion
SOFTWARE ENGINEERING SESSION
Tuesday 4 April
15:00 - 19:00
---------------
Chair TBA
Object Oriented Programming and C++
15:00 - R. Petravick (Fermilab) "Software Engineering Methods and
Standards Used in the Sloan Digital Sky Survey"
Wednesday 5 April
8:30 - 12:30
-----------------
Chair TBA
Online Applications; Graphics and Interfaces
08:30 - B. Autin (CERN) "Integration of Symbolic Computing in
Accelerator Control"
09:00 - I. Legrand (CERN) "Design and Simulation of the Online Trigger
and Reconstruction Farm for the HERA-B Experiment"
09:30 - M. A. Howe (Washington/Seattle) "SControl, a Program for Slow
Control of Large Physics Experiments"
10:00 - C. Maidantchik (CERN/Rio de Janeiro) "Quality Assurance on
Coupling DAQ Software Modules"
10:30 Coffee Break
11:00 - V. Monich (Novosibirsk) "ZTREE - Data Analysis and Graphics
Display System for the CMD-2 Detector"
11:30 - Y. Merzlyakov (Novosibirsk) "Software Design of a Distributed
Heterogeneous Front End DAQ"
12:00 - V. Fine (Dubna) "Using the Windows/NT Operating System for HEP
Applications"
12:30 Lunch
Thursday 6 April
8:30 - 12:30
----------------
Chair TBA
Simulation; Code and Data Management Techniques
09:00 - C. Bormann (Frankfurt) "A Distributed Data Analysis Environment"
09:30 - E. Agterhuis (Utrecht) "Software tools for Microstrip Gas
Detector Simulation"
10:00 - L. Cioni (Pisa) "Co-operative Principles in Application Design"
10:30 Coffee Break
11:00 - S. Cabasino (Pisa) "The Ape Computer Family"
12:30 Lunch
Friday 7 April
8:30 - 12:30
--------------
Chair TBA
Object Oriented Programming and C++
08:30 -
09:00 - P. Fuchs (Saturne) "The Development of an Object-Oriented
System Which Integrates Simulation, Reconstruction and Analysis
Within a Common Framework
09:30 - J. Carter (CERN) "Experience Using Formal Methods in HEP"
10:00 - N. Piscopo (ARTIS) "An Integrated Software Engineering
Environment for Developing Concurrent Applications Through
Simulation and Automatic Code Generation"
10:30 Coffee Break
11:00 - G. Maron (Legnaro) "Experience Using an Integrated Software
Engineering Package for Developing the AURIGA Antenna Data
Acquisition and Analysis System"
11:30 -
12:00 -
Friday7 April
14:00 - 19:00
-------------
Chair TBA
Object Oriented Programming and C++
14:00 - G. Attardi (Pisa) "The PoSSo Project"
14:45 - B. Lazzerini (Pisa) "Molecule-Oriented Design"
15:30 Coffee Break
16:00 - V. Talanov (Protvino) " Application of C++ Programming
Principles to Geometry Description Problem in Particle
Transport Simulation"
16:30 - O. Krivosheev (Tomsk) "Object Oriented Approach to the Design
of Monte Carlo Code for Simulation of Electromagnetic Showers"
17:00 - O. Krivosheev (Tomsk) "Source Viewer and Source Portability
Checker - Useful Tools for Developing C++ Programs"
SOFTWARE ENGINEERING SESSION POSTERS
4-8 April Continuous
(Posters can be mounted or removed at any time during the workshop. Presenters
of posters are encouraged to be present at their posters from 13:30 - 14:00
and from 19:00 - 20:00.)
- F. Bruyant (CERN) "COMO, An Approach for Object Oriented Analysis and
Design for Scientific Applications of an Algorithmic Nature"
- Th. Kozlowski (LANL) "The Use of Shlaer-Mellor Object Oriented Analysis
and Recursive Design in the Development of the PHENIX Computing Systems"
- M. Marin (Chile) "An Event Driven Simulation Environment for Hard
Particle Molecular Dynamics"
====================
PLENARY SESSION
SUMMARY TALKS
====================
Saturday 8 April
9:30-12:45
----------------
Chair TBA
09:30 SUMMARY OF AI SESSION - Marcel Kunze (Bochum)
10:15 COFFEE BREAK
10:45 SUMMARY OF SYMBOLIC - TBA
MANIPULATION SESSION
11:30 SUMMARY OF SOFTWARE - P. Murat (INFN Pisa/ITEP Moscow)
ENGINEERING SESSION (to be confirmed)
12:15 CLOSING REMARKS - B. Denby (INFN Pisa) Chairman
- D. Perret-Gallix (LAPP Annecy) Co-chairman
SPECIAL SEMINARS
Tuesday 4 April
---------------
Chair S. R. Amendolia
19:00 - H. E. Miettinen (Rice Univ., USA) "Results of the Top Quark
Search from D0"
Friday 7 April
--------------
Chair H. E. Miettinen
19:00 - S. R. Amendolia (INFN Pisa, Italy) "Results of the Top Quark
Search from CDF"
INDUSTRY SESSION CONTINUOUS
4-8 April 1995
Confirmed stands: IBM (Rome)
Spring (Rome)
MACS (Pisa, CNAPS Hardware)
---------------------------------CUT HERE-------------------------------------
IV International Workshop AIHENP
Pisa, Italy 3-8 April 1995
REGISTRATION FORM
To be mailed or faxed to:
TRE EMME CONGRESSI
Via Risorgimento 4, 56126 Pisa (Italy)
Tel. +39-50 - 44154/20583
Fax. +39-50 - 500725
Surname .............................First name..............................
Affiliation/Company..........................................................
Address .....................................................................
Postal Code .......... City ...................... Country ..................
Tel. ..... / .......................... Fax. ..... / ........................
Fiscal/VAT code for invoice: ................................................
Fees(Incl. 19% VAT) by March 3,1995 Thereafter
Standard __ Lit. 425.000 __ Lit. 500.000 Lit. ............
EPS Member __ Lit. 380.000 __ Lit. 455.000 Lit. ............
Student __ Lit. 325.000 __ Lit. 400.000 Lit. ............
Social dinner for __ Lit. 70.000 N. .... places Lit. ............
accompanying person(s)
Tot. Lit. ............
_____________________________________________________________________________
Payment
__ VISA __ MASTERCARD __ EUROCARD __ CARTASI' - Tot. Lit. ............
Card n. ........................................ Expiry date ................
Cardholder (capital letters) ................................................
I am enclosing __ International Cheque __ Eurocheque
for the sum of Lit. ..................... addressed to TRE EMME / AIHENP
N.B. Preregistration is strongly encouraged.
Date ............................ Signature ................................
--------------------------------- CUT HERE ------------------------------------
IV International Workshop AIHENP
Pisa (Italy)
April 3-8, 1995
ACCOMMODATION FORM
To be mailed or faxed to:
TRE EMME CONGRESSI
Via Risorgimento 4, 56126 Pisa (Italy)
Tel. +39-50 - 44154/20583
Fax. +39-50 - 500725
Surname .............................First name..............................
Home Address ................................................................
Postal Code .......... City ...................... Country ..................
Tel. ..... / .......................... Fax. ..... / ........................
Accompanying person(s) ......................................................
Deposit Required(but see NB below): cost of one night plus Lit. 20.000 handling
Cat. Hotel Single Double Double for Single
**** __ Lit. 220.000 __ Lit. 290.000 __ Lit. 260.000
*** __ Lit. 95.000 __ Lit. 135.000 __ Lit. 110.000
** __ Lit. 65.000 __ Lit. 100.000 __ Lit. 75.000
Date of arrival ................ Departure .............. tot. nights .......
I wish to share a double room with ..........................................
N.B.
- Prices include breakfast, service charges, taxes and VAT.
- All bedrooms have private shower or bath.
- When single rooms no longer available, double for single will be reserved.
- The deposit will be deducted from the hotel bill upon display of the voucher
sent by TRE EMME CONGRESSI: bills may be settled by credit card.
- IF YOU HAVE A PROBLEM GETTING THE DEPOSIT IN ON TIME, BOOK YOUR ROOM
ANYWAY. IT WILL BE HELD UNTIL *NOON* OF ARRIVAL DAY. YOU ARE THEN
RESPONSIBLE FOR CALLING THE HOTEL (NUMBER ON TRE EMME VOUCHER) TO
ARRANGE FOR LATER ARRIVAL IF NECESSARY.
- Deposit payment must be performed by International Cheque or Eurocheque
made payable to TRE EMME CONGRESSI; bank charges encountered with other
forms of payment will be charged to the participant.
I am enclosing International/Eurocheque N. ............ for Lit. ............
made payable to TRE EMME CONGRESSI.
Date ............................ Signature ................................
NNW/HEP Home Page
Authors:
Clark S. Lindsey ,
Bruce Denby & Thomas Lindblad
Curator: Clark S. Lindsey (lindsey@msia02.msi.se)
Latest revision: 30 March 1995