Skip to main navigation Skip to search Skip to main content

Welcome Message from the MEMOCODE 2025 Chairs

  • Nan Guan
  • , Claire Pagetti
  • , Sudipta Chattopadhyay
  • , Srinivas Pinisetty

Research output: Chapters, Conference Papers, Creative and Literary Works › Foreword/preface/postscript

Original languageEnglish
Title of host publicationProceedings - 2025 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design
Subtitle of host publicationMEMOCODE 2025
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery
Pagesix
Number of pages1
ISBN (Electronic)979-8-4007-1994-3
ISBN (Print)979-8-3315-5975-5
Publication statusPublished - 2025
Event23rd ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2025) - Taipei, Taiwan, China
Duration: 2 Oct 2025 → 3 Oct 2025
https://memocode2025.github.io/index.html

Publication series

NameProceedings - ACM/IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE
ISSN (Print)1936-9492
ISSN (Electronic)2832-6520

Conference

Conference23rd ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2025)
Abbreviated titleMEMOCODE'25
PlaceTaiwan, China
CityTaipei
Period2/10/25 → 3/10/25
Internet address

Bibliographical note

Full text of this publication does not contain sufficient affiliation information. With consent from the author(s) concerned, the Research Unit(s) information for this record is based on the existing academic department affiliation of the author(s).

Other Access Options

Check CityUHK Library

Permanent Link

Other Files and Links

Cite this