Logic and Applications - LAP Meeting