Semántica formal en Moscú ( FSiM ) es una conferencia académica anual dedicada a la semántica formal y la pragmática del lenguaje natural . [1]