Wednesday, April 19, p.m. Room 48

Symposium N: Agent-Based Modeling & Simulation
S. Bandini, Italy, and G. Vizzari, Italy

14:00-15:30
Autonomous Inspectors in Tax Compliance Simulation
J. Balsa, L. Antunes, A. Respício, H. Coelho, University of Lisbon, Portugal

Verification of Biochemical Agent-Based Models Using Petri Nets
T. Moncion, G. Hutzler, P. Amar, LaMI, France

Agent-based Simulation for Biological Development
M.S. Alber, S. Christley, S.A. Newman, University of Notre Dame, IN, USA
15:30-16:00
Coffee Break
16:00-18:00
GeoAgents: A Framework for Agent-Based Simulation within Geographical Information Systems
B. Lucas, A. Rodrigues, C. Grueau, A. Gonçalves, FCT-UNL, Portugal

Agent Architecture for the Simulation of Pedestrian Traffic Behavior
J. Dijkstra, H. Timmermans, J. Jessurun, B. de Vries, Eindhoven University of Technology, The Netherlands

SCA Based Crowd Simulations: From Methodology to Life Cycle
S. Bandini, M.L. Federici, G. Vizzari, Università degli Studi di Milano-Bicocca, Milano, Italy

Discussion