Información de la conferencia

FMA 2018: International Symposium Formal Methods in Architecture

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Registrarse Iniciar sesión
Insertar insignia de cuenta atrás
FMA
Obtener estos datos por API
Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.
Día de Entrega:
2017-10-01
Fecha de Notificación:
Fecha de conferencia:
2018-04-02
Ubicación:
Porto, Portugal
Ediciones:
4
Vistas: 14590   Seguidores: 0   Asistentes: 0

Índice Conference Partner (CP-I)

40,7 / 100
Puesto n.º 4.844 de 5.683 congresos · 86% superior

N.º 227 de 247 en Ingeniería de software

Reconocimiento académico (35%) Sin datos: se puntúa con la línea base neutra de 50 —
Selectividad en la revisión (20%) Sin datos: se puntúa con la línea base neutra de 50 —
Ediciones celebradas (20%)
43
Atención de la comunidad (10%)
8
Integridad del registro público (15%)
25

Datos utilizados: Ediciones documentadas: 4 · Investigadores que abrieron esta página en los últimos 24 meses: 2

Falta en el registro público: Tasas de aceptación históricas (+4,5) · Ediciones anteriores (+3,0) · Premios al mejor artículo (+2,3)
Los organizadores pueden añadirlo desde esta página tras reclamar el congreso; las puntuaciones se recalculan cada noche. Cómo subir esta puntuación

Confianza 45 %: la parte de la puntuación respaldada por datos observados y no por la línea base neutra. Cómo se calcula esta puntuación · Ver la clasificación · Versión del algoritmo 1.1 · Calculado el 2026-09-22

Solicitud de Artículos

FMA 2018 (International Symposium Formal Methods in Architecture) is an academic conference held in Porto, Portugal on 2018-04-02. The paper submission deadline is 2017-10-01.

purpose The main purpose of this symposium is a contribution to the debate about the application, in the disciplines of Architecture and Urbanism, of new formal methods - new methodological advances based on new developments coming from Mathematics. From the millennial geometry to current shape grammars, several formal approaches to Architecture and Urbanism will be presented, with their different points of view, different fields of application, different grades of abstraction and formalization. The aim is to look at the potentials and objectives of these formal methods, both those on the horizon as well as those already accomplished, their successes but also their problems. The intention is to promote the use of formal methods in the creation of new explicit languages for problem-solving in Architecture. These problems range from representation, to theory, critique, production, communication, etc., never ceasing to see Architecture and Urbanism as technological activities and well as artistic ones. The more historically established areas of application of mathematical sciences, such as traditional geometries or mathematical developments connected to engineering, are left somewhat outside the focus, without however forgetting the deep connections these establish with the new formal methods. Many of these have a level of development that requires the existence of established academic communities, with their own specialized forums. These symposia, more than an attempt to deepen each specific field, are above all about finding points of convergence. This is not limited to a possibly interesting abstract integration of different areas of research, but mainly to advance the multiple crossings between several methods, which fertility has already been proven. A dialogue with semi-formal and even informal methods in current use is to be stimulated as well, as a way to deepen the discussion on aesthetics and ideologies controversies that surround the possibilities and reach of a formalization of Architecture and Art. As in previous symposia, some contributions will be made on the application of formal methods on fields other than architecture, like literature, music, and the fine arts, in as much as they may be useful for architectural application. target audience This symposium is addressed to: Architects Architectural students Urban Planners Civil engineers The complementary courses, which have an autonomous organization, are directed to an international body of professionals who intend to familiarize themselves with specific digital tools for these formal methods.
Última actualización por Dou Sun el

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
AB84,8FMInternational Symposium on Formal Methods2025-11-252026-05-18
52,4FormaliSEInternational Conference on Formal Methods in Software Engineering2026-10-302027-04-26
BB69,4FMCADFormal Methods in Computer-Aided Design2026-05-042026-09-14
AA*92,4SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97,7AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*91,2CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-06-03
BA*89,7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*94,1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*92,4STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87,4ICCInternational Conference on Communications2026-10-022027-05-30

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
IEEE Computer Architecture Letters1.4IEEE1556-6056
Computer Methods in Applied Mechanics and Engineering7.3Elsevier0045-7825
BFormal Methods in System Design0.8Springer0925-9856
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario