From d2af352de61e04afe4bb114345f1cf9c374cb90d Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Mon, 9 Mar 2026 20:50:07 +0800 Subject: [PATCH] udpate aboutpage --- about.md | 11 +++++++++++ src/site.hs | 2 +- templates/index.html | 1 + templates/standalone.html | 1 + 4 files changed, 14 insertions(+), 1 deletion(-) create mode 100644 about.md diff --git a/about.md b/about.md new file mode 100644 index 0000000..e6ff2b6 --- /dev/null +++ b/about.md @@ -0,0 +1,11 @@ +--- +title: About ALC +--- + +The 17th Asian Logic Conference will be held on October 18 - 22, 2027, in Chengdu, Sichuan, China. +Organized by the [Algorithms and Logic Group](https://tcsuestc.com/) of University of Electronic Science and Technology of China. + +It will be the fifth Asian Logic Conference since its status changed from an ASL (the Association for Symbolic Logic) - sponsored meeting to an official ASL meeting by ASL Council action in May 2016. + +The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas. +From 1981 to 2008, the Asian Logic Conference has been held triennially and rotated among countries in the Asia-Pacific region. The previous meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987), Tokyo (1990), Singapore (1993), Beijing (1996), Hsi-Tou (1999), Chongqing (2002), Novosibirsk (2005), and Kobe (2008). In 2008, the East Asian and Australasian Committees of the Association for Symbolic Logic decided to shorten the three-year cycle to two. The new two-year cycle began with the meeting in Singapore (2009), and subsequent meetings have been held in Wellington (2011), Guangzhou (2013), Mumbai (2015), Daejeon (2017), Astana(2019), 2021(postponed), Tianjin(2023), Kyoto(2025), Chengdu(2027). \ No newline at end of file diff --git a/src/site.hs b/src/site.hs index f4a128a..fe69140 100644 --- a/src/site.hs +++ b/src/site.hs @@ -68,7 +68,7 @@ main = hakyll $ do >>= relativizeUrls >>= cleanIndexHtmls - match ( fromList["talks.md","invited_speaker.md","registration.md","program.md","venue.md","travel.md","social_event.md","contact.md"] ) $ do + match ( fromList["talks.md","invited_speaker.md","registration.md","program.md","venue.md","travel.md","social_event.md","contact.md","about.md"] ) $ do route cleanRoute compile $ do tocCtx <- getTocCtx defaultContext diff --git a/templates/index.html b/templates/index.html index 79cc4b2..7a966aa 100644 --- a/templates/index.html +++ b/templates/index.html @@ -28,6 +28,7 @@