Scientific activities

2000

Tutorial presenter on exact real number computation at the conference ISSAC, 6th-9th August 2000, St. Andrews, Scotland, invited by Josef Schicho.
http://www-gap.dcs.st-and.ac.uk/issac2000/

2000

Programme committee member of the 4th Real Numbers and Computers Conference (RNC4) to be held at SCHLOSS DAGSTUHL, Dagstuhl, Saar, Germany in April 17-19, 2000, organized by Peter Kornerup.
http://www.imada.sdu.dk/~kornerup/RNC4/CFP.html

1999

Invited speaker in the 5th Northeastern Conference on Topological Methods in Computer Science, April 10, University of Connecticut at Stamford, Stamford, CT. Organized by V. G. Menon, R. C. Flagg, and R. Kopperman.
http://www.sp.uconn.edu/~menon/conf.html

1999

Programme committee member of the 8th Category Theory and Computer Science Conference (CTCS'99), 10-12 September 1999, Edinburgh, Scotland. Organized by S. Abramsky, P. Dybjer, E. Moggi, and A. Pitts.
http://www.dcs.ed.ac.uk/home/ctcs99/

1998

Invited speaker in the LICS98 preworkshop ``Real Number Computation'', Indiana, USA. Organized by A. Edalat, A. Jung, D.S. Scott, and Ph. Sünderhauf.
http://theory.doc.ic.ac.uk/~ps15/ws/

1998

Invited speaker in the 3rd Real Numbers and Computers Conference (RNC3), l'Université Pierre et Marrie Curie, Paris. Organized by J.-M. Chesneaux, F. Jézéquel, J.-L. Lamote, and J. Vignes.
http://www-anp.lip6.fr/RNC3/

1997

Programme committee member of the above conference.

1997

Invited lecturer on exact real number computation in the Mathfit Summer School on New Paradigms for Computation on Classical Spaces, University of Birmingham. Organized by A. Edalat, A. Jung, and K. Keimel.
http://www.cs.bham.ac.uk/~axj/comprox_summer_school.html

I am often asked to referee papers for international journals and conferences.

 

I have given seminars about my research in Sussex University, Queen Mary and West College, Cambridge University, among other institutions.

 

In addition to the talks given in conferences and workshops listed below in the publications section, I have given talks in the following workshops: Computation and Approximation I in London, Computation and Approximation II in Darmstadt, and Domains III in Munich, Appsem I in Pisa.