La Escuela de Lógica y Conjuntos es un evento organizado y auspiciado por diferentes universidades públicas mexicanas, dirigido a estudiantes de licenciatura y posgrado interesados en estas disciplinas y las que les son adyacentes.

En la actualidad, bajo el nombre de “lógica matemática” se cobija un numeroso grupo de áreas de investigación, que van desde el estudio de los modos correctos de razonamiento hasta el examen de los fundamentos de las matemáticas. Sin lugar a dudas, una de las causas de la renovación de la lógica fue su incorporación a las matemáticas, con la consiguiente adopción de sus métodos y procedimientos: una fuerte simbolización, el uso de conceptos mediante definiciones, novedosos métodos de prueba y el recurso al método axiomático. Esta incorporación estimuló el desarrollo de nuevas áreas de investigación como, por ejemplo, la teoría de modelos, la teoría de la demostración y las ciencias de la computación. Fue justo al investigar los fundamentos de la aritmética y la teoría de conjuntos y su formalización que la lógica logró sus resultados más sobresalientes: los teoremas limitativos y la prueba de independencia de la Hipótesis del continuo. Otra característica del desarrollo de la lógica contemporánea ha sido su utilización en la solución de problemas pertenecientes a otras áreas de la matemática como, por ejemplo, el álgebra, la topología y el análisis matemático, o en la construcción de lenguajes de programación e incluso la electrónica, donde se le aplica en el diseño de circuitos eléctricos.

Actualmente en México existe una comunidad grande y creciente de estudiantes, profesores e investigadores interesados en la lógica matemática, por lo que la vocación de la ELC es constituirse en un espacio de interacción de esta comunidad, en el que se muestre el trabajo y se promueva la colaboración entre sus miembros.