Events/Confs/Meet Ups>Chat

Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

#learning#formal-methods
Onor.io

Onor.io

Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

Hi all,

I’m honored to be one of the speakers for Elixir Conf 2022 coming up at the end of the month of August. One thing I was hoping for (as icing on the cake I guess) was to find other Elixir folks who have some interest in studying formal methods. By formal methods I mean modeling tools such as Alloy and TLA+ but I wouldn’t mind talking about Coq or any other formal method tool that anyone would care to discuss.

Consider this an informal invitation; I’d like to lead/join a BOF session on formal methods. I wanted to see if others might be interested in discussing the topic as well.

View thread on forum
#learning#formal-methods
4 544 0

Where Next?

View thread on forum
learning
formal-methods
Home Events/Confs/Meet Ups>Chat
#learning#formal-methods
4 545 0
Last post

Popular in Events Chat Top

jimfreeze
Events/Confs/Meet Ups>Chat

ElixirConf US 2019 - Denver/Aurora, CO
Early Bird tickets are now available at ElixirConf.com/#register I’ve started this chat to answer any questions you may have about the c...
#conferences#2019#elixirconf2019
3 792 0
New
Lawrence_elixir
Events/Confs/Meet Ups>Chat

Elixir London Meetup 10 July - Elixir games night! Who's coming?
Impromptu Elixircards championship! As Code Elixir LDN is happening in July, this meetup will be a bit special… On 10th July, we’ll be h...
#meetups#codeelixir
2 732 0
New
cloud8421
Events/Confs/Meet Ups>Chat

Meeting fellow devs in Istanbul
Hello everyone! I’m spending some time in Istanbul and would like to connect with local devs (I’m based in Kadikoy). English speaking fo...
#istanbul#turkey
0 638 0
New
arjan
Events/Confs/Meet Ups>Chat

FOSDEM 2020 - let’s organise a BEAM Community devroom?
The call for devrooms for the upcoming FOSDEM has been opened. FOSDEM is a large community-organized conference around open source softwa...
#conferences
12 1220 4
New
justuseapen
Events/Confs/Meet Ups>Chat

ElixirConf US 2019 Speakers Thread
Hey everybody! Super excited to be attending ElixirConf 2019 in Aurora Colorado! We wanted to make a thread for speakers and conference ...
#elixirconf2019
11 1215 3
New
dmitrykleymenov
Events/Confs/Meet Ups>Chat

Online tickets question for ElixirConf2021
Hello, i want to join the conference for the first time, but I’m afraid I will not reach it personaly because of COVID. There are four di...
#conferences#elixirconf2021
1 621 3
New
AstonJ
Events/Confs/Meet Ups>Chat

LoneStar Elixir 2019 - anyone go?
What were your highlights? :smiley: Here are some photos taken by Ivy Markwell: http://ivymarkwell.com/photography/lonestar-elixir :slig...
#conferences#2019#lonestar
52 2207 9
New
aj-foster
Events/Confs/Meet Ups>Chat

ElixirConf US 2024 Location
Hi everyone, I’m not the organizer of ElixirConf US — that would be Jim Freeze, someone who puts a lot of time and effort into organizin...
#elixirconf
42 2531 12
New
MalloZup
Events/Confs/Meet Ups>Chat

An humble Remote meetup for functional and systems people
Hi all! We are organizing a remote, free meet-up based on opensource software/architecture with a strong inclination of functional appro...
#functional-programming#opensource
4 806 0
New
Onor.io
Events/Confs/Meet Ups>Chat

Detroit Tech Watch - looking for speakers
Hi all, I’m helping to organize the first edition of the Detroit Tech Watch conference. I’m also a huge fan of Elixir. Detroit Tech Wa...
#conferences
9 949 1
New

Other popular topics Top

Qqwy
Blogs & Podcasts>Blog Posts

Elixir Blog Posts
Update: How to use the Blogs & Podcasts section You can post links to your blog posts or podcasts either in one of the Official Blog...
hexdocs.pm
#blog-posts#wiki#stickies#official-blog-posts-thread
3268 119930 1237
New
vrod
Questions & Help>Questions

Starship (cross-shell prompt) error - (starship::utils): Executing command "elixir" timed out
I am using the Starship cross-shell prompt – it seems pretty nice, but I get some errors: [WARN] - (starship::utils): Executing command ...
#starship
8 17167 3
New
William
Learning Resources>Chat/questions

Resources for building an e-commerce store in Phoenix?
I would like to know that is there any online source for learning Phoenix Framework for building E-Commerce Store? Any advantage on build...
/phoenix#ecommerce
137 23142 64
New
ashish173
Questions & Help>Questions

Difference in between :utc_datetime and :naive_datetime in Ecto
I am using Ecto timestamps with postgres, I can see the timestamps() use the :naive_dateime but for my use case I wanted to store the ti...
#ecto#timestamps
79 27907 15
New
quazar
Questions & Help>Questions

How to encode ecto schema with Jason with all fields
How to set Jason to encode all fields in ecto schema, I don’t care about security and implementing only is taking long list of attributes...
/phoenix#json#jason
17 13698 9
New
mgjohns61585
Questions & Help>Questions

Convert a string to an integer?
Could someone help me? I'm making my first elixir program, number guessing game. I can't figure out how to convert the user's guess from ...
#how-to-question
3 14200 6
New
danschultzer
Libraries & Projects>Libraries

Pow: Robust, modular, extendable user authentication and management system
None of the current solutions worked well for me, so I went ahead and built a user management system from scratch. This project took far...
/phoenix#authentication#library#authorization#user_system#pow
548 27727 240
New
minhajuddin
Questions & Help>Questions

Using List.first instead of Enum.at(0)
I have seen a lot of code which picks the first element from a list using Enum.at(0) instead of List.first. Is there a reason why people ...
#code-style
76 33273 14
New
skosch
Questions & Help>Questions

Put/update deep inside nested maps (and auto-create intermediate keys)
To my knowledge, put_in, Map.update etc. all have the one limitation of not automatically creating intermediate keys when needed (for exa...
#data-structures#maps#immutability
52 20047 11
New
yurko
Chat & Discussions>Wikis

Elixir apps as systemd services - info & wiki
Here are few pieces of (common) Linux knowledge that we use for reasonably small one server apps. We use Ubuntu but this should work for ...
#wiki#deployment#linux
73 19423 25
New
Back to top

Events/Confs/Meet Ups>Chat

Events Events Chat ❯

Latest on Elixir Forum

Elixir Forum ❯

Sponsor Spotlight

Coders51

We build reliable cloud platforms for business-critical systems.

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Manning

Develop your skills with books, videos, and courses.

WyewWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Forums

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Manning

Develop your skills with books, videos, and courses.

WyewWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement