AboutComputing and Processing
Keywords: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,games and logic,higher-order logic,lambda and combinatory calculi,linear logic,logic in artificial intelligence,logic programming,logical aspects of bioinformatics,
Scope:The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Sponsor Type:1; 9