First International Seminar on Developing formal thinking in physics,