Topics of interest of this workshop include but are not limited to: 

• automata theory, 

• automated deduction, 

• categorical models and logics,

• concurrency and distributed computation, 

• constraint programming,

• constructive mathematics,

• database theory,

• decision procedures, 

• description logics,

• domain theory, 

• finite model theory, 

• formal aspects of program analysis, 

• formal methods,

• foundations of computability, 

• higher-order logic,

• lambda and combinatory calculi,

• linear logic,