tech-events-calendar
ปฏิทินงาน Tech event ต่างๆ นับจากปี 2018
A list of tech events relevant to tech people in Thailand, starting 2018.
หากมีงาน Tech event ไหนที่ยังไม่ได้อยู่ในปฏิทินนี้ รบกวนช่วยส่ง Pull request มาด้วยครับ ขอบคุณครับ
Feel free to send pull requests for missing events, thank you!
January 2018
13 (Sat): Workshop on Formal Verification using Dependent Type Theory in Thai
🏷 | Workshop, Meetup | Formal verification |
📍 | Pronto Tools | |
⌚️ | 09:00~16:00 | Lecture/Tutorial |
⌚️ | 16:00~17:00++ | Meetup |
✅ | Facebook event | Free, bring your own food. |
ในการพัฒนาโปรแกรมบางประเภท เราต้องการความมั่นใจว่าโปรแกรมทำงาน “ถูกต้อง 100%” ซึ่งการ “ทดสอบ” โปรแกรมเฉยๆ มันไม่พอ เราต้อง “พิสูจน์” ได้ว่าโปรแกรมทำงานถูกต้องในทุกกรณีที่เป็นไปได้ Dependent type theory เป็นวิธีนึง ซึ่งจะได้เรียนรู้กันในเวิร์คช็อปนี้
In software engineering, every application requires a certain level of correctness; most of them are "tested" against some test suites, however, this turn out not to be sufficient for some application; this is because those test suites cannot "guarantee" 100% correctness. To solve such a problem, we need to "prove" that those applications are indeed correct. One way to formally verify it is to use dependent type theory where mathematical proof and computer program are the same things.
In this workshop, I would like to walk though dependent type theory by first, describe it as a functional programming, then how can we use this functional programming to do some logical reasoning. No background knowledge is required (apart from simple maths skill in secondary school), so everyone is welcome to attend. We will speak in Thai but every written material will be in English. There will be no registration fee, but please bring your food.
17 (Wed): Docker in Thai Meetup
🏷 | Meetup | Docker |
📍 | GetLinks | Lake Rajada Office Complex 10th Floor |
⌚️ | 18:30~21:00 | Talk / Networking |
✅ | Facebook event | Free (Sold out) |
✅ | Docker.com |
พูดคุยกันเรื่อง Docker ในงาน Docker in Thai Meetup ครั้งที่สอง คราวนี้พูดถึงเรื่องการทำ Blue/Green Deployment ด้วย Docker (คืออะไร?) และเพิ่มเติมด้วยการคอนฟิก Liveness, Readiness ใน Kubernetes
- Blue/Green micro service deployment using docker by K. Supaket
- Liveness/Readyness with Kubernetes by K. Praparn
25 ~ 27 (Thu ~ Sat): JSConf.Asia 2018
🏷 | Conference | JavaScript |
📍 | Singapore | Capitol Theatre; Shangri-La Rasa Sentosa Hotel |
🏠 | 2018.jsconf.asia | |
🎟 | Buy tickets | 1090 SGD |
✅ | Facebook event |
งาน JavaScript ที่ใหญ่ที่สุดในเอเชียตะวันออกเฉียงใต้ จะได้เจอคนจาก Microsoft, Mozilla, … ด้วย งานนี้คนไทยไปเยอะ (20 กว่าคน) เลยใส่ไว้ในปฏิทินนี้ด้วย
JSConf.Asia 2018 is a 3 day long celebration of the web technology and design. It is the sixth edition of Southeast Asia’s most influential community event from developers for developers with the aim to educate, inspire and entertain around open source and the web.
Symbol Legend
🔣 | Meaning | ||
---|---|---|---|
🏷 | Label | Type of event | Topics |
📍 | Round Pushpin | Place | Further information about that place |
⌚️ | Watch | Time | Agenda |
🏠 | House | Website | |
🎟 | Admission Tickets | Get tickets | Price |
✅ | White Heavy Check Mark | RSVP |
Contributing
Please help add event information to this repository. It should be grouped by month, and sorted by starting date (in chronological order).