Fourth Workshop on Mathematical Logic and its Applications

Authors are required to prepare abstracts as described below.

• File format: PDF
• Format: template (sample)
  (Authors are required to use Springer LNCS style files. Download them here.)
• Page: within 1 page including references

All abstracts should be submitted via EasyChair for mla-2020.

Deadline: 31 January 2020

Deadline: 10 February 2020