Daniel Lascar

Learn More
The program included twenty invited hour talks, two invited short courses and forty-eight contributed papers. There were also demonstrations of computerized logic teaching software, The following invited addresses were presented at the meeting: Avon Avron, Calculi of hypersequents and their use. Andreas Baudisch, A new uncountably categorical group. Andreas(More)